Computation and Verification of Lyapunov Functions

DOI10.1137/140988802zbMath1360.37045OpenAlexW1881337225MaRDI QIDQ3449033

Peter Giesl, Sigurður Freyr Hafstein

Publication date: 3 November 2015

Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)

Full work available at URL: http://sro.sussex.ac.uk/id/eprint/56984/1/140988802.pdf

zbMATH Keywords

Lyapunov functionbasin of attractionradial basis functionmesh-free collocationcontinuous piecewise affine interpolation

Mathematics Subject Classification ID

Spectral, collocation and related methods for boundary value problems involving PDEs (65N35) Stability of topological dynamical systems (37B25) Lyapunov and storage functions (93D30) Error bounds for boundary value problems involving PDEs (65N15) Stability of solutions to ordinary differential equations (34D20)

Related Items

A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions, Numerical approximation of the data-rate limit for state estimation under communication constraints, Computing continuous and piecewise affine Lyapunov functions for nonlinear systems, Kernel-Based Discretization for Solving Matrix-Valued PDEs, Approximation of Lyapunov functions from noisy data, Automatic Determination of Connected Sublevel Sets of CPA Lyapunov Functions, Low-rank kernel approximation of Lyapunov functions using neural networks, Computation and verification of contraction metrics for exponentially stable equilibria, On the construction of Lyapunov functions with computer assistance, A Lie transform approach to the construction of Lyapunov functions in autonomous and non-autonomous systems, Computation and verification of contraction metrics for periodic orbits, System specific triangulations for the construction of CPA Lyapunov functions, Simplicial complex with approximate rotational symmetry: a general class of simplicial complexes, Computation of a Contraction Metric for a Periodic Orbit Using Meshfree Collocation, Conley's Fundamental Theorem for a Class of Hybrid Systems

Uses Software

• Matlab
• Scilab
• Sostools
• Armadillo

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computation of Lyapunov functions for systems with multiple local attractors
• Review on computational methods for Lyapunov functions
• Efficient computation of Lyapunov functions for Morse decompositions
• Grid refinement in the construction of Lyapunov functions using radial basis functions
• Construction of Lyapunov functions for nonlinear planar systems by linear programming
• Linear programming based Lyapunov function computation for differential inclusions
• Cell-to-cell mapping. A method of global analysis for nonlinear systems
• Error estimates for interpolation by compactly supported radial basis functions of minimal degree
• Solving partial differential equations by collocation using radial basis functions
• An adaptive grid scheme for the discrete Hamilton-Jacobi-Bellman equation
• A constructive converse Lyapunov theorem on exponential stability
• Asymptotic behavior of dynamical and control systems under perturbation and discretization
• Revised CPA method to compute Lyapunov functions for nonlinear systems
• An algorithmic approach to chain recurrence
• A Generalization of Zubov's Method to Perturbed Systems
• Computation of Lyapunov functions for nonlinear discrete time systems by linear programming
• Meshless Collocation: Error Estimates with Application to Dynamical Systems
• Exponentially Stable Nonlinear Systems Have Polynomial Lyapunov Functions on Bounded Regions
• Computation of continuous and piecewise affine Lyapunov functions for discrete-time systems
• A SURVEY OF METHODS FOR COMPUTING (UN)STABLE MANIFOLDS OF VECTOR FIELDS
• A Converse Sum of Squares Lyapunov Result With a Degree Bound
• Scattered Data Approximation