Verifying Cyber-Physical Systems

Verifying Cyber-Physical Systems A Path to Safe Autonomy - Cyber Physical Systems Series

Hardback (03 Feb 2021)

Save $13.67

  • RRP $71.62
  • $57.95
Add to basket

Includes delivery to the United States

2 copies available online - Usually dispatched within two working days

Publisher's Synopsis

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 modelling and analysing cyber-physical systems, with a strong focus on verification. It distils the ideas and algorithms that have emerged from more than three decades of research and have led to the creation of industrial-scale modelling and verification techniques for cyber-physical systems.

Book information

ISBN: 9780262044806
Publisher: The MIT Press
Imprint: The MIT Press
Pub date:
DEWEY: 004.0151135
DEWEY edition: 23
Number of pages: xvi, 296
Weight: 636g
Height: 184mm
Width: 235mm
Spine width: 25mm