On infinity norms as Lyapunov functions for continuous-time dynamical systems

This paper considers the synthesis of polyhedral Lyapunov functions for continuous-time dynamical systems. A proper conic partition of the state-space is employed to construct a finite set of linear inequalities in the elements of the Lyapunov weight matrix. For dynamics described by linear and polytopic differential inclusions, it is proven that the feasibility of the derived set of linear inequalities is necessary and sufficient for the existence of an infinity norm Lyapunov function. Furthermore, it is shown that the developed solution naturally applies to relevant classes of continuous-time nonlinear systems. An extension to non-symmetric polyhedral Lyapunov functions is also presented.

[1]  Franco Blanchini,et al.  Ultimate boundedness control for uncertain discrete-time systems via set-induced Lyapunov functions , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[2]  Robert Shorten,et al.  A Numerical Technique for Stability Analysis of Linear Switched Systems , 2004, HSCC.

[3]  O. Bobyleva Piecewise-Linear Lyapunov Functions for Linear Stationary Systems , 2002 .

[4]  L. Chau,et al.  Further comments on K0(K0) → 2γ , 1987 .

[5]  Franco Blanchini,et al.  Nonquadratic Lyapunov functions for robust control , 1995, Autom..

[6]  A. Polański Lyapunov function construction by linear programming , 1997, IEEE Trans. Autom. Control..

[7]  Abdellah Benzaouia,et al.  Existence of nonsymmetrical stability domains for linear systems , 1989 .

[8]  Y. Pyatnitskiy,et al.  Criteria of asymptotic stability of differential and difference inclusions encountered in control theory , 1989 .

[9]  Francesco Amato,et al.  Stability analysis of nonlinear quadratic systems via polyhedral Lyapunov functions , 2008, 2008 American Control Conference.

[10]  Mihaela-Hanako Matcovschi,et al.  The non-symmetrical case of invariant-set analysis with respect to linear dynamics , 2009, 2009 International Symposium on Signals, Circuits and Systems.

[11]  Mircea Lazar,et al.  On infinity norms as Lyapunov functions: Alternative necessary and sufficient conditions , 2010, 49th IEEE Conference on Decision and Control (CDC).

[12]  H. Kiendl,et al.  Vector norms as Lyapunov functions for linear systems , 1992 .

[13]  A. Polański,et al.  Further comments on "Vector norms as Lyapunov functions for linear systems" , 1998, IEEE Trans. Autom. Control..

[14]  Andrzej Polanski,et al.  On absolute stability analysis by polyhedral Lyapunov functions , 2000, Autom..