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
Lyapunov functionbasin of attractionradial basis functionmesh-free collocationcontinuous piecewise affine interpolation
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
Uses Software
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