Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems (Q5275325)
From MaRDI portal
scientific article; zbMATH DE number 6741667
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems |
scientific article; zbMATH DE number 6741667 |
Statements
Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems (English)
0 references
11 July 2017
0 references
convex combinations
0 references
formal verification
0 references
interpolation control
0 references
nonlinear control
0 references
reach-avoid problems
0 references
robust control
0 references
