This is the list of projects I'm involved in:

  • Running
    • MAIS: mechanical-automation integration system. Planning and Scheduling for controlling hoist within electroplating plants.
    • AWARD: Intelligent platform for automated warehousing and last-mile delivery.
    • X-Loader 4.0: Orchestration of collaborating robots for picking and positioning pieces on frames for electroplating.
    • Autonomy architecture for deep sea robotic platform for maintenance and monitoring of pipes.
  • Past
    • ALMes: ALM – enabled Smart Maintenance (ALMeS). The building block of digital maintenance. The kit consists of add-on multiple sensors, connectivity and applications optimizing machinery performances, lowering the investment barrier for smart maintenance.
    • iLAADR: Internal Logistics with Automated Autonomous Delivery and Replenishment Autonomous Robotics for Internal Logistic.
    • iLevator iLEVATOR is developing a modular and plug-and-play platform for factories intralogistics. It increases the utilization rate of warehouse and logistic systems by coordinating autonomous vehicles, robots and human operators.
    • AUTOGEF Dependability design approach for critical flight software
    • IRONCAP Innovative Rover Operations Concept -- Autonomous Planning
    • Orchestration of manufacturing machines for pipe lying vessels
    • MISSA More Integrated and cost efficient Systems Safety Assessment
    • VELOS: verification of logica di sicurezza for controlling railway switches
    • COMPASS Correctness, Modeling and Performance of Aerospace Systems
    • ACube Ambient Aware Assistance
    • COCONUT A Correct-by-Construction Workbench for Design and Verification of Embedded Systems
    • OMC-ARE On board Model Checking Autonomous Resoning Engine
    • EURAILCHECK ERA project on the formalization and validation of ETCS
    • S3MS Security of Software and Services for Mobile Systems
    • PROSYD PROperty based SYstem Design