Formal synthesis of embedded control software
Embedded control software plays a central role in many complex applications including autonomous transportation, power networks and aerospace. These applications are examples of cyber-physical systems (CPSs), which are becoming more ubiquitous due to rapid advances in computation, communication and memory. The EU-funded AutoCPS project will develop an innovative design process for synthesising systematically embedded control software aiming to reduce the design costs while guaranteeing its correctness. To tackle the underlying design complexity for large scale CPSs, this project advocates a divide-and-conquer strategy for the synthesis of control software. The method relies on the combination of compositional techniques from computer science and control theory.
Fields of science
Funding SchemeERC-STG - Starting Grant
See on map