Separation Principles for Input-Output and Integral-Input-to-State Stability

We present new characterizations of input-output-to-state stability. This is a notion of detectability formulated in the ISS (input-to-state stability) framework. Equivalent properties are presented in terms of asymptotic estimates of the state trajectories based on the magnitudes of the external input and output signals. These results provide a set of separation principles for input-output-to-state stability---characterizations of the property as conjunctions of weaker stability notions. When applied to the notion of integral ISS, these characterizations yield analogous results.

[1]  R. Freeman,et al.  Robust Nonlinear Control Design: State-Space and Lyapunov Techniques , 1996 .

[2]  David Angeli,et al.  Uniform Global Asymptotic Stability of Differential Inclusions , 2004 .

[3]  Alberto Isidori,et al.  Nonlinear Control Systems II , 1999 .

[4]  Daniel Liberzon,et al.  Output-input stability and minimum-phase nonlinear systems , 2002, IEEE Trans. Autom. Control..

[5]  Eduardo Sontag,et al.  Input‐to‐state stability with respect to inputs and their derivatives , 2003 .

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

[7]  Eduardo Sontag,et al.  Generalizations of asymptotic gain characterizations of ISS to input-to-output stability , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[8]  Eduardo Sontag Comments on integral variants of ISS , 1998 .

[9]  W. Dayawansa,et al.  Global stabilization by output feedback: examples and counterexamples , 1994 .

[10]  Yuandan Lin,et al.  A Smooth Converse Lyapunov Theorem for Robust Stability , 1996 .

[11]  Eduardo Sontag Comments on integral variants of input-to-state stability , 1998 .

[12]  A. Teel,et al.  Singular perturbations and input-to-state stability , 1996, IEEE Trans. Autom. Control..

[13]  J. Tsinias Stochastic input-to-state stability and applications to global feedback stabilization , 1998 .

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

[15]  A. S. MorseCenter Certainty Equivalence Implies Detectability , 1998 .

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

[17]  Eduardo Sontag,et al.  Further Equivalences and Semiglobal Versions of Integral Input to State Stability , 1999, math/9908066.

[18]  Dragan Nesic,et al.  Input-to-State Stability for Nonlinear Time-Varying Systems via Averaging , 2001, Math. Control. Signals Syst..

[19]  M. Krstic,et al.  Inverse optimal design of input-to-state stabilizing nonlinear controllers , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[20]  Wolfgang Hahn,et al.  Stability of Motion , 1967 .

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

[22]  A. Isidori Nonlinear Control Systems , 1985 .

[23]  Eduardo Sontag,et al.  On characterizations of the input-to-state stability property , 1995 .

[24]  D. Nesic,et al.  A note on the robustness of input-to-state stability , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[25]  Eduardo Sontag,et al.  Output-to-state stability and detectability of nonlinear systems , 1997 .

[26]  D. Mayne Nonlinear and Adaptive Control Design [Book Review] , 1996, IEEE Transactions on Automatic Control.

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

[28]  Randy A. Freeman,et al.  Robust Nonlinear Control Design , 1996 .

[29]  Eduardo Sontag,et al.  Changing supply functions in input/state stable systems , 1995, IEEE Trans. Autom. Control..

[30]  David Angeli,et al.  Input-to-state stability of PD-controlled robotic systems , 1999, Autom..

[31]  Eduardo D. Sontag,et al.  Continuous control-Lyapunov functions for asymptotically controllable time-varying systems , 1999 .

[32]  Eduardo Sontag,et al.  Forward Completeness, Unboundedness Observability, and their Lyapunov Characterizations , 1999 .