Verwandte Artikel zu Verifying Cyber-Physical Systems: A Path to Safe Autonomy...

Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series) - Hardcover

Buch 3 von 3: Cyber Physical Systems Series

Mitra, Sayan

 
9780262044806: Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
Hardcover
ISBN 10: 0262044803 ISBN 13: 9780262044806
Verlag: The MIT Press, 2021

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

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

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
The MIT Press
Erscheinungsdatum
2021
Sprache
Englisch
ISBN 10 
0262044803
ISBN 13 
9780262044806
Einband
Gebundene Ausgabe
Anzahl der Seiten
312
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar