ISBN: 9798907070318 - safety of embodied ai and autonomous systems: control, safe learning, verification, and runtime assurance (6 resultados)

Condición: New.

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.…

Paperback. Condición: new. Paperback. 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. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

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.

Paperback. Condición: new. Paperback. 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…