Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Hardcover) (ISBN-13: 9780262044806)

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.

Author: Sayan Mitra
ISBN-10: 0262044803
ISBN-13: 9780262044806
Publisher: MIT Press
Language: English
Published: 02/16/2021
Pages: 312
Format: Hardcover
Weight: 1.32lbs
Size: 9.10h x 7.20w x 0.90d