A discrete-time strong implication-form Lyapunov function for ISS systems with respect to positive semidefinite measurement functions

In this paper, we study the notion of ISS with respect to two measurement functions for discrete-time systems. An example in previous work shows that, in the two measurement function case, the existence of an implication-form ISS-Lyapunov function does not imply ISS. Here, we define a "strong" ISS-Lyapunov function and demonstrate that its existence is equivalent to ISS with respect to two measurement functions.

[1]  Dragan Nesic,et al.  A framework for stabilization of nonlinear sampled-data systems based on their approximate discrete-time models , 2004, IEEE Transactions on Automatic Control.

[2]  Eduardo D. Sontag,et al.  Measurement to error stability: a notion of partial detectability for nonlinear systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[3]  Eduardo Sontag,et al.  Notions of input to output stability , 1999, Systems & Control Letters.

[4]  Eduardo D. Sontag,et al.  Input-Output-to-State Stability , 2001, SIAM J. Control. Optim..

[5]  Andrew R. Teel,et al.  Weak Converse Lyapunov Theorems and Control-Lyapunov Functions , 2003, SIAM J. Control. Optim..

[6]  Andrew R. Teel,et al.  Sufficient conditions for robustness of $$\mathcal{K}\mathcal{L}$$ -stability for difference inclusions , 2007, Math. Control. Signals Syst..

[7]  Peter M. Dower,et al.  Input-to-state stability with respect to two measurement functions: Discrete-time systems , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

[8]  David Angeli,et al.  A characterization of integral input-to-state stability , 2000, IEEE Trans. Autom. Control..

[9]  Eduardo Sontag,et al.  Input-to-state stability for discrete-time nonlinear systems , 1999, at - Automatisierungstechnik.

[10]  Fabian R. Wirth,et al.  Input-To-State Stability, Integral Input-To-State Stability, and Unbounded Level Sets , 2013, NOLCOS.

[11]  Eduardo Sontag.  Input to State Stability: Basic Concepts and Results , 2008 .

[12]  A. Movchan.  Stability of processes with respect to two metrics , 1960 .

[13]  Peter M. Dower,et al.  A generalization of Input-to-State Stability , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[14]  Christopher M. Kellett,et al.  A compendium of comparison function results , 2014, Math. Control. Signals Syst..

[15]  V. Lakshmikantham,et al.  Stability Analysis in Terms of Two Measures , 1993 .

[16]  David Angeli,et al.  A Lyapunov approach to incremental stability properties , 2002, IEEE Trans. Autom. Control..

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

[18]  Lars Grüne,et al.  ISS-Lyapunov Functions for Discontinuous Discrete-Time Systems , 2014, IEEE Transactions on Automatic Control.

[19]  Zhong-Ping Jiang,et al.  A converse Lyapunov theorem for discrete-time systems with disturbances , 2002, Syst. Control. Lett..