An alternative converse Lyapunov theorem for discrete-time systems

Abstract This paper presents an alternative approach for obtaining a converse Lyapunov theorem for discrete-time systems. The proposed approach is constructive, as it provides an explicit Lyapunov function. The developed converse theorem establishes existence of global Lyapunov functions for globally exponentially stable (GES) systems and for globally asymptotically stable systems, Lyapunov functions on a set [ a , b ] with 0 a b ∞ are derived. Furthermore, for specific classes of systems, the developed converse Lyapunov theorem can be used to establish non-conservatism of existence of a particular type of Lyapunov functions. Most notably, a proof that the existence of conewise linear Lyapunov functions is non-conservative for GES conewise linear systems is given and, as a by-product, tractable construction of polyhedral Lyapunov functions for linear systems is attained.

[1]  P. Kokotovic,et al.  Sufficient conditions for stabilization of sampled-data nonlinear systems via discrete-time approximations , 1999 .

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

[3]  Fabian Wirth,et al.  Solving iterative functional equations for a class of piecewise linear K∞-functions , 2014 .

[4]  W. P. M. H. Heemels,et al.  Further Input-to-State Stability Subtleties for Discrete-Time Systems , 2013, IEEE Transactions on Automatic Control.

[5]  Sigurdur F. Hafstein,et al.  Computation of Lyapunov functions for discrete-time systems using the Yoshizawa construction , 2014, 53rd IEEE Conference on Decision and Control.

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

[7]  Elena Panteley,et al.  Stability, as told by its developers , 2017 .

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

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

[10]  Mircea Lazar,et al.  Model predictive control of hybrid systems : stability and robustness , 2006 .

[11]  N. Krasovskii,et al.  ON THE EXISTENCE OF LYAPUNOV FUNCTIONS IN THE CASE OF ASYMPTOTIC STABILITY IN THE LARGE , 1961 .

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

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

[14]  C. Hang,et al.  An algorithm for constructing Lyapunov functions based on the variable gradient method , 1970 .

[15]  A. Teel,et al.  A smooth Lyapunov function from a class- ${\mathcal{KL}}$ estimate involving two positive semidefinite functions , 2000 .

[16]  Andrew R. Teel,et al.  On the Robustness of KL-stability for Difference Inclusions: Smooth Discrete-Time Lyapunov Functions , 2005, SIAM J. Control. Optim..

[17]  L. Rosier.  Homogeneous Lyapunov function for homogeneous continuous vector field , 1992 .

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

[19]  Zeng Zhijun.  Converse Lyapunov theorems for nonautonomous discrete-time systems , 2009 .

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

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

[22]  Sezai Emre Tuna,et al.  Growth rate of switched homogeneous systems , 2008, Autom..

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

[24]  Andrew R. Teel,et al.  Discrete-time homogeneous Lyapunov functions for homogeneous difference inclusions , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[25]  Hans Hahn.  Courant, Funktionentheorie , 1931 .

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

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

[28]  J. L. Massera.  On Liapounoff's Conditions of Stability , 1949 .

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

[30]  R. E. Kalman,et al.  Control System Analysis and Design Via the “Second Method” of Lyapunov: I—Continuous-Time Systems , 1960 .

[31]  D. Aeyels,et al.  A new asymptotic stability criterion for nonlinear time-variant differential equations , 1998, IEEE Trans. Autom. Control..

[32]  吉沢 太郎.  Stability theory by Liapunov's second method , 1966 .

[33]  Fabian R. Wirth,et al.  Control Lyapunov Functions and Zubov's Method , 2008, SIAM J. Control. Optim..

[34]  A. Teel,et al.  A Smooth Lyapunov Function from a Class-kl Estimate Involving Two Positive Semideenite Functions , 1999 .