Construction of Polyhedral Lyapunov Functions for Discrete-Time Systems

In this paper we make use of the alternative converse Lyapunov theorem presented in [1] for specific classes of systems. We show that the developed converse Lyapunov theorem can be used to establish non–conservatism of a particular type of Lyapunov functions. Most notably, a proof that the existence of conewise linear Lyapunov functions are non– conservative for globally exponentially stable (GES) conewise linear systems is given and, as a by–product, tractable construction of polyhedral Lyapunov functions for linear systems is attained. keyword: Conewise linear systems, Polyhedral Lyapunov functions

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

[2]  Zhendong Sun,et al.  Stability of piecewise linear systems revisited , 2010, Annu. Rev. Control..

[3]  O. Bobyleva,et al.  Piecewise-Linear Lyapunov Functions and Localization of Spectra of Stable Matrices , 2001 .

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

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

[6]  John N. Tsitsiklis,et al.  Complexity of stability and controllability of elementary hybrid systems , 1999, Autom..

[7]  Franco Blanchini,et al.  Set-theoretic methods in control , 2007 .

[8]  R. Kalman,et al.  Control system analysis and design via the second method of lyapunov: (I) continuous-time systems (II) discrete time systems , 1959 .

[9]  M. Johansson,et al.  Piecewise Linear Control Systems , 2003 .

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

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

[12]  M. Lazar,et al.  On stability analysis of discrete-time homogeneous dynamics , 2013, 2013 17th International Conference on System Theory, Control and Computing (ICSTCC).

[13]  Mircea Lazar,et al.  On infinity norms as Lyapunov functions for piecewise affine systems , 2010, HSCC '10.

[14]  Fabian R. Wirth,et al.  An alternative converse Lyapunov theorem for discrete-time systems , 2014, Syst. Control. Lett..