000			01307nam a22001697a 4500
020			_a9780262044806
082	0	0	_a004.0151135 _bMIT-V
100	1		_aMitra, Sayan,
245	1	0	_aVerifying Cyber-Physical Systems : _bA Path to Safe Autonomy
260			_aLondon _bMIT Press _c2021
300			_axvi; 296 p. _c23x17.5cm
490	0		_aCyber physical systems series
500			_aphysical 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.
504			_aIncludes bibliographical references (pages 271-289) and index.
650		0	_aCooperating objects (Computer systems); Artificial Intelligence & Semantics; Computer Neural Networks; Cyber Security; Machine Theory
942			_cBK
999			_c27820 _d27820