Description
| Product ID: | 9780262044806 |
| Product Form: | Hardback |
| Country of Manufacture: | GB |
| Series: | Cyber Physical Systems Series |
| Title: | Verifying Cyber-Physical Systems |
| Subtitle: | A Path to Safe Autonomy |
| Authors: | Author: Sayan Mitra |
| Page Count: | 304 |
| Subjects: | Information technology: general topics, Information technology: general issues |
| Description: | Select Guide Rating 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. |
| Imprint Name: | MIT Press |
| Publisher Name: | MIT Press Ltd |
| Country of Publication: | GB |
| Publishing Date: | 2021-02-16 |
