A graduate-level textbook that presents a unified mathematical
framework for modeling and analyzing cyber-physical systems, with a
strong focus on verification.
Verification aims to establish whether a system meets a set of
requirements. For such cyber-physical systems as driverless cars,
autonomous spacecraft, and air-traffic management systems, verification
is key to building safe systems with high levels of assurance. This
graduate-level textbook presents a unified mathematical framework for
modeling and analyzing cyber-physical systems, with a strong focus on
verification. It distills the ideas and algorithms that have emerged
from more than three decades of research and have led to the creation of
industrial-scale modeling and verification techniques for cyber-physical
systems.