Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients

DOI10.1145/2331684.2331701zbMath1345.65046OpenAlexW2093554898MaRDI QIDQ2819624

No author found.

Publication date: 29 September 2016

Published in: Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2331684.2331701

zbMATH Keywords

semidefinite programmingdifferential invariantsum-of-squares relaxation

Mathematics Subject Classification ID

Numerical mathematical programming methods (65K05) Semidefinite programming (90C22) Nonlinear programming (90C30) System structure simplification (93B11)

Related Items (4)

Exact asymptotic stability analysis and region-of-attraction estimation for nonlinear systems ⋮ Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods ⋮ Exact safety verification of hybrid systems using sums-of-squares representation ⋮ Barrier certificates revisited

This page was built for publication: Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients