Erhältlich:
Nicht auf Lager
Verifying Cyber-Physical Systems
A Path to Safe Autonomy
Produkt bewerten
Erhältlich:
Nicht auf Lager
Zustellung: Fr, 03.04.2026
Versand: Kostenlos
-19.5 %
CHF 96.–
CHF 77.25
Beschreibung
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.
Spezifikationen
Sprache
- Englisch
Autor
- Sayan Mitra
Erscheinungsjahr
- 2021
Format
- Buch (Hardcover)
Anzahl Seiten
- 304
