Verifying Cyber-Physical Systems Hardcover by Sayan Mitra

Product Details

• Publisher: The MIT Press (2021-02-16)
• Language: English
• Paperback: 312 pages
• ISBN-13: 9780262044806
• Item Weight: 629.37 grams
• Dimensions: 9.25 x 7.25 x 0.8 cm

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.

About the Author

Sayan Mitra is Professor in the Department of Electrical and Computer Engineering at the University of Illinois at Urbana-Champaign.