Pages that link to "Item:Q4683987"
From MaRDI portal
The following pages link to Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis (Q4683987):
Displaying 7 items.
- Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems (Q1949085) (← links)
- Template polyhedra and bilinear optimization (Q2322312) (← links)
- Phase portraits, Lyapunov functions, and projective geometry. Lessons learned from a differential equations class and its aftermath (Q2663653) (← links)
- Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers (Q5039505) (← links)
- Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems (Q5232243) (← links)
- Convergent Relaxations of Polynomial Matrix Inequalities and Static Output Feedback (Q5281748) (← links)
- Validating numerical semidefinite programming solvers for polynomial invariants (Q5916266) (← links)