Pages that link to "Item:Q1949085"
From MaRDI portal
The following pages link to Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems (Q1949085):
Displaying 8 items.
- Exact asymptotic stability analysis and region-of-attraction estimation for nonlinear systems (Q369723) (← links)
- A Lyapunov approach for attraction domain estimation of polynomial discrete nonlinear systems with quadratic and cubic terms (Q2190884) (← links)
- Deductive stability proofs for ordinary differential equations (Q2233505) (← links)
- Discovering polynomial Lyapunov functions for continuous dynamical systems (Q2437283) (← links)
- Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants (Q2842646) (← links)
- Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
- Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis (Q4683987) (← links)
- Notes on Recent Achievements in Proving Stability using KeYmaeraX (Q5870861) (← links)