Control Barrier Function Based Quadratic Programs for Safety Critical Systems
arXiv:1609.06408 · doi:10.1109/TAC.2016.2638961
Abstract
Safety critical systems involve the tight coupling between potentially conflicting control objectives and safety constraints. As a means of creating a formal framework for controlling systems of this form, and with a view toward automotive applications, this paper develops a methodology that allows safety conditions -- expressed as control barrier functions -- to be unified with performance objectives -- expressed as control Lyapunov functions -- in the context of real-time optimization-based controllers. Safety conditions are specified in terms of forward invariance of a set, and are verified via two novel generalizations of barrier functions; in each case, the existence of a barrier function satisfying Lyapunov-like conditions implies forward invariance of the set, and the relationship between these two classes of barrier functions is characterized. In addition, each of these formulations yields a notion of control barrier function (CBF), providing inequality constraints in the control input that, when satisfied, again imply forward invariance of the set. Through these constructions, CBFs can naturally be unified with control Lyapunov functions (CLFs) in the context of a quadratic program (QP); this allows for the achievement of control objectives (represented by CLFs) subject to conditions on the admissible states of the system (represented by CBFs). The mediation of safety and performance through a QP is demonstrated on adaptive cruise control and lane keeping, two automotive control problems that present both safety and performance considerations coupled with actuator bounds.
Cited by in corpus (150)
- Input-to-State Safety With Control Barrier Functions
- Adaptive Safety with Control Barrier Functions
- Formal Synthesis of Stochastic Systems via Control Barrier Certificates
- Model-Free Safety-Critical Control for Robotic Systems
- Control Barrier Function based Quadratic Programs Introduce Undesirable Asymptotically Stable Equilibria
- Safe Exploration in Model-based Reinforcement Learning using Control Barrier Functions
- Bayesian Learning-Based Adaptive Control for Safety Critical Systems
- Barrier-Certified Adaptive Reinforcement Learning with Applications to Brushbot Navigation
- 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
- Disturbance Observers for Robust Safety-critical Control with Control Barrier Functions
- Active Learning in Robotics: A Review of Control Principles
- Safe and Robust Observer-Controller Synthesis using Control Barrier Functions
- Control Barriers in Bayesian Learning of System Dynamics
- Learning Barrier Functions for Constrained Motion Planning with Dynamical Systems
- Control Barrier Functions in Sampled-Data Systems
- Safe Occlusion-aware Autonomous Driving via Game-Theoretic Active Perception
- Disturbance Observer-based Robust Control Barrier Functions
- Safety-Critical Event Triggered Control via Input-to-State Safe Barrier Functions
- Reachability Analysis of Neural Feedback Loops
- Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks
- Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions
- Potential Game-Based Decision-Making for Autonomous Driving
- Small-Gain Theorem for Safety Verification of Interconnected Systems
- Episodic Learning with Control Lyapunov Functions for Uncertain Robotic Systems
- Safe Control Synthesis via Input Constrained Control Barrier Functions
- Control-Lyapunov and Control-Barrier Functions based Quadratic Program for Spatio-temporal Specifications
- Connectivity Maintenance: Global and Optimized approach through Control Barrier Functions
- High Order Robust Adaptive Control Barrier Functions and Exponentially Stabilizing Adaptive Control Lyapunov Functions
- Barrier Functions in Cascaded Controller: Safe Quadrotor Control
- A Control Barrier Perspective on Episodic Learning via Projection-to-State Safety
- A Safety-Aware Kinodynamic Architecture for Human-Robot Collaboration
- Lyapunov Event-triggered Stabilization with a Known Convergence Rate
- GCBF+: A Neural Graph Control Barrier Function Framework for Distributed Safe Multi-Agent Control
- Control Barrier Function Based Design of Gradient Flows for Constrained Nonlinear Programming
- Fixed-time Control under Spatiotemporal and Input Constraints: A Quadratic Program Based Approach
- Control Barrier Functions With Unmodeled Dynamics Using Integral Quadratic Constraints
- Towards Variable Assistance for Lower Body Exoskeletons
- Safety Embedded Differential Dynamic Programming Using Discrete Barrier States
- Flatness-based Quadcopter Trajectory Planning and Tracking with Continuous-time Safety Guarantees
- Converse Barrier Functions via Lyapunov Functions
- On Compatibility and Region of Attraction for Safe, Stabilizing Control Laws
- Obstacle Avoidance via Hybrid Feedback
- Safe Control Synthesis with Uncertain Dynamics and Constraints
- Data-driven design of safe control for polynomial systems
- Safety-Critical Control of Compartmental Epidemiological Models with Measurement Delays
- SLIP Walking over Rough Terrain via H-LIP Stepping and Backstepping-Barrier Function Inspired Quadratic Program
- Observer-based Control Barrier Functions for Safety Critical Systems
- Towards Guaranteed Safety Assurance of Automated Driving Systems with Scenario Sampling: An Invariant Set Perspective (Extended Version)
- Safety Embedded Control of Nonlinear Systems via Barrier States
- Multi-rate Control Design under Input Constraints via Fixed-Time Barrier Functions
- Performance-Barrier-Based Event-Triggered Control with Applications to Network Systems
- Control Lyapunov-Barrier Function Based Model Predictive Control for Stochastic Nonlinear Affine Systems
- Distributed Collision-Free Motion Coordination on a Sphere: A Conic Control Barrier Function Approach
- A hybrid barrier certificate approach to satisfy linear temporal logic specifications
- Funnel Control Under Hard and Soft Output Constraints (extended version)
- Strong Invariance Using Control Barrier Functions: A Clarke Tangent Cone Approach
- Robust Task-Space Quadratic Programming for Kinematic-Controlled Robots
- Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier Functions
- Integral Line-of-Sight Path Following Control of Magnetic Helical Microswimmers Subject to Step-Out Frequencies
- Safety-Aware Perception for Autonomous Collision Avoidance in Dynamic Environments
- Provably Safe Control of Lagrangian Systems in Obstacle-Scattered Environments
- Differentiable Safe Controller Design through Control Barrier Functions
- Control Barrier Function Meets Interval Analysis: Safety-Critical Control with Measurement and Actuation Uncertainties
- Suboptimal Safety-Critical Control for Continuous Systems Using Prediction-Correction Online Optimization
- Prescribed-time convergence with input constraints: A control Lyapunov function based approach
- Constraint-Driven Multi-USV Coverage Path Generation for Aquatic Environmental Monitoring
- Safe Learning-based Gradient-free Model Predictive Control Based on Cross-entropy Method
- Control Barrier Functions for Abstraction-Free Control Synthesis under Temporal Logic Constraints
- Guarantees for Real Robotic Systems: Unifying Formal Controller Synthesis and Reachset-Conformant Identification
- Collision-free Source Seeking Control Methods for Unicycle Robots
- A Quadratic Program based Control Synthesis under Spatiotemporal Constraints and Non-vanishing Disturbances
- Safety-Critical Adaptive Control with Nonlinear Reference Model Systems
- Constraint Learning for Control Tasks with Limited Duration Barrier Functions
- Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach
- Safety Control Synthesis with Input Limits: a Hybrid Approach
- Disturbance-Robust Backup Control Barrier Functions: Safety Under Uncertain Dynamics
- Safe Stabilization for Stochastic Time-Delay Systems
- Safe Distributed Control of Multi-Robot Systems with Communication Delays
- Barrier States Theory for Safety-Critical Multi-Objective Control
- Constructive Safety-Critical Control: Synthesizing Control Barrier Functions for Partially Feedback Linearizable Systems
- Rectified Control Barrier Functions for High-Order Safety Constraints
- Composition of Control Barrier Functions With Differing Relative Degrees for Safety Under Input Constraints
- Lagrangian-based online safe reinforcement learning for state-constrained systems
- A Hybrid Controller for Obstacle Avoidance in an n-dimensional Euclidean Space
- Safe Navigation using Density Functions
- Adaptive Safety-Critical Control for a Class of Nonlinear Systems with Parametric Uncertainties: A Control Barrier Function Approach
- A Formal Characterization of Black-Box System Safety Performance with Scenario Sampling
- Distributed Safe Control Design and Probabilistic Safety Verification for Multi-Agent Systems
- Efficient and Safe Exploration in Deterministic Markov Decision Processes with Unknown Transition Models
- Parameter-Conditioned Reachable Sets for Updating Safety Assurances Online
- Time-Varying Convex Optimization: A Contraction and Equilibrium Tracking Approach
- Risk-Averse Receding Horizon Motion Planning for Obstacle Avoidance using Coherent Risk Measures
- Construction of control barrier function and reference trajectory for constrained attitude maneuvers
- Continuous Approximations of Projected Dynamical Systems via Control Barrier Functions
- Temporal-Logic-Based Intermittent, Optimal, and Safe Continuous-Time Learning for Trajectory Tracking
- Safe Control for Nonlinear Systems Under Faults and Attacks Via Control Barrier Functions
- MPC-CBF with Adaptive Safety Margins for Safety-critical Teleoperation over Imperfect Network Connections
- Lyapunov Design for Event-Triggered Exponential Stabilization
- Structured learning of safety guarantees for the control of uncertain dynamical systems
- Safe Guaranteed Exploration for Non-linear Systems
- Rollover Prevention for Mobile Robots with Control Barrier Functions: Differentiator-Based Adaptation and Projection-to-State Safety
- Systems Theoretic Process Analysis of a Run Time Assured Neural Network Control System
- Safety Critical Control for Nonlinear Systems with Complex Input Constraints
- Certificated Actor-Critic: Hierarchical Reinforcement Learning with Control Barrier Functions for Safe Navigation
- Trust-aware Safe Control for Autonomous Navigation: Estimation of System-to-human Trust for Trust-adaptive Control Barrier Functions
- Control Synthesis for Stability and Safety by Differential Complementarity Problem
- Connectivity Preserving Decentralized UAV Swarm Navigation in Obstacle-laden Environments without Explicit Communication
- Safety-critical Control with Control Barrier Functions: A Hierarchical Optimization Framework
- A study of the double pendulum using polynomial optimization
- Safety on the Fly: Constructing Robust Safety Filters via Policy Control Barrier Functions at Runtime
- Adaptive Control of Euler-Lagrange Systems under Time-varying State Constraints without a Priori Bounded Uncertainty
- Exponential Stability of Parametric Optimization-Based Controllers via Lur'e Contractivity
- Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems
- Disturbance Observer-Parameterized Control Barrier Function with Adaptive Safety Bounds
- DualGuard MPPI: Safe and Performant Optimal Control by Combining Sampling-Based MPC and Hamilton-Jacobi Reachability
- Constant-Sum High-Order Barrier Functions for Safety Between Parallel Boundaries
- Statistical Guarantees in Data-Driven Nonlinear Control: Conformal Robustness for Stability and Safety
- On the Use of Safety Critical Control for Cyber-Physical Security in the Smart Grid
- Control Barrier Functions for Shared Control and Vehicle Safety
- Robust Estimator-Based Safety Verification: A Vector Norm Approach
- Adaptive Estimation-Based Safety-Critical Cruise Control of Vehicular Platoons
- On the relationship between control barrier functions and projected dynamical systems
- Safe Feedback Motion Planning in Unknown Environments: An Instantaneous Local Control Barrier Function Approach
- Combinatorial Control Barrier Functions: Nested Boolean and p-choose-r Compositions of Safety Constraints
- Distributed Risk-Sensitive Safety Filters for Uncertain Discrete-Time Systems
- Merry-Go-Round: Safe Control of Decentralized Multi-Robot Systems with Deadlock Prevention
- Proxy Control Barrier Functions: Integrating Barrier-Based and Lyapunov-Based Safety-Critical Control Design
- Safety-Critical Stabilization of Force-Controlled Nonholonomic Mobile Robots
- Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic
- ADMM-MCBF-LCA: A Layered Control Architecture for Safe Real-Time Navigation
- Concurrent-Allocation Task Execution for Multi-Robot Path-Crossing-Minimal Navigation in Obstacle Environments
- Quadratic Programming Approach to Flight Envelope Protection Using Control Barrier Functions
- Robust Linear Design for Flight Control Systems with Operational Constraints
- Toward Generalist Neural Motion Planners for Robotic Manipulators: Challenges and Opportunities
- Independence of Closed-Loop Equilibria and Stability from the Choice of Control Barrier Function for a Given Safe Set
- An Observer-based Switching Algorithm for Safety under Sensor Denial-of-Service Attacks
- Further Results on Safety-Critical Stabilization of Force-Controlled Nonholonomic Mobile Robots
- Text-Conditioned Background Generation for Editable Multi-Layer Documents
- Timely Activation of Safety Filters via One-Step Reachability Expansion
- Self-Organizing Dual-Buffer Adaptive Clustering Experience Replay (SODACER) for Safe Reinforcement Learning in Optimal Control
- Information Control Barrier Functions: Preventing Localization Failures in Mobile Systems Through Control
- Collision-Free Velocity Scheduling for Multi-Agent Systems on Predefined Routes via Inexact-Projection ADMM
- Electromagnetic Formation Flying with State and Input Constraints Using Alternating Magnetic Field Forces
- Activated Backstepping with Control Barrier Functions for the Safe Navigation of Automated Vehicles
- C2TE: Coordinated Constrained Task Execution Design for Ordering-Flexible Multi-Vehicle Platoon Merging
- Equilibrium-Driven Smooth Separation and Navigation of Marsupial Robotic Systems
- Nonlinear Optimal Control of DC Microgrids with Safety and Stability Guarantees
- GPU-Accelerated Barrier-Rate Guided MPPI Control for Tractor-Trailer Systems
- SHIELD: Safety on Humanoids via CBFs In Expectation on Learned Dynamics