Overview
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 book title, Verifying Cyber-Physical Systems (A Path to Safe Autonomy), ISBN: 9780262044806, by Sayan Mitra, published by MIT Press (February 16, 2021) is available in hardcover. Our minimum order quantity is 25 copies. All standard bulk book orders ship FREE in the continental USA and delivered in 4-10 business days.
Unlike Amazon and other retailers who may also offer Verifying Cyber-Physical Systems (A Path to Safe Autonomy) books on their website, we specialize in large quantities and provide personal service, from trusted, experienced, friendly people in Portland, Oregon. We offer a Price Match Guarantee, and QuickQuote form, to make purchasing quick and easy.
Prefer to work with a human being when you order Verifying Cyber-Physical Systems (A Path to Safe Autonomy) books in bulk? Our Book Specialists are standing by Monday-Friday 8-5 PST, ready to help!