Existence of piecewise linear Lyapunov functions in arbitrary dimensions

Lyapunov functions are an important tool to determine the basin of attraction of exponentially stable equilibria in dynamical systems. In Marinosson (2002), a method to construct Lyapunov functions was presented, using finite differences on finite elements and thus transforming the construction problem into a linear programming problem. In Hafstein (2004), it was shown that this method always succeeds in constructing a Lyapunov function, except for a small, given neighbourhood of the equilibrium. For two-dimensional systems, this local problem was overcome by choosing a fan-like triangulation around the equilibrium. In Giesl/Hafstein (2010) the existence of a piecewise linear Lyapunov function was shown, and in Giesl/Hafstein (2012) it was shown that the above method with a fan-like triangulation always succeeds in constructing a Lyapunov function, without any local exception. However, the previous papers only considered two-dimensional systems. This paper generalises the existence of piecewise linear Lyapunov functions to arbitrary dimensions.

[1]  Peter Giesl,et al.  Construction of Lyapunov functions for nonlinear planar systems by linear programming , 2012 .

[2]  P. Olver.  Nonlinear Systems , 2013 .

[3]  P. Parrilo.  Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization , 2000 .

[4]  Sigurdur Hafstein,et al.  A constructive converse Lyapunov theorem on asymptotic stability for nonlinear autonomous ordinary differential equations , 2005 .

[5]  Sigurður F. Marinósson,et al.  Stability Analysis of Nonlinear Systems with Linear Programming , 2002 .

[6]  Peter Giesl,et al.  Existence of piecewise affine Lyapunov functions in two dimensions , 2010 .

[7]  Tor Arne Johansen,et al.  Computation of Lyapunov functions for smooth nonlinear systems using convex optimization , 2000, Autom..

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

[9]  P. Julián,et al.  A parametrization of piecewise linear Lyapunov functions via linear programming , 1999 .

[10]  Sigurdur Hafstein,et al.  A CONSTRUCTIVE CONVERSE LYAPUNOV THEOREM ON EXPONENTIAL STABILITY , 2004 .

[11]  A. Rantzer,et al.  On the computation of piecewise quadratic Lyapunov functions , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[12]  Matthew M. Peet,et al.  Exponentially Stable Nonlinear Systems Have Polynomial Lyapunov Functions on Bounded Regions , 2007, IEEE Transactions on Automatic Control.

[13]  O. Agamennoni,et al.  Attraction and Stability of Nonlinear Ode's using Continuous Piecewise Linear Approximations , 2010, 1004.1328.

[14]  F. Clarke.  Optimization And Nonsmooth Analysis , 1983 .

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

[16]  V. Zubov.  Methods of A.M. Lyapunov and their application , 1965 .

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

[18]  P. Giesl.  Construction of Global Lyapunov Functions Using Radial Basis Functions , 2007 .

[19]  Richard H. Bartels,et al.  Algorithm 432 [C2]: Solution of the matrix equation AX + XB = C [F4] , 1972, Commun. ACM.

[20]  A. Papachristodoulou,et al.  On the construction of Lyapunov functions using the sum of squares decomposition , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..