On the construction of Lyapunov functions with computer assistance
From MaRDI portal
Publication:515790
DOI10.1016/J.CAM.2017.01.002zbMATH Open1366.34078arXiv1604.05953OpenAlexW2964071213MaRDI QIDQ515790FDOQ515790
Authors: Kaname Matsue, Tomohiro Hiwaki, Nobito Yamamoto 
Publication date: 16 March 2017
Published in: Journal of Computational and Applied Mathematics (Search for Journal in Brave)
Abstract: Computer assisted procedures of Lyapunov functions defined in given neighborhoods of fixed points for flows and maps are discussed. We provide a systematic methodology for constructing explicit ranges where quadratic Lyapunov functions exist in two stages; negative definiteness of associating matrices and direct approach. We note that the former is equivalent to the procedure of cones describing enclosures of the stable and the unstable manifolds of invariant sets, which gives us flexible discussions of asymptotic behavior not only around equilibria for flows but also fixed points for maps. Additionally, our procedure admits a re-parameterization of trajectories in terms of values of Lyapunov functions. Several verification examples are shown for discussions of applicability.
Full work available at URL: https://arxiv.org/abs/1604.05953
Recommendations
- A numerical method for constructing Lyapunov functions and computer-aided analysis of stability of nonlinear dynamic systems
- Computation and verification of Lyapunov functions
- Construction of local Lyapunov functions around non-hyperbolic equilibria by verified numerics for two dimensional cases
- Computational methods for Lyapunov functions
- Computer generated Lyapunov functions for a class of nonlinear systems
Cites Work
- Title not available (Why is that?)
- Review on computational methods for Lyapunov functions
- Computation and verification of Lyapunov functions
- Title not available (Why is that?)
- Title not available (Why is that?)
- An algorithm for constructing Lyapunov functions
- Rigorous verification of cocoon bifurcations in the Michelson system
- \(C^1\) Lohner algorithm.
- Covering relations, cone conditions and the stable manifold theorem
- The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof
- Numerical validation of blow-up solutions of ordinary differential equations
- Rigorous numerics for fast-slow systems with one-dimensional slow variable: topological shadowing approach
- Hyperbolicity conditions for the Lorenz model
- Discovery of closed orbits of dynamical systems with the use of computers
- Topological method for symmetric periodic orbits for maps with a reversing symmetry
- Computer assisted existence proofs of Lyapunov orbits at \(L_2\) and transversal intersections of invariant manifolds in the Jupiter--Sun PCR3BP
Cited In (25)
- Computational methods for Lyapunov functions
- Review on computational methods for Lyapunov functions
- Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity
- Numerical verification method on complex ODEs for existence of global solutions within finite domains
- Efficient computation of Lyapunov functions for Morse decompositions
- Title not available (Why is that?)
- Geometric treatments and a common mechanism in finite-time singularities for autonomous ODEs
- Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems
- Computation of verified Lyapunov functions of hybrid systems by a symbolic-numeric method
- A constructive converse Lyapunov theorem on exponential stability
- A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions
- Errata to: ``On the construction of Lyapunov functions with computer assistance
- Computation and verification of Lyapunov functions
- Simulation-guided Lyapunov analysis for hybrid dynamical systems
- Automated and sound synthesis of Lyapunov functions with SMT solvers
- On numerical verification methods to construct local Lyapunov functions around non-hyperbolic equilibria for two-dimensional cases
- Construction of local Lyapunov functions around non-hyperbolic equilibria by verified numerics for two dimensional cases
- Title not available (Why is that?)
- Numerical validation of blow-up solutions with quasi-homogeneous compactifications
- Computational Approach for Complete Lyapunov Functions
- Numerical validation of blow-up solutions of ordinary differential equations
- Constructing the Lyapunov function through solving positive dimensional polynomial system
- Computer generated Lyapunov functions for a class of nonlinear systems
- Rigorous numerics for fast-slow systems
- Dynamic Lyapunov functions
Uses Software
This page was built for publication: On the construction of Lyapunov functions with computer assistance
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q515790)
