You are here


The HUBCAP project aims at establishing a cloud-based center of innovation and collaboration among companies, research institutes and competence centers to help SMEs try and adopt Model-Based Design (MBD) technology. It builds on seven established Digital Innovation Hubs (DIHs) in seven European countries, each embedded in its regional innovation ecosystem, offering complementary technical expertise, experimental capabilities, and specialist knowledge in Cyber-Physical Systems (CPS) application domains.

Design and development of a robotic manipulator.

  • Recognizing objects within boxes, planning movements to pick the object and to position it in the proper electroplating bar;
  • Proper integration with the external production (E.g. the MAIS project);
  • Facilitate the learning for new objects, thus reducing the cost for adaptation;

Final clients are coating companies operating complex and heterogeneous coating tasks.

Unmanned Air Vehicles (UAVs) are used to help in search and rescue of people lost in natural environments. UAV-Retina project aims at creating automatic drone platforms that can capture infrared, thermal and visible images from aerial views. Platforms scan accurately the zone of interest optimizing their paths, in order to save energy. By analysing the acquired data they can detect and locate targets, if present.

In AWARD, the ES unit is responsible for the intra-logistic planning of a warehouse using Automated Guided Vehicles and by coordinating the last mile deliveries using drones.

Self-learning planning algorithms, based on academic knowledge and machine learning Techniques

Hybrid architecture;

This project is part of a key workstream activity of the company financing this activity which aims at changing the paradigm of underwater inspections and interventions via a fleet of next-generation drones and advanced ancillary equipments.

Within this project the ES unit will design and develop the Autonomous Reasoning Engine for the subsea robotic platform of the company:

A joint scientific study, funded by Bosch, will investigate the application of safety contracts and safety assessment techniques based on formal methods to the design process of Bosch with the goal of demonstrating their usefulness and suitability in the automotive domain.

Modeling, verification and safety analysis of critical, highly integrated systems.

The Mechanical Automation Integration System is an ambitious project aimed at the development of a platform for the automatic control of electroplating plants. We discovered that for this project, the combination of the planning and the scheduling sub-problems was intractable for existing domain-independent planers.  In the project we developed a very efficient domain-dependent planner in which we coded the knowledge gained from extensive discussions with domain experts.

The VMT format is an extension of the SMT-LIBv2 (SMT2 for short) format to represent symbolic transition systems. VMT exploits the capability offered by the SMT2 language of attaching annotations to terms and formulas in order to specify the components of the transition system and the properties to verify.

The COMPASS Project is an international research project for developing a theoretical and technological basis for the system-software co-engineering approach focusing on a coherent set of specification and analysis techniques for evaluation of system-level correctness, safety, dependability and performability of on-board computer-based aerospace systems. These techniques shall significantly improve the reliability of modern and future space missions.