Verifying Cyber Physical Systems
Download and Read Verifying Cyber Physical Systems full books in PDF, ePUB, and Kindle. Read online free Verifying Cyber Physical Systems ebook anywhere anytime directly on your device. We cannot guarantee that every ebooks is available!
Verifying Cyber-Physical Systems
Author | : Sayan Mitra |
Publisher | : MIT Press |
Total Pages | : 313 |
Release | : 2021-02-16 |
Genre | : Computers |
ISBN | : 0262044803 |
Download Verifying Cyber-Physical Systems Book in PDF, Epub and Kindle
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.
Verifying Cyber-Physical Systems Related Books
Pages: 313
Pages: 324
Pages: 516
Pages: 662
Pages: 313