On the sufficient conditions for input-to-state safety

In this paper, we present a novel notion of input-to-state safety (ISSf) for general nonlinear systems which can be useful for certifying system's safety under the influence of external bounded input (or disturbance) signals. We provide sufficient conditions for ISSf using barrier function/certificate which are analogous to the input-to-state stability Lyapunov function.

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

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

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

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

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

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

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

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

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

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

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

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

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

[14]  Jacquelien M. A. Scherpen,et al.  A modeling framework and flux controller for free molecular flow deposition processes , 2017, 2017 American Control Conference (ACC).

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

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

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

[18]  Bayu Jayawardhana,et al.  On the new notion of input-to-state safety , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

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