Verifying Cyber-Physical Systems
A Path to Safe Autonomy
$167.27
- Hardcover
304 pages
- Release Date
4 May 2021
Summary
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 fra…
Book Details
| ISBN-13: | 9780262044806 |
|---|---|
| ISBN-10: | 0262044803 |
| Author: | Sayan Mitra |
| Publisher: | MIT Press Ltd |
| Imprint: | MIT Press |
| Format: | Hardcover |
| Number of Pages: | 304 |
| Release Date: | 4 May 2021 |
| Weight: | 636g |
| Dimensions: | 229mm x 178mm |
| Series: | Cyber Physical Systems Series |
You Can Find This Book In
About The Author
Sayan Mitra
Sayan Mitra is Professor in the Department of Electrical and Computer Engineering at the University of Illinois at Urbana-Champaign.
Returns
This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.