A General Safety Framework for Learning-Based Control in Uncertain Robotic Systems

DOI10.1109/TAC.2018.2876389zbMath1482.93720arXiv1705.01292OpenAlexW2963525569MaRDI QIDQ5223788

Jaime F. Fisac, Jeremy H. Gillula, Claire J. Tomlin, Shahab Kaynama, Anayo K. Akametalu, Melanie N. Zeilinger

Publication date: 18 July 2019

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1705.01292

Mathematics Subject Classification ID

Bayesian inference (62F15) Sensitivity, stability, well-posedness (49K40) Automated systems (robots, etc.) in control theory (93C85) Stochastic learning and adaptive control (93E35)

Related Items

Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions ⋮ Online data-enabled predictive control ⋮ SAMBA: safe model-based \& active reinforcement learning ⋮ Enforcing almost-sure reachability in POMDPs ⋮ Learning for Constrained Optimization: Identifying Optimal Active Constraint Sets ⋮ A predictive safety filter for learning-based control of constrained nonlinear dynamical systems ⋮ Robust learning-based MPC for nonlinear constrained systems ⋮ Bayesian optimization with safety constraints: safe and automatic parameter tuning in robotics ⋮ Online learning‐based model predictive control with Gaussian process models and stability guarantees ⋮ Online learning constrained model predictive control based on double prediction ⋮ Data‐enabled predictive control for quadcopters ⋮ Safe reinforcement learning: A control barrier function optimization approach ⋮ Sim-to-lab-to-real: safe reinforcement learning with shielding and generalization guarantees ⋮ Adaptive control Lyapunov function based model predictive control for continuous nonlinear systems ⋮ Separation of learning and control for cyber-physical systems ⋮ Strategy synthesis for partially-known switched stochastic systems ⋮ Safe autonomy under perception uncertainty using chance-constrained temporal logic ⋮ Data-driven fault-tolerant formation control for nonlinear quadrotors under multiple simultaneous actuator faults ⋮ Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber-physical systems ⋮ Learning-based symbolic abstractions for nonlinear control systems ⋮ Safe exploration in model-based reinforcement learning using control barrier functions