This book is a comprehensive guide to current practical and theoretical understanding of verification of autonomous systems, helping users find the tools and techniques they need to address this challenging problem. Autonomous systems are transitioning out of the lab and into the commercial and industrial space in ever increasing numbers. Verification provides the assurance case necessary for deployment of autonomous systems, but we lack guidance, certifications, and standards to help a business determine whether their autonomous system is safe, secure, or reliable. A community has formed to develop tools, techniques, and processes to solve this problem, but the existing literature largely focuses on autonomy design tools and techniques rather than on tools and techniques that can be used to verify an existing autonomy design. This book fills that gap.

It directly connects specific challenges faced by verification agents and autonomy developers with the research and topics most relevant to their concerns:

Specific challenges faced by stakeholders and researchers are cross-referenced to chapters addressing the relevant tools and techniques.
Individual aspects of the verification process like requirements and specification development, model tests, and integration tests are mapped into technical challenges related to modeling, testing, abstraction and verification tools.
Each chapter is tied to both the stakeholder challenges and the technical challenges it addresses.

Verification processes, industrial needs, and issues with verification of learning systems are addressed across all domains, encompassing platforms from aircraft and spacecraft to marine systems and ground vehicles operating in industrial, military, commercial and household applications. Broad in scope, this reference ties advances in formal analysis, hardware testing, verification process modifications, and design and evaluation tools to the needs of verification researchers and professionals.

About the Author

Signe Redfield is the Director of the Laboratory for Autonomous Systems Research at the Naval Research Laboratory (NRL). She has served as Co-Chair for the IEEE Technical Committees for Verification of Autonomous Systems (TC-VAS) and Performance Evaluation and Benchmarking of Robotic and Automation Systems (TC-PEBRAS). She co-authored the first IEEE RAS standard, 1872-2015, and served as Secretary for standard 1872.1-2024, “Robot Task Representation”. She was detailed to the Joint Artificial Intelligence Center (JAIC) as the acting lead of their Test and Assessment group in 2019, and returned to the Naval Research Laboratory (NRL) Space Technology Division’s Robotics and Machine Learning Section where she developed assurance cases and supported the development of verification and testing tools for autonomous systems. She designed the Payload Mission Manager software component for DARPA’s Robotic Servicing of Geosynchronous Satellites (RSGS) program, which integrates the payload fault management system with operator generated automated, supervised, and fully autonomous behavior scripts. She served as the NRL RSGS Algorithms lead from 2014-2017 and the de facto Fault Management lead from 2015-2019. Before her arrival at NRL in 2014, she spent three years in London as the ONR Global Associate Director for Autonomy and Unmanned Systems. Prior to her term at ONR Global, Dr. Redfield worked at the Naval Surface Warfare Center, Panama City Division in Florida where she worked on heterogeneous teams of autonomous maritime vehicles and led the development of a new architecture, enabling the simulation and testing of a variety of arbitration mechanisms to control teams of vehicles.

"About this title" may belong to another edition of this title.

Store Description

Online Handel nur mit Neub�chern

Visit Seller's Storefront

Seller's business information

Moluna GmbH
Engberdingdamm 27, Greven, 48268, Germany

Sale & Shipping Terms

Terms of Sale

Instructions for revocation/
Standard Business Terms and customer information/ data protection declaration

Revocation right for consumers
(A ?consumer? is any natural person who concludes a legal transaction which, to an overwhelming extent, cannot be attributed to either his commercial or independent professional activities.)

Instructions for revocation

Revocation right
You have the right to revoke this contract within one month without specifying any reasons.
The revocation period is one month...

More Information

Shipping Terms

II. Kundeninformationen

Identit�t des Verk�ufers

Moluna GmbH
Engberdingdamm 27
48268 Greven
Deutschland
Telefon: 02571/5698933
E-Mail: abe@moluna.de

Wir sind nicht bereit und nicht verpflichtet, an Streitbeilegungsverfahren vor Verbraucherschlichtungsstellen teilzunehmen.

Informationen zum Zustandekommen des Vertrages

