Verifying Cyber-Physical Systems: A Path to Safe Autonomy
| AUTHOR | Mitra, Sayan |
| PUBLISHER | MIT Press (02/16/2021) |
| PRODUCT TYPE | Hardcover (Hardcover) |
Description
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.
Show More
Product Format
Product Details
ISBN-13:
9780262044806
ISBN-10:
0262044803
Binding:
Hardback or Cased Book (Sewn)
Content Language:
English
More Product Details
Page Count:
312
Carton Quantity:
22
Product Dimensions:
7.20 x 0.90 x 9.10 inches
Weight:
1.32 pound(s)
Feature Codes:
Bibliography,
Index,
Price on Product
Country of Origin:
US
Subject Information
BISAC Categories
Computers | Computer Science
Computers | Data Science - Neural Networks
Computers | Machine Theory
Dewey Decimal:
004.015
Library of Congress Control Number:
2020013897
Descriptions, Reviews, Etc.
publisher marketing
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.
Show More
Your Price
$59.40