Verification of Autonomous Systems

Signe Redfield, Donald Sofge, Mae Seto, John Sustersic (Herausgeber)

Buch | Hardcover

X, 290 Seiten

2026
Springer International Publishing (Verlag)
978-3-031-88545-7 (ISBN)

Infos

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

Autor

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.

Don Sofge is a Computer Scientist and Roboticist at the Naval Research Laboratory (NRL) with 36 years of experience (23 at NRL) in Artificial Intelligence, Machine Learning, and Control Systems R&D. He leads the Distributed Autonomous Systems Section in the Navy Center for Applied Research in Artificial Intelligence (NCARAI), where he develops nature-inspired computing paradigms to challenging problems in sensing, artificial intelligence, and control of autonomous robotic systems. He has served as PI/Co-PI on dozens of federally-funded R&D efforts, and has more than 200 refereed publications (including 13 edited books) in robotics, artificial intelligence, machine learning, planning, sensing, control, and related disciplines, and one patent on virtual state estimation for semiconductor fabrication. His current research focuses on control of autonomous teams or swarms of heterogeneous robotic systems.

Dr. Mae Seto earned her B.A.Sc. in the Electrical Engineering option of Engineering Physics and her Ph.D. in Mechanical Engineering both at the University of British Columbia (Canada). Then, she tenured her NSERC Industrial Post-Doctoral F

Inhalt

Part I Introduction.- Chapter 1 Introduction.- Chapter 2 Verification Challenges.- Part II Theoretical Approaches.- Chater 3 Assuring Autonomy Using MBSE, Formal Methods, and the Best Agile/DevOps Practices.- Chapter 4 Specification of Autonomous Behavior.- Chapter 5 A Philosophical and Mathematical Framework for Associated Problems of Hierarchical Verification of Autonomous Systems.- Chapter 6 Structuring Learning-enabled Robot Control to Support Verification.- Part III Practical Considerations.- Chapter 7 Verification Test Methods and Metrics.- Chapter 8 Review on Verification for Marine Autonomous Systems.- Chapter 9 Performance Boundary Identification and Automated Test Plan Development.- Chapter 10 Designing and Assuring Spacecraft Autonomy.- Chapter 11 Evaluating Autonomous Systems.- Index.

Produkt-Details

• Erscheint lt. Verlag: 10.2.2026
• Zusatzinfo: X, 290 p. 86 illus., 72 illus. in color.
• Verlagsort: Cham
• Sprache: englisch
• Maße: 155 x 235 mm
• Themenwelt: Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
• Schlagworte: aerial robots • autonomous system design • Autonomous system evaluation • Autonomy • commercial robots • formal methods • Ground robots • industrial robots • Maritime robots • military robots • Reliability • Requirements • Safety • security • Space Robots • Specification • Testing tools and processes • verification • Verification challenges • Verification process
• ISBN-10: 3-031-88545-7 / 3031885457
• ISBN-13: 978-3-031-88545-7 / 9783031885457
• Zustand: Neuware