Verification autonomous systems (41 resultados)

Condición: New.

Taschenbuch. Condición: Neu. Neuware - Agentic AI Systems Engineering is a guide to building systems where a language model plans, calls tools, maintains state, and acts over many steps without a human approving each one. An agent is a control system with a model inside it. The model supplies judgment; the surrounding system supplies bounds, verification, permissions, and the ability to stop. Most production agent failures trace to that surrounding system rather than to the model's reasoning - which is why this book spends far more time on execution loops, tool schemas, and permission scoping than on prompting. Fourteen chapters cover the full agentic stack: - Agentic systems as software architectures: goals, state, policies, and loop design- Planning and task decomposition: explicit task graphs, verifiable subgoals, bounded replanning- Tool use and external actions: call boundaries, strict schemas, scoped permissions, untrusted results- Memory and persistent state: working memory, durable facts, measured retrieval, bounded summarization- Verification and self-checking: output validation, genuinely independent cross-checks, domain constraints- Workflow reliability: classified retries, measured timeouts, idempotent writes, designed recovery- Human oversight and escalation: meaningful approval gates, checkable exception criteria, informative handoffs- Security and permission boundaries: phase-scoped privilege, tool-layer credentials, sandboxing, audit logs- Observability and evaluation: decision-level traces, outcome-based success, actionable failure taxonomies- Cost and latency management: per-run attribution, per-step model selection, caching, latency budgets- Multi-agent coordination: justified decomposition, message contracts, partitioned state, global termination- Testing agentic systems: deterministic harnesses, adversarial inputs, failure-mode coverage- Production agentic platforms: bundled deployment, model version pinning, layered cost limits>Every section pairs the concept with the trade-off that makes it a real engineering decision, the pitfall teams most often hit, and a short set of practical checks. Each chapter closes with a worked scenario showing how these decisions interact under real pressure. Five appendices cover architectural comparisons, a four-level agent maturity model, a failure-mode reference organized by symptom, adoption sequencing, and common questions. Written for engineers building AI agents, copilots, and autonomous workflows in production.…

Condición: New. In English.

Condición: New.

Condición: New.

Condición: New. Print on Demand.

Condición: As New. Unread book in perfect condition.

Condición: New. In English.

Taschenbuch. Condición: 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.…

Condición: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.

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

Paperback. Condición: Brand New. 215 pages. 9.25x6.10x0.51 inches. In Stock.

Taschenbuch. Condición: 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.…

Taschenbuch. Condición: 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.…

Condición: New.

Condición: New.

Condición: New.

Condición: New.

Hardcover. Condición: 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. Condición: 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.…

Taschenbuch. Condición: 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. Condición: 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. Condición: 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.…

Condición: New.

Buch. Condición: 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. …

Hardcover. Condición: Brand New. 381 pages. 9.26x6.11x9.49 inches. In Stock.

PF. Condición: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

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

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

PF. Condición: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.