ERC Consolidator Grant · 2022
Automated Synthesis of Stochastic Cyber-Physical Systems: A Robust Approach
Cyber-physical systems (CPS) are complex systems with tight interactions between cyber elements and physical components. The cyber elements are control algorithms implemented by computer-based software. Developing the embedded control software for CPS is currently ad hoc and error-prone, which has created costly undesired behaviours, particularly in safety-critical applications. Examples of such undesired behaviours include frequency deviation in power networks causing outages or blackouts (e.g., in Jan 2021 in EU, affecting 200k households), crash of airplanes due to software bugs (Boeing 737 Max, costs 15.9 billion euros) or autonomous cars having software bugs (Toyota recalled 65,000…
From the public funding record at EU CORDIS. Describes the funded project, not the reviews below.