Pages that link to "Item:Q515790"
From MaRDI portal
The following pages link to On the construction of Lyapunov functions with computer assistance (Q515790):
Displaying 22 items.
- Review on computational methods for Lyapunov functions (Q258388) (← links)
- Efficient computation of Lyapunov functions for Morse decompositions (Q258397) (← links)
- Computational methods for Lyapunov functions (Q258430) (← links)
- Numerical validation of blow-up solutions of ordinary differential equations (Q345956) (← links)
- Numerical validation of blow-up solutions with quasi-homogeneous compactifications (Q777511) (← links)
- A constructive converse Lyapunov theorem on exponential stability (Q1433445) (← links)
- Constructing the Lyapunov function through solving positive dimensional polynomial system (Q1791356) (← links)
- A numerical method for constructing Lyapunov functions and computer-aided analysis of stability of nonlinear dynamic systems (Q1914333) (← links)
- Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems (Q1949085) (← links)
- A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions (Q2135544) (← links)
- Errata to: ``On the construction of Lyapunov functions with computer assistance'' (Q2222080) (← links)
- Geometric treatments and a common mechanism in finite-time singularities for autonomous ODEs (Q2273515) (← links)
- Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity (Q2306381) (← links)
- Dynamic Lyapunov functions (Q2445175) (← links)
- Computational Approach for Complete Lyapunov Functions (Q3296531) (← links)
- (Q3766739) (← links)
- Computer generated Lyapunov functions for a class of nonlinear systems (Q4276646) (← links)
- Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers (Q5039505) (← links)
- On numerical verification methods to construct local Lyapunov functions around non-hyperbolic equilibria for two-dimensional cases (Q5047121) (← links)
- Construction of local Lyapunov functions around non-hyperbolic equilibria by verified numerics for two dimensional cases (Q5121400) (← links)
- Rigorous numerics for fast-slow systems (Q6117937) (← links)
- Numerical verification method on complex ODEs for existence of global solutions within finite domains (Q6139486) (← links)