Exponential Control Barrier Functions for enforcing high relative-degree safety-critical constraints

We introduce Exponential Control Barrier Functions as means to enforce strict state-dependent high relative degree safety constraints for nonlinear systems. We also develop a systematic design method that enables creating the Exponential CBFs for nonlinear systems making use of tools from linear control theory. The proposed control design is numerically validated on a relative degree 6 linear system (the serial cart-spring system) and on a relative degree 4 nonlinear system (the two-link pendulum with elastic actuators.)

[1]  Julia H. Buckland,et al.  Reduced order reference governor , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[2]  David Q. Mayne,et al.  Constrained model predictive control: Stability and optimality , 2000, Autom..

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

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

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

[6]  Koushil Sreenath,et al.  Safety-Critical Control for Dynamical Bipedal Walking with Precise Footstep Placement , 2015, ADHS.

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

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

[9]  Alberto Bemporad,et al.  Reference governor for constrained nonlinear systems , 1998, IEEE Trans. Autom. Control..

[10]  A. Teel.  A nonlinear small gain theorem for the analysis of control systems with saturation , 1996, IEEE Trans. Autom. Control..

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

[12]  Alexandre M. Bayen,et al.  A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games , 2005, IEEE Transactions on Automatic Control.

[13]  Matthew C. Turner,et al.  Antiwindup for stable linear systems with input saturation: an LMI-based synthesis , 2003, IEEE Trans. Autom. Control..

[14]  Keng Peng Tee,et al.  Control of nonlinear systems with partial state constraints using a barrier Lyapunov function , 2011, Int. J. Control.

[15]  Guofan Wu,et al.  Safety-critical and constrained geometric control synthesis using control Lyapunov and control Barrier functions for systems evolving on manifolds , 2015, 2015 American Control Conference (ACC).

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

[17]  Koushil Sreenath,et al.  Optimal robust control for constrained nonlinear hybrid systems with application to bipedal locomotion , 2016, 2016 American Control Conference (ACC).

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

[19]  Claire J. Tomlin,et al.  Applications of hybrid reachability analysis to robotic aerial vehicles , 2011, Int. J. Robotics Res..

[20]  Lorenzo Marconi,et al.  Nested saturation control of an UAV carrying a suspended load , 2014, 2014 American Control Conference.