Learning Robust Hybrid Control Barrier Functions for Uncertain Systems

The need for robust control laws is especially important in safety-critical applications. We propose robust hybrid control barrier functions as a means to synthesize control laws that ensure robust safety. Based on this notion, we formulate an optimization problem for learning robust hybrid control barrier functions from data. We identify sufficient conditions on the data such that feasibility of the optimization problem ensures correctness of the learned robust hybrid control barrier functions. Our techniques allow us to safely expand the region of attraction of a compass gait walker that is subject to model uncertainty.

[1]  Aaron D. Ames,et al.  Input-to-State Safety With Control Barrier Functions , 2018, IEEE Control Systems Letters.

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

[3]  Ricardo G. Sanfelice,et al.  Characterizations of safety in hybrid inclusions via barrier functions , 2019, HSCC.

[4]  Li Wang,et al.  Barrier-Certified Adaptive Reinforcement Learning With Applications to Brushbot Navigation , 2018, IEEE Transactions on Robotics.

[5]  Hadas Kress-Gazit,et al.  Temporal-Logic-Based Reactive Mission and Motion Planning , 2009, IEEE Transactions on Robotics.

[6]  Dimos V. Dimarogonas,et al.  Learning Control Barrier Functions from Expert Demonstrations , 2020, 2020 59th IEEE Conference on Decision and Control (CDC).

[7]  Matteo Saveriano,et al.  Learning Barrier Functions for Constrained Motion Planning with Dynamical Systems , 2019, 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[8]  Paulo Tabuada,et al.  Control Barrier Functions: Theory and Applications , 2019, 2019 18th European Control Conference (ECC).

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

[10]  Shaoshuai Mou,et al.  Neural Certificates for Safe Control Policies , 2020, ArXiv.

[11]  Alejandro Ribeiro,et al.  Probably Approximately Correct Constrained Learning , 2020, NeurIPS.

[12]  Dimos V. Dimarogonas,et al.  Learning Hybrid Control Barrier Functions from Data , 2020, CoRL.

[13]  Aude Billard,et al.  Learning control Lyapunov function to ensure stability of dynamical system-based robot reaching motions , 2014, Robotics Auton. Syst..

[14]  Javier Alonso-Mora,et al.  Planning and Decision-Making for Autonomous Vehicles , 2018, Annu. Rev. Control. Robotics Auton. Syst..

[15]  Ricardo G. Sanfelice,et al.  Hybrid Dynamical Systems: Modeling, Stability, and Robustness , 2012 .

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

[17]  Koushil Sreenath,et al.  Discrete Control Barrier Functions for Safety-Critical Control of Discrete Systems with Application to Bipedal Robot Navigation , 2017, Robotics: Science and Systems.

[18]  Samuel Coogan,et al.  Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach , 2020, 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[19]  Dimos V. Dimarogonas,et al.  A hybrid barrier certificate approach to satisfy linear temporal logic specifications , 2018, 2018 Annual American Control Conference (ACC).

[20]  Bernard Espiau,et al.  Limit cycles and their stability in a passive bipedal gait , 1996, Proceedings of IEEE International Conference on Robotics and Automation.

[21]  Sriram Sankaranarayanan,et al.  Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances , 2020, 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC).

[22]  Mrdjan Jankovic,et al.  Robust control barrier functions for constrained stabilization of nonlinear systems , 2018, Autom..

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

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

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

[26]  Bernard Espiau,et al.  Limit Cycles in a Passive Compass Gait Biped and Passivity-Mimicking Control Laws , 1997, Auton. Robots.

[27]  Yasser Shoukry,et al.  ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers , 2020, ArXiv.

[28]  Nikolai Matni,et al.  Learning Stability Certificates from Data , 2020, CoRL.

[29]  Manfred Morari,et al.  Learning lyapunov functions for hybrid systems , 2021, HSCC.