Preprint
Sep 2026
Optimizing Lyapunov Certificates via Stability-Preserving Quadratization for Polynomial Systems
Region-of-attraction (ROA) certificates for polynomial systems become expensive as state dimension and degree grow: direct sum-of-squares (SOS) formulations require combinatorially growing monomial bases. Quadratization represents a polynomial vector field exactly on an invariant manifold of a quadratic system, allowin...
Yu-Bo Cai, Gioele Zardini
· 0 citations