Verifying Cyber-Physical Systems: A Path to Safe Autonomy

Sayan Mitra

Verifying Cyber-Physical Systems: A Path to Safe Autonomy
Format
Hardback
Publisher
MIT Press Ltd
Country
United States
Published
16 February 2021
Pages
304
ISBN
9780262044806

Verifying Cyber-Physical Systems: A Path to Safe Autonomy

Sayan Mitra

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.

This item is not currently in-stock. It can be ordered online and is expected to ship in approx 2 weeks

Our stock data is updated periodically, and availability may change throughout the day for in-demand items. Please call the relevant shop for the most current stock information. Prices are subject to change without notice.

Sign in or become a Readings Member to add this title to a wishlist.