Control Barrier Function Based Quadratic Programs for Safety Critical Systems

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.

[1]  D. Luenberger.  Optimization by Vector Space Methods , 1968 .

[2]  D. Jordan,et al.  Nonlinear Ordinary Differential Equations: An Introduction for Scientists and Engineers , 1979 .

[3]  Eduardo Sontag.  A Lyapunov-Like Characterization of Asymptotic Controllability , 1983, SIAM Journal on Control and Optimization.

[4]  Z. Artstein.  Stabilization with relaxed controls , 1983 .

[5]  Mark W. Spong,et al.  The control of robot manipulators with bounded input , 1986 .

[6]  Eduardo Sontag.  A universal construction of Artstein's theorem on nonlinear stabilization , 1989 .

[7]  Jean-Pierre Aubin,et al.  Viability theory , 1991 .

[8]  Petros A. Ioannou,et al.  Autonomous intelligent cruise control , 1993 .

[9]  V. Lakshmikantham,et al.  Uniqueness and nonuniqueness criteria for ordinary differential equations , 1993 .

[10]  Alberto Isidori,et al.  Nonlinear Control Systems, Third Edition , 1995, Communications and Control Engineering.

[11]  Randy A. Freeman,et al.  Robust Nonlinear Control Design , 1996 .

[12]  Yuandan Lin,et al.  A Smooth Converse Lyapunov Theorem for Robust Stability , 1996 .

[13]  P. Kokotovic,et al.  Inverse Optimality in Robust Stabilization , 1996 .

[14]  Franco Blanchini,et al.  Set invariance in control , 1999, Autom..

[15]  Alberto Isidori,et al.  Nonlinear Control Systems II , 1999 .

[16]  Huei Peng,et al.  Optimal Adaptive Cruise Control with Guaranteed String Stability , 1999 .

[17]  Huei Peng,et al.  String stability analysis of adaptive cruise controlled vehicles , 2000 .

[18]  A. Bacciotti,et al.  Liapunov functions and stability in control theory , 2001 .

[19]  Martin Buss,et al.  Invariance control for a class of cascade nonlinear systems , 2002, IEEE Trans. Autom. Control..

[20]  Anders Forsgren,et al.  Interior Methods for Nonlinear Optimization , 2002, SIAM Rev..

[21]  Philip Hartman,et al.  Ordinary differential equations, Second Edition , 2002, Classics in applied mathematics.

[22]  Katja Vogel,et al.  A comparison of headway and time to collision as safety indicators. , 2003, Accident; analysis and prevention.

[23]  Azim Eskandarian,et al.  Research advances in intelligent collision avoidance and adaptive cruise control , 2003, IEEE Trans. Intell. Transp. Syst..

[24]  Martin Buss,et al.  INVARIANCE CONTROL DESIGN FOR CONSTRAINED NONLINEAR SYSTEMS , 2004 .

[25]  H. Yuqing,et al.  Generalized Point Wise Min-Norm Control Based on Control Lyapunov Functions , 2006, 2007 Chinese Control Conference.

[26]  J. Christian Gerdes,et al.  Lyapunov Based Performance Guarantees for the Potential Field Lane-keeping Assistance System , 2006 .

[27]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

[28]  Bart van Arem,et al.  The Impact of Cooperative Adaptive Cruise Control on Traffic-Flow Characteristics , 2006, IEEE Transactions on Intelligent Transportation Systems.

[29]  Martin Buss,et al.  Continuous control mode transitions for invariance control of constrained nonlinear systems , 2007, 2007 46th IEEE Conference on Decision and Control.

[30]  George J. Pappas,et al.  A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates , 2007, IEEE Transactions on Automatic Control.

[31]  Frank Allgöwer,et al.  CONSTRUCTIVE SAFETY USING CONTROL BARRIER FUNCTIONS , 2007 .

[32]  Anders Rantzer,et al.  Convex Programs for Temporal Verification of Nonlinear Dynamical Systems , 2007, SIAM J. Control. Optim..

[33]  Hassan K. Khalil,et al.  Nonlinear Systems Third Edition , 2008 .

