Computation of continuous and piecewise affine Lyapunov functions for discrete-time systems

In this paper, we present a new approach for computing Lyapunov functions for nonlinear discrete-time systems with an asymptotically stable equilibrium at the origin. Given a suitable triangulation of a compact neighbourhood of the origin, a continuous and piecewise affine function can be parameterized by the values at the vertices of the triangulation. If these vertex values satisfy system-dependent linear inequalities, the parameterized function is a Lyapunov function for the system. We propose calculating these vertex values using constructions from two classical converse Lyapunov theorems originally due to Yoshizawa and Massera. Numerical examples are presented to illustrate the proposed approach.

[1]  S. Gordon.  On Converses to the Stability Theorems for Difference Equations , 1972 .

[2]  William D. Kalies,et al.  A computational approach to conley's decomposition theorem , 2006 .

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

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

[5]  Sigurdur F. Hafstein,et al.  Continuous and piecewise affine Lyapunov functions using the Yoshizawa construction , 2014, 2014 American Control Conference.

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

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

[8]  Sigurður F. Marinósson,et al.  Lyapunov function construction for ordinary differential equations with linear programming , 2002 .

[9]  Konstantin Mischaikow,et al.  An Algorithmic Approach to Chain Recurrence , 2005, Found. Comput. Math..

[10]  Peter Giesl,et al.  Revised CPA method to compute Lyapunov functions for nonlinear systems , 2014 .

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

[12]  A. Bountis.  Dynamical Systems And Numerical Analysis , 1997, IEEE Computational Science and Engineering.

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

[14]  Lars Grüne,et al.  Linear programming based Lyapunov function computation for differential inclusions , 2011 .

[15]  C. Kellett,et al.  Computing continuous and piecewise affine Lyapunov functions for nonlinear systems , 2016 .

[16]  Peter Giesl,et al.  Computation of Lyapunov functions for nonlinear discrete time systems by linear programming , 2014 .

[17]  Peter Giesl,et al.  On the determination of the basin of attraction of discrete dynamical systems , 2007 .

[18]  Taro Yoshizawa,et al.  On the stability of solutions of a system of differential equations , 1955 .

[19]  Andrew R. Teel,et al.  Smooth Lyapunov functions and robustness of stability for difference inclusions , 2004, Syst. Control. Lett..

[20]  Peter Giesl,et al.  Construction of a local and global Lyapunov function using radial basis functions , 2008 .

[21]  A. Fuller,et al.  Stability of Motion , 1976, IEEE Transactions on Systems, Man, and Cybernetics.

[22]  Peter Giesl,et al.  Computation of continuous and piecewise affine Lyapunov functions by numerical approximations of the Massera construction , 2014, 53rd IEEE Conference on Decision and Control.