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 3 items.
- Exact asymptotic stability analysis and region-of-attraction estimation for nonlinear systems (Q369723) (← links)
- Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants (Q2842646) (← links)
- Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)