Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients (Q2819624)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients |
scientific article; zbMATH DE number 6631144
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients |
scientific article; zbMATH DE number 6631144 |
Statements
Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients (English)
0 references
29 September 2016
0 references
differential invariant
0 references
semidefinite programming
0 references
sum-of-squares relaxation
0 references
0.94319373
0 references
0.92482483
0 references
0.9067374
0 references
0.9023473
0 references
0 references
0.8863574
0 references
0.88218045
0 references
0.88192046
0 references
0.88192034
0 references
