Verwandte Artikel zu Formal Methods for Safe Autonomy: Data-driven Verification,...
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications (ACM Books) - Softcover
Inhaltsangabe
There are significant financial and legal implications for ensuring design correctness and safety in autonomous systems. This book introduces new verification and synthesis algorithms to provide certifiable trusts for real-world autonomous systems. On the theoretical front, the techniques are armed with soundness, precision, and relative completeness guarantees. On the experimental side, this book shows that techniques can be successfully applied on a sequence of real-world problems, including a suite of Toyota engine control modules verified for the first time, satellite control systems, and autonomous driving and ADAS-based maneuvers.
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 51,41
EUR 5,76 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Formal Methods for Safe Autonomy: Data-driven Verification,...
Beispielbild für diese ISBN
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications (ACM Books)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9798400708633_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications (ACM Books)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9798400708633
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 48929711-n
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Formal Methods for Safe Autonomy : Data-driven Verification, Synthesis, and Applications
Print-on-DemandAnbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - There are significant financial and legal implications for ensuring design correctness and safety in autonomous systems. This book introduces new verification and synthesis algorithms to provide certifiable trusts for real-world autonomous systems. On the theoretical front, the techniques are armed with soundness, precision, and relative completeness guarantees. On the experimental side, this book shows that techniques can be successfully applied on a sequence of real-world problems, including a suite of Toyota engine control modules verified for the first time, satellite control systems, and autonomous driving and ADAS-based maneuvers.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. Bestandsnummer des Verkäufers 9798400708633
Anzahl: 2 verfügbar
Foto des Verkäufers
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 48929711-n
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 48929711
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 48929711
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Methods for Safe Autonomy
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Paperback. Zustand: New. There are significant financial and legal implications for ensuring design correctness and safety in autonomous systems. This book introduces new verification and synthesis algorithms to provide certifiable trusts for real-world autonomous systems. On the theoretical front, the techniques are armed with soundness, precision, and relative completeness guarantees. On the experimental side, this book shows that techniques can be successfully applied on a sequence of real-world problems, including a suite of Toyota engine control modules verified for the first time, satellite control systems, and autonomous driving and ADAS-based maneuvers.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. Bestandsnummer des Verkäufers LU-9798400708633
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Methods for Safe Autonomy - Data-driven Verification, Synthesis, and Applications (eng)
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
Verkäuferbewertung 4 von 5 Sternen
Zustand: new. Bestandsnummer des Verkäufers HP6VSXWJQK
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Methods for Safe Autonomy (Paperback)
Verlag:
Association of Computing Machinery,U.S., New York, 2024
ISBN 13: 9798400708633
Neu
Paperback
Anbieter: CitiRetail, Stevenage, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. There are significant financial and legal implications for ensuring design correctness and safety in autonomous systems. This book introduces new verification and synthesis algorithms to provide certifiable trusts for real-world autonomous systems. On the theoretical front, the techniques are armed with soundness, precision, and relative completeness guarantees. On the experimental side, this book shows that techniques can be successfully applied on a sequence of real-world problems, including a suite of Toyota engine control modules verified for the first time, satellite control systems, and autonomous driving and ADAS-based maneuvers.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. This book introduces new verification and synthesis algorithms to provide certifiable trusts for real-world autonomous systems. It shows that techniques can be successfully applied on a sequence of real-world problems. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Bestandsnummer des Verkäufers 9798400708633
Anzahl: 1 verfügbar