Control Barrier Function Based Quadratic Programs for Safety Critical Systems
Top Cited Papers
Open Access
- 13 December 2016
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Automatic Control
- Vol. 62 (8), 3861-3876
- https://doi.org/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.Keywords
Other Versions
Funding Information
- NSF
- CPS (1239055, 1239037, 1239085)
This publication has 49 references indexed in Scilit:
- Design and implementation of parameterized adaptive cruise control: An explicit model predictive control approachControl Engineering Practice, 2010
- Barrier Lyapunov Functions for the control of output-constrained nonlinear systemsAutomatica, 2009
- Research advances in intelligent collision avoidance and adaptive cruise controlIEEE Transactions on Intelligent Transportation Systems, 2003
- Invariance control for a class of cascade nonlinear systemsIEEE Transactions on Automatic Control, 2002
- String Stability Analysis of Adaptive Cruise Controlled Vehicles.JSME International Journal Series C, 2000
- Set invariance in controlAutomatica, 1999
- Optimal Adaptive Cruise Control with Guaranteed String StabilityVehicle System Dynamics, 1999
- Autonomous intelligent cruise controlIEEE Transactions on Vehicular Technology, 1993
- The control of robot manipulators with bounded inputIEEE Transactions on Automatic Control, 1986
- Stabilization with relaxed controlsNonlinear Analysis, 1983