Die technischen Schritte zum Vertragsschluss, der Vertragsschluss selbst und die Korrekturm�glichkeiten erfolgen nach Ma�gabe der Regelungen "Zustandekommen des Vertrages" unserer Allgemeinen Gesch�ftsbedingungen (Teil I.).

Vertragssprache, Vertragstextspeicherung

3.1. Vertragssprache ist deutsch .

3.2. Der vollst�ndige Vertragstext wird von uns nicht gespeichert. Vor Absenden der Bestellung k�nnen die Vertragsdaten �ber die Druckfunktion des Browsers ausgedruckt oder elektronisch gesichert werden. Nach Zugang der Bestellung bei uns werden die Bestelldaten, die gesetzlich vorgeschriebenen Informationen bei Fernabsatzvertr�gen und die Allgemeinen Gesch�ftsbedingungen nochmals per E-Mail an Sie �bersandt.

Wesentliche Merkmale der Ware oder Dienstleistung

Die wesentlichen Merkmale der Ware und/oder Dienstleistung finden sich im jeweiligen Angebot.

Preise und Zahlungsmodalit�ten

5.1. Die in den jeweiligen Angeboten angef�hrten Preise sowie die Versandkosten stellen Gesamtpreise dar. Sie beinhalten alle Preisbestandteile einschlie�lich aller anfallenden Steuern.

5.2. Die anfallenden Versandkosten sind nicht im Kaufpreis enthalten. Sie sind �ber eine entsprechend bezeichnete Schaltfl�che auf unserer Internetpr�senz oder im jeweiligen Angebot aufrufbar, werden im Laufe des Bestellvorganges gesondert ausgewiesen und sind von Ihnen zus�tzlich zu tragen, soweit nicht die versandkostenfreie Lieferung zugesagt ist.

5.3. Die Ihnen zur Verf�gung stehenden Zahlungsarten sind unter einer entsprechend bezeichneten Schaltfl�che auf unserer Internetpr�senz oder im jeweiligen Angebot ausgewiesen.

5.4. Soweit bei den einzelnen Zahlungsarten nicht anders angegeben, sind die Zahlungsanspr�che aus dem geschlossenen Vertrag sofort zur Zahlung f�llig.

Lieferbedingungen

6.1. Die Lieferbedingungen, der Liefertermin sowie gegebenenfalls bestehende Lieferbeschr�nkungen finden sich unter einer entsprechend bezeichneten Schaltfl�che auf unserer Internetpr�senz oder im jeweiligen Angebot.

Soweit im jeweiligen Angebot oder unter der entsprechend bezeichneten Schaltfl�che keine andere Frist angegeben ist, erfolgt die Lieferung der Ware innerhalb von 3-5 Tagen nach Vertragsschluss (bei vereinbarter Vorauszahlung jedoch erst nach dem Zeitpunkt Ihrer Zahlungsanweisung).

6.2. Soweit Sie Verbraucher sind ist gesetzlich geregelt, dass die Gefahr des zuf�lligen Untergangs und der zuf�lligen Verschlechterung der verkauften Sache w�hrend der Versendung erst mit der �bergabe der Ware an Sie �bergeht, unabh�ngig davon, ob die Versendung versichert oder unversichert erfolgt. Dies gilt nicht, wenn Sie eigenst�ndig ein nicht vom Unternehmer benanntes Transportunternehmen oder eine sonst zur Ausf�hrung der Versendung bestimmte Person beauftragt haben.

Sind Sie Unternehmer, erfolgt die Lieferung und Versendung auf Ihre Gefahr.

Gesetzliches M�ngelhaftungsrecht

Die M�ngelhaftung richtet sich nach der Regelung "Gew�hrleistung" in unseren Allgemeinen Gesch�ftsbedingungen (Teil I).

letzte Aktualisierung: 23.10.2019

Shipping rates from Germany to U.S.A.

Shipping rates from Germany to U.S.A.
Order quantity	16 to 45 business days	16 to 45 business days
First item	US$ 57.10	US$ 57.10

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.