Automated Synthesis of Stochastic Cyber-Physical Systems:

A Robust Approach

Learn more
Hero Image Layer 1Hero Image Layer 2Hero Image Layer 3Hero Image Layer 4

What are Cyber-Physical Systems?

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.

Issues with Control 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.

Real World Examples of CPS failure

Airplanes

Crash of airplanes due to software bugs (Boeing 737 Max, costed the company €15.9 billion).

Autonomous Cars

Autonomous cars having software bugs (Toyota recalled 65,000 cars in 2015).

Power Networks

Frequency deviation in power networks causing outages or blackouts (e.g. in Jan 2021 in EU, affecting 200k households).

Project Objectives

  • Reduce the conservatism by moving away from the worst-case behaviour of the uncertainty and including the statistics of the uncertainty in the analysis.
  • Relax the need for having a precise mathematical description of the cyber-physical system.
  • Adapt the design for trade-offs between various performance criteria.
  • Mitigate the exponential computational complexity to handle large-scale cyber-physical systems.
illustration