[34]  Nahum Shimkin,et al.  Nonlinear Control Systems , 2008 .

[35]  Francis Eng Hock Tay,et al.  Barrier Lyapunov Functions for the control of output-constrained nonlinear systems , 2009, Autom..

[36]  M Maarten Steinbuch,et al.  Design and implementation of parameterized adaptive cruise control : an explicit model predictive control approach , 2010 .

[37]  Jianqiang Wang,et al.  Model Predictive Multi-Objective Vehicular Adaptive Cruise Control , 2011, IEEE Transactions on Control Systems Technology.

[38]  N. Horri,et al.  Energy optimal spacecraft attitude control subject to convergence rate constraints , 2011 .

[39]  Rafael Wisniewski,et al.  On the existence of compositional barrier certificates , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[40]  Frank Chongwoo Park,et al.  Rollover Prevention of Mobile Manipulators using Invariance Control and Recursive analytic Zmp Gradients , 2012, Adv. Robotics.

[41]  Aaron D. Ames,et al.  Control lyapunov functions and hybrid zero dynamics , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[42]  Hui Kong,et al.  Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems , 2013, CAV.

[43]  Aaron D. Ames,et al.  Towards the Unification of Locomotion and Manipulation through Control Lyapunov Functions and Quadratic Programs , 2013, CPSW@CISS.

[44]  Aaron D. Ames,et al.  Sufficient conditions for the Lipschitz continuity of QP-based multi-objective control of humanoid robots , 2013, 52nd IEEE Conference on Decision and Control.

[45]  P. Olver.  Nonlinear Systems , 2013 .

[46]  Petros G. Voulgaris,et al.  Multi-objective control for multi-agent systems using Lyapunov-like barrier functions , 2013, 52nd IEEE Conference on Decision and Control.

[47]  Paulo Tabuada,et al.  Control barrier function based quadratic programs with application to adaptive cruise control , 2014, 53rd IEEE Conference on Decision and Control.

[48]  Bayu Jayawardhana,et al.  Uniting Control Lyapunov and Control Barrier Functions , 2014, 53rd IEEE Conference on Decision and Control.

[49]  Koushil Sreenath,et al.  Rapidly Exponentially Stabilizing Control Lyapunov Functions and Hybrid Zero Dynamics , 2014, IEEE Transactions on Automatic Control.

[50]  Sandra Hirche,et al.  Invariance control with chattering reduction , 2014, 53rd IEEE Conference on Decision and Control.

[51]  Sandra Hirche,et al.  Active safety control for dynamic human-robot interaction , 2015, 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[52]  Paulo Tabuada,et al.  Adaptive cruise control: Experimental validation of advanced controllers on scale-model cars , 2015, 2015 American Control Conference (ACC).

[53]  Paulo Tabuada,et al.  Robustness of Control Barrier Functions for Safety Critical Control , 2016, ADHS.

[54]  Aaron D. Ames,et al.  Control barrier function based quadratic programs with application to bipedal robotic walking , 2015, 2015 American Control Conference (ACC).

[55]  Koushil Sreenath,et al.  Torque Saturation in Bipedal Robotic Walking Through Control Lyapunov Function-Based Quadratic Programs , 2013, IEEE Access.

[56]  Aaron D. Ames,et al.  Continuity and smoothness properties of nonlinear optimization-based feedback controllers , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

[57]  Koushil Sreenath,et al.  Exponential Control Barrier Functions for enforcing high relative-degree safety-critical constraints , 2016, 2016 American Control Conference (ACC).

[58]  N. Petit,et al.  An interior penalty method for optimal control problems with state and input constraints of nonlinear systems , 2016 .

[59]  Rafael Wisniewski,et al.  Converse Barrier Certificate Theorems , 2016, IEEE Transactions on Automatic Control.

[60]  Paulo Tabuada,et al.  Control Barrier Function Based Quadratic Programs with Application to Automotive Safety Systems , 2016, ArXiv.

[61]  Liyun Dai,et al.  Barrier certificates revisited , 2013, J. Symb. Comput..

[62]  Paulo Tabuada,et al.  Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control , 2016, IEEE Transactions on Automation Science and Engineering.