Articoli correlati a Formal Methods for Safe Autonomy: Data-driven Verification,...
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
- EditoreACM Books
- Data di pubblicazione2024
- ISBN 13 9798400708657
- RilegaturaCopertina rigida
- LinguaInglese
- Numero di pagine277
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 69,95
EUR 10,75 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costiRisultati della ricerca per Formal Methods for Safe Autonomy: Data-driven Verification,...
Foto dell'editore
Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications (ACM Books)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9798400708657_new
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications (ACM Books)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9798400708657
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 48520174-n
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications (eng)
Da: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 5 su 5 stelle
Condizione: new. Codice articolo GBZ6FYNLQ0
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 48520174-n
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 48520174
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 48520174
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Methods for Safe Autonomy (Hardcover)
Editore:
Association of Computing Machinery,U.S., New York, 2024
ISBN 13: 9798400708657
Nuovo
Rilegato
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: new. Hardcover. 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. Codice articolo 9798400708657
Quantità: 1 disponibili
Immagini fornite dal venditore
Formal Methods for Safe Autonomy : Data-driven Verification, Synthesis, and Applications
Print on DemandDa: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: 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. Codice articolo 9798400708657
Quantità: 2 disponibili
Foto dell'editore
Formal Methods for Safe Autonomy (Hardcover)
Editore:
Association of Computing Machinery,U.S., New York, 2024
ISBN 13: 9798400708657
Nuovo
Rilegato
Da: AussieBookSeller, Truganina, VIC, Australia
Valutazione del venditore 3 su 5 stelle
Hardcover. Condizione: new. Hardcover. 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 Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Codice articolo 9798400708657
Quantità: 1 disponibili