Pages that link to "Item:Q1949085"
From MaRDI portal
The following pages link to Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems (Q1949085):
Displayed 6 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)
- Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants (Q2842646) (← links)
- Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
- Notes on Recent Achievements in Proving Stability using KeYmaeraX (Q5870861) (← links)