Characterization of Safety and Conditional Invariance for Nonlinear Systems

This paper investigates sufficient and necessary conditions for safety (equivalently, conditional invariance) in terms of barrier functions. Relaxed sufficient conditions concerning the sign and the regularity of the barrier function are proposed. Furthermore, via a counterexample, the lack of existence of an autonomous and continuous barrier function certifying safety in a class of autonomous systems is shown. As a consequence, guided by converse Lyapunov theorems for only stability, time-varying barrier functions are proposed and infinitesimal conditions are shown to be both necessary as well as sufficient, provided that mild regularity conditions on the system's dynamics holds. Examples illustrate the results.

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

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

[3]  S. Leela,et al.  Analysis of invariant sets , 1972 .

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

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

[6]  C. Kellett.  Classical Converse Theorems in Lyapunov's Second Method , 2015, 1502.04809.

[7]  V. Lakshmikantham,et al.  On flow-invariant sets , 1974 .

[8]  Xiangru Xu,et al.  Constrained control of input-output linearizable systems using control sharing barrier functions , 2018, Autom..

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

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

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

[12]  George J. Pappas,et al.  Stochastic safety verification using barrier certificates , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[13]  V. Lakshmikantham,et al.  Differential and integral inequalities : theory and applications , 1969 .

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

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

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

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