Control Barrier Function Based Quadratic Programs with Application to Automotive Safety 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 optimizationbased 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]  Anders Rantzer,et al.  Convex Programs for Temporal Verification of Nonlinear Dynamical Systems , 2007, SIAM J. Control. Optim..

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

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

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

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

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

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

[8]  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.

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

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

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

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

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

[14]  Alberto Isidori,et al.  Nonlinear control systems: an introduction (2nd ed.) , 1989 .

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

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

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

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

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

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

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

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

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

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

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

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

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

[28]  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.

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

[30]  Rafael Wisniewski,et al.  Converse barrier certificate theorem , 2013, 52nd IEEE Conference on Decision and Control.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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