Verifying Cyber-Physical Systems : A Path to Safe Autonomy
Mitra, Sayan,
Verifying Cyber-Physical Systems : A Path to Safe Autonomy - London MIT Press 2021 - xvi; 296 p. 23x17.5cm - Cyber physical systems series .
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.
Includes bibliographical references (pages 271-289) and index.
9780262044806
Cooperating objects (Computer systems); Artificial Intelligence & Semantics; Computer Neural Networks; Cyber Security; Machine Theory
004.0151135 / MIT-V
Verifying Cyber-Physical Systems : A Path to Safe Autonomy - London MIT Press 2021 - xvi; 296 p. 23x17.5cm - Cyber physical systems series .
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.
Includes bibliographical references (pages 271-289) and index.
9780262044806
Cooperating objects (Computer systems); Artificial Intelligence & Semantics; Computer Neural Networks; Cyber Security; Machine Theory
004.0151135 / MIT-V