Chapter 4. Symbolic Synthesis for Cyber-Physical Systems

Matthias Rungger, Antoine Girard, and Paulo Tabuada

Cyber-physical systems (CPS) consist of cyber and physical components interacting through sensors and actuators. Consequently, the behavior of a CPS is described by the combination of discrete dynamics accounting for the behavior of cyber components (e.g., software and digital hardware) and continuous dynamics accounting for the behavior of physical components (e.g., temporal evolution of temperatures, positions, and velocities). The terms discrete and continuous refer to the domains where the quantities of interest live. For example, the quantities used to model cyber components typically live in finite sets, while the quantities used ...

Get Cyber-Physical Systems now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.