Available: Usually Ships in 10 Days
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.
The price of "Verifying Cyber-Physical Systems (Hardcover Book)" at Current Comics Monterey is USD $60.00.
The publisher of "Verifying Cyber-Physical Systems (Hardcover Book)" is MIT Press.
The genres of "Verifying Cyber-Physical Systems (Hardcover Book)" are Computers - Artificial Intelligence - General, Computers - Computer Science, and Computers - Data Science - Neural Networks.
"Verifying Cyber-Physical Systems (Hardcover Book)" falls under the category of Books (Hardcover).
The writer of "Verifying Cyber-Physical Systems (Hardcover Book)" is Sayan Mitra.