This is the list of projects I'm involved in:
- Running
- UAV-RETINA: planning and scheduling for a drone for rescue operations.
- 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