Verifying Cyber-Physical Systems: A Path to Safe Autonomy - Rilegato

Mitra, Sayan

Rilegato

ISBN 10: 0262044803 ISBN 13: 9780262044806

Casa editrice: The MIT Press, 2021

Riassunto

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.

Su questo libro

Informazioni sull?autore

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

Dettagli dell?edizione

• Editore: The MIT Press
• Data di pubblicazione: 2021
• Lingua: Inglese
• ISBN 10: 0262044803
• ISBN 13: 9780262044806
• Rilegatura: Copertina rigida
• Numero di pagine: 312
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile