Verification Autonomous Systems (39 results)

Condition: New.

PF. Condition: New.

Condition: New. In English.

Condition: New. Print on Demand.

Condition: New.

Paperback. Condition: New.

Taschenbuch. Condition: Neu. Neuware - When AI acts through a physical system, an error is no longer only an incorrect output. It becomes a force, a trajectory, a collision risk, or a decision whose consequences may arrive before a human can intervene. Safety of Embodied AI and Autonomous Systems develops the mathematical and engineering foundations needed to reason about those consequences. The book moves from hybrid safety contracts, hazard sets, physical loss, reachability, and viability to Lyapunov methods, control barrier functions, constrained action selection, stochastic reach-avoid analysis, chance constraints, and risk measures. It then extends the framework to learning-enabled systems through belief-space safety, safe exploration under uncertainty, and learned components operating off distribution. A unifying theme is the intervention margin: the time or state-space room available before a hazard becomes unavoidable, measured against sensing, computation, communication, actuation, and human-response delays. This perspective carries through runtime assurance and backup controllers, shared autonomy, fault-tolerant operation, degraded modes, and the final verification and safety-case framework. Designed for graduate students, researchers, and engineers in AI safety, robotics, control, and autonomous systems, the text combines formal results with engineering interpretation, computational labs, structured evidence, and safety-case templates-showing how control, learning, verification, and runtime assurance must fit together when AI decisions have physical consequences.…

Condition: New. In English.

Condition: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.

Paperback. Condition: Brand New. 215 pages. 9.25x6.10x0.51 inches. In Stock.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022.The volume contains 8 full papers from the FoMLAS 2022 workshop and 3 full papers from the NSV 2022 workshop. The FoMLAS workshop is dedicated to the development of novel formal methodstechniques to discussing on how formal methods can be used to increase predictability, explainability, and accountability of ML-enabledautonomous systems. NSV 2022 is focusing on the challenges of the verification of cyber-physical systems with machine learning components.…

Hardcover. Condition: Very Good. 1. Auflage. Unread, with some shelfwear. Immediately dispatched from Germany.

Condition: New.

Taschenbuch. Condition: Neu. Software Verification and Formal Methods for ML-Enabled Autonomous Systems | 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings | Omri Isac (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2022 | Springer | EAN 9783031212215 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Condition: New.

Condition: New.

Condition: New.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book describes different methods that are relevant to the development and testing of control algorithms for advanced driver assistance systems (ADAS) and automated driving functions (ADF). These control algorithms need to respond safely, reliably and optimally in varying operating conditions. Also, vehicles have to comply with safety and emission legislation.The text describes how such control algorithms can be developed, tested and verified for use in real-world driving situations. Owing to the complex interaction of vehicles with the environment and different traffic participants, an almost infinite number of possible scenarios and situations that need to be considered may exist. The book explains new methods to address this complexity, with reference to human interaction modelling, various theoretical approaches to the definition of real-world scenarios, and with practically-oriented examples and contributions, to ensure efficient development and testing of ADAS and ADF.Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions is a collection of articles by international experts in the field representing theoretical and application-based points of view. As such, the methods and examples demonstrated in the book will be a valuable source of information for academic and industrial researchers, as well as for automotive companies and suppliers.…

Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book describes different methods that are relevant to the development and testing of control algorithms for advanced driver assistance systems (ADAS) and automated driving functions (ADF). These control algorithms need to respond safely, reliably and optimally in varying operating conditions. Also, vehicles have to comply with safety and emission legislation. The text describes how such control algorithms can be developed, tested and verified for use in real-world driving situations. Owing to the complex interaction of vehicles with the environment and different traffic participants, an almost infinite number of possible scenarios and situations that need to be considered may exist. The book explains new methods to address this complexity, with reference to human interaction modelling, various theoretical approaches to the definition of real-world scenarios, and with practically-oriented examples and contributions, to ensure efficient development and testing of ADAS and ADF. Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions is a collection of articles by international experts in the field representing theoretical and application-based points of view. As such, the methods and examples demonstrated in the book will be a valuable source of information for academic and industrial researchers, as well as for automotive companies and suppliers.…

Hardcover. Condition: new. Hardcover. 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. mso-fareast-language: EN-IN;">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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Taschenbuch. Condition: Neu. Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions | Development, Testing and Verification | Harald Waschl (u. a.) | Taschenbuch | Lecture Notes in Control and Information Sciences | xviii | Englisch | 2019 | Springer | EAN 9783030062569 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Condition: New.

Buch. Condition: Neu. Neuware - This book examines how to design intelligent systems that are not only adaptive but also safe and reliable. This book bridges the gap between traditional control theory and modern data-driven learning, presenting a unified framework for creating autonomous systems capable of robust decision-making in uncertain and dynamic environments.Learning-Enabled Autonomous Systems: Control, Verification, and Monitoring stands out as a unique resource for designing trustworthy autonomous systems. It introduces data-driven control methods that allow systems to learn from real-world data, enabling adaptability and intelligence without sacrificing mathematical rigor. The book explores advanced control strategies for nonlinear systems, ensuring computational practicality for real-world applications. It also provides innovative techniques for verifying neural network controllers and safeguarding system performance through runtime monitoring frameworks. By uniting control theory, machine learning, and systems verification, this book offers a holistic approach to creating systems that are not only intelligent but also resilient, transparent, and dependable. It includes case studies, algorithmic insights, and design guidelines that connect theoretical principles to hands-on engineering practice.This book is tailored for graduate students, researchers, and practitioners in control systems, robotics, artificial intelligence, and systems engineering. It is ideal for those seeking to deepen their understanding of learning-enabled control systems, whether for academic study or real-world application.…

Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. …

Paperback. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Hardcover. Condition: Brand New. 381 pages. 9.26x6.11x9.49 inches. In Stock.

Hardcover. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022.The volume contains 8 full papers from the FoMLAS 2022 workshop and 3 full papers from the NSV 2022 workshop. The FoMLAS workshop is dedicated to the development of novel formal methodstechniques to discussing on how formal methods can be used to increase predictability, explainability, and accountability of ML-enabledautonomous systems. NSV 2022 is focusing on the challenges of the verification of cyber-physical systems with machine learning components. 216 pp. Englisch.…