Robustness of Control Barrier Functions for Safety Critical Control
arXiv:1612.01554 · doi:10.1016/j.ifacol.2015.11.152
Abstract
Barrier functions (also called certificates) have been an important tool for the verification of hybrid systems, and have also played important roles in optimization and multi-objective control. The extension of a barrier function to a controlled system results in a control barrier function. This can be thought of as being analogous to how Sontag extended Lyapunov functions to control Lyapunov functions in order to enable controller synthesis for stabilization tasks. A control barrier function enables controller synthesis for safety requirements specified by forward invariance of a set using a Lyapunov-like condition. This paper develops several important extensions to the notion of a control barrier function. The first involves robustness under perturbations to the vector field defining the system. Input-to-State stability conditions are given that provide for forward invariance, when disturbances are present, of a "relaxation" of set rendered invariant without disturbances. A control barrier function can be combined with a control Lyapunov function in a quadratic program to achieve a control objective subject to safety guarantees. The second result of the paper gives conditions for the control law obtained by solving the quadratic program to be Lipschitz continuous and therefore to gives rise to well-defined solutions of the resulting closed-loop system.
Correction to Theorem 3 and some typos of the paper appeared in IFAC Conference on Analysis and Design of Hybrid Systems, Atlanta, GA, USA, page 54-61, 2015. arXiv admin note: text overlap with arXiv:1609.06408
Cited by in corpus (38)
- Input-to-State Safety With Control Barrier Functions
- Adaptive Safety with Control Barrier Functions
- Control Barrier Function based Quadratic Programs Introduce Undesirable Asymptotically Stable Equilibria
- Barrier-Certified Adaptive Reinforcement Learning with Applications to Brushbot Navigation
- FaSTrack: a Modular Framework for Real-Time Motion Planning and Guaranteed Safe Tracking
- Safety-Critical Control for Autonomous Systems: Control Barrier Functions via Reduced-Order Models
- Run Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems
- Safe and Robust Observer-Controller Synthesis using Control Barrier Functions
- Control Barriers in Bayesian Learning of System Dynamics
- Safety-Critical Event Triggered Control via Input-to-State Safe Barrier Functions
- Small-Gain Theorem for Safety Verification of Interconnected Systems
- Control-Lyapunov and Control-Barrier Functions based Quadratic Program for Spatio-temporal Specifications
- Fixed-time Control under Spatiotemporal and Input Constraints: A Quadratic Program Based Approach
- Guaranteed Safe Spacecraft Docking with Control Barrier Functions
- Control Barrier Functions With Unmodeled Dynamics Using Integral Quadratic Constraints
- Flatness-based Quadcopter Trajectory Planning and Tracking with Continuous-time Safety Guarantees
- Converse Barrier Functions via Lyapunov Functions
- Distributed Collision-Free Motion Coordination on a Sphere: A Conic Control Barrier Function Approach
- Robust Task-Space Quadratic Programming for Kinematic-Controlled Robots
- Strong Invariance Using Control Barrier Functions: A Clarke Tangent Cone Approach
- Constraint-Driven Multi-USV Coverage Path Generation for Aquatic Environmental Monitoring
- A Quadratic Program based Control Synthesis under Spatiotemporal Constraints and Non-vanishing Disturbances
- Safe Learning-based Gradient-free Model Predictive Control Based on Cross-entropy Method
- Adaptive Safety-Critical Control for a Class of Nonlinear Systems with Parametric Uncertainties: A Control Barrier Function Approach
- Control Synthesis for Stability and Safety by Differential Complementarity Problem
- Safety on the Fly: Constructing Robust Safety Filters via Policy Control Barrier Functions at Runtime
- Safety-critical Control with Control Barrier Functions: A Hierarchical Optimization Framework
- A Class of Control Certificates to Ensure Reach-While-Stay for Switched Systems
- An Input-to-State Safety Approach Towards Safe Control of a Class of Parabolic PDEs Under Disturbances
- Synthesis and verification of robust-adaptive safe controllers
- Control Barrier Functions for Shared Control and Vehicle Safety
- Maneuvering-based Dynamic Thrust Allocation for Fully-Actuated Vessels
- Quadratic Programming Approach to Flight Envelope Protection Using Control Barrier Functions
- Safety-Critical Stabilization of Force-Controlled Nonholonomic Mobile Robots
- Concurrent-Allocation Task Execution for Multi-Robot Path-Crossing-Minimal Navigation in Obstacle Environments
- Safe Control of Quadruped in Varying Dynamics via Safety Index Adaptation
- From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes
- Further Results on Safety-Critical Stabilization of Force-Controlled Nonholonomic Mobile Robots