Verifying Cyber-Physical Systems: A Path to Safe Autonomy - Couverture rigide

Mitra, Sayan

Couverture rigide

ISBN 10 : 0262044803 ISBN 13 : 9780262044806

Editeur : The MIT Press, 2021

Synopsis

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.

A propos du livre

À propos de l'auteur

Sayan Mitra is Professor in the Department of Electrical and Computer Engineering at the University of Illinois at Urbana-Champaign.

Détails de l'édition

• Éditeur: The MIT Press
• Date d'édition: 2021
• Langue: anglais
• ISBN 10: 0262044803
• ISBN 13: 9780262044806
• Reliure: Relié
• Nombre de pages: 312
• Coordonnées du fabricant: non disponible
• Personne responsable: eucomply OÜ; hello@eucompliancepartner.com; ; Pärnu mnt 139b-14; Tallinn; 11317; Estonie