On the new notion of input-to-state safety

In this paper, we study robustness analysis of systems' safety with respect to external input (or disturbance) signals. To this end, we introduce a new notion of input-to-state safety (ISSf) which allows us to quantify the systems' safety robustness, in the same way as the application of input-to-state stability (ISS) notion for analyzing robustness of systems' stability. In particular, ISSf prescribes the relationship between the evolution of state distance to the unsafe set with the initial conditions and the bounded external input signals. Finally, we discuss how to combine this notion with ISS for analyzing the robustness of both systems' stability and safety.

[1]  Zhong-Ping Jiang,et al.  Small-gain theorem for ISS systems and applications , 1994, Math. Control. Signals Syst..

[2]  David Angeli,et al.  Characterizations of Input-to-State Stability for Systems With Multiple Invariant Sets , 2015, IEEE Transactions on Automatic Control.

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

[4]  Paulo Tabuada,et al.  Adaptive cruise control: Experimental validation of advanced controllers on scale-model cars , 2015, 2015 American Control Conference (ACC).

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

[6]  Eduardo Sontag.  Smooth stabilization implies coprime factorization , 1989, IEEE Transactions on Automatic Control.

[7]  Bayu Jayawardhana,et al.  Robustness Analysis of Systems' Safety through a New Notion of Input-to-State Safety , 2017, ArXiv.

[8]  Ayan Banerjee,et al.  Ensuring Safety, Security, and Sustainability of Mission-Critical Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[9]  H. Logemann,et al.  The Circle Criterion and Input-to-State Stability , 2011, IEEE Control Systems.

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

[11]  Petros G. Voulgaris,et al.  Distributed Coordination Control for Multi-Robot Networks Using Lyapunov-Like Barrier Functions , 2016, IEEE Transactions on Automatic Control.

[12]  J. Doyle,et al.  NONLINEAR OPTIMAL CONTROL: A CONTROL LYAPUNOV FUNCTION AND RECEDING HORIZON PERSPECTIVE , 1999 .

[13]  A. Schaft.  L2-Gain and Passivity Techniques in Nonlinear Control. Lecture Notes in Control and Information Sciences 218 , 1996 .

[14]  Emanuele Garone,et al.  Explicit Reference Governor for Constrained Nonlinear Systems , 2016, IEEE Transactions on Automatic Control.

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

[16]  Eduardo Sontag,et al.  New characterizations of input-to-state stability , 1996, IEEE Trans. Autom. Control..

[17]  Bayu Jayawardhana,et al.  Passivity-Based Control with Guaranteed Safety via Interconnection and Damping Assignment , 2015, ADHS.

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

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

[20]  Andrew R. Teel,et al.  Bounded-Energy-Input Convergent-State Property of Dissipative Nonlinear Systems: An iISS Approach , 2010, IEEE Transactions on Automatic Control.

[21]  Bayu Jayawardhana,et al.  State Convergence of Passive Nonlinear Systems With an $L^{2}$ Input , 2009, IEEE Transactions on Automatic Control.