71,95 €
Versandkostenfrei per Post / DHL
Lieferzeit 1-2 Wochen
Insights throughout the book provide a level of assurance that can be provided by formal methods for today's autonomous systems. Verification and synthesis for typical models of real-world autonomous systems are challenging due to their high dimensionality, nonlinearities, and nondeterministic and hybrid nature. In addressing these challenges, several chapters present data-driven algorithmic verification via reachability analysis of complex hybrid systems as well as controller synthesis for dynamic systems under disturbance.
The book includes the first algorithm for over-approximating reach sets of general nonlinear models with locally optimal tightness guarantees as well as algorithms to find correct-by-construction controllers for nonlinear dynamical systems. It is written for researchers in the corporate world, academia, government, and practitioners in autonomous systems.
Insights throughout the book provide a level of assurance that can be provided by formal methods for today's autonomous systems. Verification and synthesis for typical models of real-world autonomous systems are challenging due to their high dimensionality, nonlinearities, and nondeterministic and hybrid nature. In addressing these challenges, several chapters present data-driven algorithmic verification via reachability analysis of complex hybrid systems as well as controller synthesis for dynamic systems under disturbance.
The book includes the first algorithm for over-approximating reach sets of general nonlinear models with locally optimal tightness guarantees as well as algorithms to find correct-by-construction controllers for nonlinear dynamical systems. It is written for researchers in the corporate world, academia, government, and practitioners in autonomous systems.
| Erscheinungsjahr: | 2024 |
|---|---|
| Genre: | Importe, Informatik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Inhalt: | Einband - flex.(Paperback) |
| ISBN-13: | 9798400708633 |
| Sprache: | Englisch |
| Einband: | Kartoniert / Broschiert |
| Autor: | Fan, Chuchu |
| Hersteller: | Association for Computing Machinery |
| Verantwortliche Person für die EU: | Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de |
| Maße: | 235 x 191 x 10 mm |
| Von/Mit: | Chuchu Fan |
| Erscheinungsdatum: | 22.10.2024 |
| Gewicht: | 0,356 kg |
Ähnliche Produkte
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Werktage
Lieferzeit 1-2 Wochen
Lieferzeit 4-7 Werktage
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Werktage
