Home
Verifying Cyber-Physical Systems: A Path to Safe Autonomy
Barnes and Noble
Verifying Cyber-Physical Systems: A Path to Safe Autonomy
Current price: $60.00
![Verifying Cyber-Physical Systems: A Path to Safe Autonomy](https://prodimage.images-bn.com/pimages/9780262044806_p0_v2_s600x595.jpg)
![Verifying Cyber-Physical Systems: A Path to Safe Autonomy](https://prodimage.images-bn.com/pimages/9780262044806_p0_v2_s600x595.jpg)
Barnes and Noble
Verifying Cyber-Physical Systems: A Path to Safe Autonomy
Current price: $60.00
Size: Hardcover
Loading Inventory...
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Barnes and Noble
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.