Characterizations of safety in hybrid inclusions via barrier functions

This paper investigates characterizations of safety in terms of barrier functions for hybrid systems modeled by hybrid inclusions. After introducing an adequate definition of safety for hybrid inclusions, sufficient conditions using continuously differentiable as well as lower semicontinuous barrier functions are proposed. Furthermore, the lack of existence of autonomous and continuous barrier functions certifying safety, guides us to propose, inspired by converse Lyapunov theorems for only stability, nonautonomous barrier functions and conditions that are shown to be both necessary as well as sufficient, provided that mild regularity conditions on the system's dynamics holds.

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

[2]  A. Fuller,et al.  Stability of Motion , 1976, IEEE Transactions on Systems, Man, and Cybernetics.

[3]  J. Doyle,et al.  Optimization-based methods for nonlinear and hybrid systems verification , 2005 .

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

[5]  C. Terp.  Flow-invariant sets , 1989 .

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

[7]  Rafal Goebel,et al.  Solutions to hybrid inclusions via set and graphical convergence with stability theory applications , 2006, Autom..

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

[9]  V Lakshmikantham,et al.  Conditionally invariant sets and vector Lyapunov functions , 1966 .

[10]  E. Michael.  Continuous Selections. I , 1956 .

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

[12]  N. Krasovskii.  Stability of Motion: Applications of Lyapunov's Second Method to Differential Systems and Equations with Delay , 1963 .

[13]  Yu. S. Ledyaev,et al.  Nonsmooth analysis and control theory , 1998 .

[14]  Zdzisław Denkowski,et al.  Set-Valued Analysis , 2021 .

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

[16]  Ricardo G. Sanfelice,et al.  Characterization of Safety and Conditional Invariance for Nonlinear Systems , 2019, 2019 American Control Conference (ACC).

[17]  George J. Pappas,et al.  Stable flocking of mobile agents, part I: fixed topology , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

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

[19]  Ashish Tiwari,et al.  Deductive Verification of Continuous Dynamical Systems , 2009, FSTTCS.

[20]  Kristin Ytterstad Pettersen,et al.  Observer Based Path Following for Underactuated Marine Vessels in the Presence of Ocean Currents: A Global Approach - With proofs , 2018, ArXiv.

[21]  Adrian Wills,et al.  Barrier function based model predictive control , 2004, Autom..