O'Reilly logo

Cyber-Physical Systems by Mark Klein, Dionisio de Niz, Raj Rajkumar

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

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 ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required