Control Barrier Functions: Theory and Applications

This paper provides an introduction and overview of recent work on control barrier functions and their use to verify and enforce safety properties in the context of (optimization based) safety-critical controllers. We survey the main technical results and discuss applications to several domains including robotic systems.

[1]  Li Wang,et al.  The Robotarium: A remotely accessible swarm robotics research testbed , 2016, 2017 IEEE International Conference on Robotics and Automation (ICRA).

[2]  Magnus Egerstedt,et al.  Safe certificate-based maneuvers for teams of quadrotors using differential flatness , 2017, 2017 IEEE International Conference on Robotics and Automation (ICRA).

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

[4]  Leslie Lamport,et al.  Basic Concepts , 1981, Advanced Course: Distributed Systems.

[5]  Magnus Egerstedt,et al.  Robot ecology: Constraint-based control design for long duration autonomy , 2018, Annu. Rev. Control..

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

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

[8]  R. Freeman,et al.  Robust Nonlinear Control Design: State-Space and Lyapunov Techniques , 1996 .

[9]  Magnus Egerstedt,et al.  Persistification of Robotic Tasks Using Control Barrier Functions , 2018, IEEE Robotics and Automation Letters.

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

[11]  Stephen Prajna.  Barrier certificates for nonlinear model validation , 2006, Autom..

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

[13]  Sonia Martínez,et al.  Coverage control for mobile sensing networks , 2002, IEEE Transactions on Robotics and Automation.

[14]  Bayu Jayawardhana,et al.  Stabilization with guaranteed safety using Control Lyapunov-Barrier Function , 2016, Autom..

[15]  J. Aubin.  A survey of viability theory , 1990 .

[16]  Bowen Alpern,et al.  Defining Liveness , 1984, Inf. Process. Lett..

[17]  Li Wang,et al.  Permissive Barrier Certificates for Safe Stabilization Using Sum-of-squares , 2018, 2018 Annual American Control Conference (ACC).

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

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

[20]  Leslie Lamport,et al.  Proving the Correctness of Multiprocess Programs , 1977, IEEE Transactions on Software Engineering.

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

[22]  Ali Jadbabaie,et al.  Safety Verification of Hybrid Systems Using Barrier Certificates , 2004, HSCC.

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

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

[25]  Aaron D. Ames,et al.  Safety Barrier Certificates for Collisions-Free Multirobot Systems , 2017, IEEE Transactions on Robotics.

[26]  R. Abraham,et al.  Manifolds, Tensor Analysis, and Applications , 1983 .

[27]  Magnus Egerstedt,et al.  Constructive Barrier Certificates with Applications to Fixed-Wing Aircraft Collision Avoidance , 2018, 2018 IEEE Conference on Control Technology and Applications (CCTA).

[28]  Magnus Egerstedt,et al.  Nonsmooth Barrier Functions With Applications to Multi-Robot Systems , 2017, IEEE Control Systems Letters.

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

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

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

[32]  Anders Rantzer,et al.  On the necessity of barrier certificates , 2005 .

[33]  Guofan Wu,et al.  Safety-critical control of a planar quadrotor , 2016, 2016 American Control Conference (ACC).

[34]  H. Brezis.  On a characterization of flow-invariant sets , 1970 .

[35]  Aaron D. Ames,et al.  Towards a Framework for Realizable Safety Critical Control through Active Set Invariance , 2018, 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS).

[36]  Pablo A. Parrilo,et al.  Semidefinite programming relaxations for semialgebraic problems , 2003, Math. Program..

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

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

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

[40]  Peter J Seiler,et al.  SOSTOOLS: Sum of squares optimization toolbox for MATLAB , 2002 .

[41]  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).

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

[43]  Paulo Tabuada,et al.  Control Barrier Function Based Quadratic Programs for Safety Critical Systems , 2016, IEEE Transactions on Automatic Control.

[44]  Paulo Tabuada,et al.  Realizing simultaneous lane keeping and adaptive speed regulation on accessible mobile robot testbeds , 2017, 2017 IEEE Conference on Control Technology and Applications (CCTA).

[45]  E. Westervelt,et al.  Feedback Control of Dynamic Bipedal Robot Locomotion , 2007 .

[46]  Mitio Nagumo.  Über die Lage der Integralkurven gewöhnlicher Differentialgleichungen , 1942 .

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

[48]  Koushil Sreenath,et al.  3D dynamic walking on stepping stones with control barrier functions , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

[49]  Magnus Egerstedt,et al.  Constraint-Driven Coordinated Control of Multi-Robot Systems , 2018, 2019 American Control Conference (ACC).

[50]  Li Wang,et al.  Control Barrier Certificates for Safe Swarm Behavior , 2015, ADHS.

[51]  J. Bony.  Principe du maximum, inégalité de Harnack et unicité du problème de Cauchy pour les opérateurs elliptiques dégénérés , 1969 .

[52]  Jean-Pierre Aubin,et al.  Viability Theory: New Directions , 2011 .