Verifying Cyber-Physical Systems : A Path to Safe Autonomy Hardback
by Sayan Mitra
Part of the Cyber Physical Systems Series series
Hardback
- Information
Description
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.
Information
-
In Stock - low on stock, only 1 copy remainingFree UK DeliveryEstimated delivery 2-3 working days
- Format:Hardback
- Pages:304 pages, 80 black and white illustrations
- Publisher:MIT Press Ltd
- Publication Date:16/02/2021
- Category:
- ISBN:9780262044806
Information
-
In Stock - low on stock, only 1 copy remainingFree UK DeliveryEstimated delivery 2-3 working days
- Format:Hardback
- Pages:304 pages, 80 black and white illustrations
- Publisher:MIT Press Ltd
- Publication Date:16/02/2021
- Category:
- ISBN:9780262044806