67,95 €*
Versandkostenfrei per Post / DHL
Lieferzeit 1-2 Wochen
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.
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.
1 Introduction 1
2 Modeling Computation 17
3 Modeling Physics 31
4 Modeling Cyber-Physical Systems 55
5 Composing Models 79
6 Specifying Requirements 101
7 Verifying Invariants 123
8 Abstractions and Compositional Reasoning 145
9 Reachability Analysis 165
10 Progress Analysis 197
11 Data-Driven Verification 217
Appendix A: Linear Algebra and Real Analysis 247
Appendix B: Computability and Complexity 255
Appendix C: Specification Language Reference 263
References 271
Index 291
| Erscheinungsjahr: | 2021 |
|---|---|
| Fachbereich: | EDV |
| Genre: | Informatik |
| Rubrik: | Naturwissenschaften & Technik |
| Thema: | Lexika |
| Medium: | Buch |
| Seiten: | 304 |
| Inhalt: | Einband - fest (Hardcover) |
| ISBN-13: | 9780262044806 |
| ISBN-10: | 0262044803 |
| Sprache: | Englisch |
| Einband: | Gebunden |
| Autor: | Mitra, Sayan |
| Hersteller: | MIT Press Ltd |
| Maße: | 184 x 235 x 25 mm |
| Von/Mit: | Sayan Mitra |
| Erscheinungsdatum: | 16.02.2021 |
| Gewicht: | 0,636 kg |
1 Introduction 1
2 Modeling Computation 17
3 Modeling Physics 31
4 Modeling Cyber-Physical Systems 55
5 Composing Models 79
6 Specifying Requirements 101
7 Verifying Invariants 123
8 Abstractions and Compositional Reasoning 145
9 Reachability Analysis 165
10 Progress Analysis 197
11 Data-Driven Verification 217
Appendix A: Linear Algebra and Real Analysis 247
Appendix B: Computability and Complexity 255
Appendix C: Specification Language Reference 263
References 271
Index 291
| Erscheinungsjahr: | 2021 |
|---|---|
| Fachbereich: | EDV |
| Genre: | Informatik |
| Rubrik: | Naturwissenschaften & Technik |
| Thema: | Lexika |
| Medium: | Buch |
| Seiten: | 304 |
| Inhalt: | Einband - fest (Hardcover) |
| ISBN-13: | 9780262044806 |
| ISBN-10: | 0262044803 |
| Sprache: | Englisch |
| Einband: | Gebunden |
| Autor: | Mitra, Sayan |
| Hersteller: | MIT Press Ltd |
| Maße: | 184 x 235 x 25 mm |
| Von/Mit: | Sayan Mitra |
| Erscheinungsdatum: | 16.02.2021 |
| Gewicht: | 0,636 kg |
Ähnliche Produkte
Lieferzeit 1-2 Wochen
Aktuell nicht verfügbar
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Werktage
Lieferzeit 2-3 Wochen
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Werktage
Lieferzeit 1-2 Wochen