This project aims at accelerating the deployment of security measures for cyber-physical systems (CPSs) by proposing a framework that combines anomaly identification approaches, which emphasizes on the development of decentralized cyber-attack monitoring and diagnostic-like components, with robust control countermeasure to improve reliability and maintain system functionality. One of the main challenges for cyber-physical systems is the security of transmitted data over the communication network.

Abstract:  This project focuses on fundamental theory studies so to enable a scalable, correct-by-construction formal design of multi-robot systems that can guarantee the accomplishment of high-level team missions through automatic synthesis of local coordination mechanisms and control laws.