Skip to main content

Automated Synthesis of Cyber-Physical Systems: A Compositional Approach

Project description

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.

Host institution

LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Net EU contribution
€ 1 470 800,00
Address
Geschwister Scholl Platz 1
80539 Muenchen
Germany

See on map

Region
Bayern Oberbayern München, Kreisfreie Stadt
Activity type
Higher or Secondary Education Establishments
Other funding
€ 0,00

Beneficiaries (1)

LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Germany
Net EU contribution
€ 1 470 800,00
Address
Geschwister Scholl Platz 1
80539 Muenchen

See on map

Region
Bayern Oberbayern München, Kreisfreie Stadt
Activity type
Higher or Secondary Education Establishments
Other funding
€ 0,00