Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems (Q2402231)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems |
scientific article |
Statements
Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems (English)
0 references
6 September 2017
0 references
hybrid systems
0 references
invariants
0 references
non-autonomous systems
0 references
polynomial ideals
0 references
semi-algebraic sets
0 references
0 references
0 references
0 references
