Computation of Lyapunov functions for nonlinear discrete time systems by linear programming

REFERENCES

• R.Agarwal, Difference Equations and Inequalities: Theory, Methods, and Applications, 2nd ed., Marcal Dekker, Inc., New York, 2000.
   Google Scholar
• R.Baier, L.Grüne, and S.Hafstein, Computing Lyapunov functions for strongly asymptotically stable differential inclusions, in Proceedings of the 8th IFAC Symposium on Nonlinear Control, Bologna, Italy, 2010.
   Google Scholar
• R.Baier, L.Grüne, and S.Hafstein, Linear programming based Lyapunov function computation for differential inclusions, Discrete Contin. Dyn. Syst. Ser. B 17 (2012), pp. 33–56.
   Web of Science ®Google Scholar
• H.Ban and W.Kalies, A computational approach to Conley's decomposition theorem, J. Comput. Nonlinear Dyn. 1(4) (2006), pp. 312–319.
   Web of Science ®Google Scholar
• A.Barraud, An algorithm for solving the matrix equation , Int. J. Control 27(2) (1978), pp. 319–320.
   Web of Science ®Google Scholar
• R.Bartels and G.Stewart, Algorithm 432: Solution of the matrix equation , Commun. ACM 15 (1972), pp. 820–826.
   Web of Science ®Google Scholar
• M.Buhmann, Radial Basis Functions: Theory and Implementations, Cambridge University Press, Cambridge, 2003.
   Google Scholar
• C.Conley, Isolated invariant sets and the Morse index, in CBMS, Vol. 38, American Mathematical Society, Providence, R.I., 1978.
   Google Scholar
• G.Feng, Stability analysis of piecewise discrete-time linear systems, IEEE Trans. Automat. Control 47(7) (2002), pp. 1108–1112.
   Web of Science ®Google Scholar
• P.Giesl, On the determination of the basin of attraction of discrete dynamical systems, J. Differ. Equ. Appl. 13(6) (2007), pp. 523–546.
   Web of Science ®Google Scholar
• P.Giesl, Construction of a local and global Lyapunov function for discrete dynamical systems using radial basis functions, J. Approx. Theory 153(2) (2008), pp. 184–211.
   Web of Science ®Google Scholar
• P.Giesl and S.Hafstein, Existence of piecewise affine Lyapunov functions in two dimensions, J. Math. Anal. Appl. 371 (2010), pp. 233–248.
   Web of Science ®Google Scholar
• P.Giesl and S.Hafstein, Construction of Lyapunov functions for nonlinear planar systems by linear programming, J. Math. Anal. Appl. 388 (2012), pp. 463–479.
   Web of Science ®Google Scholar
• P.Giesl and S.Hafstein, Existence of piecewise linear Lyapunov functions in arbitary dimensions, Discrete Contin. Dyn. Syst. Ser. A 32 (2012), pp. 3539–3565.
   Web of Science ®Google Scholar
• P.Giesl and S.Hafstein, Revised CPA method to compute Lyapunov functions for nonlinear systems, J. Math. Anal. Appl. (in press)
   Google Scholar
• S.Hafstein, A constructive converse Lyapunov theorem on exponential stability, Discrete Contin. Dyn. Syst. Ser. A 10 (2004), pp. 657–678.
   Web of Science ®Google Scholar
• S.Hafstein, A constructive converse Lyapunov theorem on asymptotic stability for nonlinear autonomous ordinary differential equations, Dyn. Syst. 20 (2005), pp. 281–299.
   Web of Science ®Google Scholar
• S.Hafstein, An algorithm for constructing Lyapunov functions, Electron. J. Differ. Equ. Monogr. 8 (2007), 101 pp.
   Google Scholar
• Z.-P.Jiang and Y.Wang, A converse Lyapunov theorem for discrete-time systems with disturbances, Syst. Control Lett. 45 (2002), pp. 49–58.
   Web of Science ®Google Scholar
• P. Julian, A high level canonical piecewise linear representation: Theory and applications, Ph.D. thesis, Universidad Nacional del Sur, Bahia Blanca, Argentina (1999)
   Google Scholar
• P.Julian, J.Guivant, and A.Desages, A parametrization of piecewise linear Lyapunov function via linear programming, Int. J. Control 72 (1999), pp. 702–715.
   Web of Science ®Google Scholar
• W.Kalies, K.Mischaikow, and R.VanderVorst, An algorithmic approach to chain recurrence, Found. Comput. Math. 5(4) (2005), pp. 409–449.
   Web of Science ®Google Scholar
• C. Kellett, Advances in converse and control Lyapunov functions, Ph.D. thesis, University of California, Santa Barbara, USA (2002)
   Google Scholar
• C.Kellett and A.Teel, Results on converse Lyapunov theorems for difference inclusions, in Proceedings of the 42st IEEE Conference on Decision and Control, Maui, H.I., Vol. 4, 2003, pp. 3627–3632.
   Google Scholar
• C.Kellett and A.Teel, Smooth Lyapunov functions and robustness of stability for difference inclusions, Syst. Control Lett. 52(5) (2005), pp. 395–405.
   Web of Science ®Google Scholar
• C.Kellett and A.Teel, On the robustness of KL-stability for difference inclusions: Smooth discrete-time Lyapunov functions, SIAM J. Control Optim. 44(3) (2005), pp. 777–800.
   Web of Science ®Google Scholar
• C.Kellett and A.Teel, Sufficient conditions for robustness of 𝒦ℒ-stability for differential inclusions, Math. Control Signals Syst. 19(3) (2007), pp. 183–205.
   Web of Science ®Google Scholar
• C.Kellett and A.Teel, Sufficient conditions for robustness of 𝒦ℒ-stability for differential inclusions, SIAM J. Control Optim. 44(3) (2005), pp. 777–800.
   Web of Science ®Google Scholar
• G.Kitagawa, An algorithm for solving the matrix equation , Int. J. Control 25(5) (1977), pp. 745–753.
   Web of Science ®Google Scholar
• M.Lazar and A.Jokic, On infinity norms as Lyapunov functions for piecewise affine systems, in Proceedings of Hybrid Systems: Computation and Control Conference, Stockholm, Sweden, 2010, pp. 131–141.
   Google Scholar
• S. Marinosson, Stability analysis of nonlinear systems with linear cprogramming: A Lyapunov functions based approach, Ph.D. thesis, Gerhard-Mercator-University, Duisburg, Germany (2002)
   Google Scholar
• S.Marinosson, Lyapunov function construction for ordinary differential equations with linear programming, Dyn. Syst. 17 (2002), pp. 137–150.
   Web of Science ®Google Scholar
• B.Milani, Piecewise-affine Lyapunov functions for discrete-time linear systems with saturating controls, Automatica 38 (2002), pp. 2177–2184.
   Google Scholar
• D.Norton, The fundamental theorem of dynamical systems, Comment. Math. Univ. Carolin. 36(3) (1995), pp. 585–597.
   Google Scholar
• E.Sontag, Mathematical Control Theory: Deterministic Finite Dimensional Systems, 2nd ed., Springer, New York, 1998.
   Google Scholar
• L.Tu, An Introduction to Manifolds, Springer, New York, 2008.
   Google Scholar
• H.Wendland, Scattered Data Approximation, Cambridge University Press, Cambridge, 2004.
   Google Scholar
• V.Zubov, Methods of A.M. Lyapunov and their Application, P. Noordhoff, Groningen, 1964.
   Google Scholar