Safety verification of nonlinear systems based on rational invariants (Q2819719)
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: Safety verification of nonlinear systems based on rational invariants |
scientific article; zbMATH DE number 6631226
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Safety verification of nonlinear systems based on rational invariants |
scientific article; zbMATH DE number 6631226 |
Statements
Safety verification of nonlinear systems based on rational invariants (English)
0 references
29 September 2016
0 references
BMI solving
0 references
rational invariant
0 references
safety verification
0 references
sum-of-squares relaxation
0 references
