On the construction of Lyapunov functions with computer assistance
From MaRDI portal
(Redirected from Publication:515790)
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.
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
- scientific article; zbMATH DE number 3616736 (Why is no real title available?)
- scientific article; zbMATH DE number 1245559 (Why is no real title available?)
- scientific article; zbMATH DE number 692341 (Why is no real title available?)
- An algorithm for constructing Lyapunov functions
- Computation and verification of Lyapunov functions
- Computer assisted existence proofs of Lyapunov orbits at \(L_2\) and transversal intersections of invariant manifolds in the Jupiter--Sun PCR3BP
- Covering relations, cone conditions and the stable manifold theorem
- Discovery of closed orbits of dynamical systems with the use of computers
- Hyperbolicity conditions for the Lorenz model
- Numerical validation of blow-up solutions of ordinary differential equations
- Review on computational methods for Lyapunov functions
- Rigorous numerics for fast-slow systems with one-dimensional slow variable: topological shadowing approach
- Rigorous verification of cocoon bifurcations in the Michelson system
- The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof
- Topological method for symmetric periodic orbits for maps with a reversing symmetry
- C^1 Lohner algorithm.
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
- Efficient computation of Lyapunov functions for Morse decompositions
- Numerical verification method on complex ODEs for existence of global solutions within finite domains
- scientific article; zbMATH DE number 4024664 (Why is no real title available?)
- Geometric treatments and a common mechanism in finite-time singularities for autonomous ODEs
- Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems
- A constructive converse Lyapunov theorem on exponential stability
- Computation of verified Lyapunov functions of hybrid systems by a symbolic-numeric method
- 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
- scientific article; zbMATH DE number 4186117 (Why is no real title available?)
- Numerical validation of blow-up solutions with quasi-homogeneous compactifications
- Numerical validation of blow-up solutions of ordinary differential equations
- Computational Approach for Complete Lyapunov Functions
- 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
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)
