Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems
From MaRDI portal
Publication:5275325
DOI10.1145/3049797.3049800zbMath1369.93169OpenAlexW2606061686MaRDI QIDQ5275325
Matthias Althoff, Bastian Schürmann
Publication date: 11 July 2017
Published in: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3049797.3049800
nonlinear controlrobust controlconvex combinationsformal verificationinterpolation controlreach-avoid problems
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
A fast method for obtaining convex combination coefficients ⋮ AROC ⋮ Hierarchical solution of non-convex optimal control problems with application to autonomous driving
Uses Software
This page was built for publication: Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems