Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming (Q2165452)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming |
scientific article |
Statements
Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming (English)
0 references
19 August 2022
0 references
computer mathematics
0 references
reachable set estimation
0 references
safety verification
0 references
sums of squares programming
0 references
0 references
0 references
0 references
0 references
0 references
