User: Guest  Login
Document type:
Konferenzbeitrag 
Author(s):
Kochdumper, Niklas and Gruber, Felix and Schürmann, Bastian and Gaßmann, Victor and Klischat, Moritz and Althoff, Matthias 
Title:
AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis 
Abstract:
We present a MATLAB toolbox for Automated Reachset Optimal Control (AROC) that automatically synthesizes verified controllers for solving reach-avoid problems using reachability analysis. The toolbox implements two different types of control approaches: When using our verified model predictive controller, a feasible control law is constructed and verified on-the-fly during online application of the system. For motion-primitive-based control, on the other hand, controllers for many motion primiti...    »
 
Keywords:
justITSELF 
Book / Congress title:
Proc. of the 24th International Conference on Hybrid Systems: Computation and Control 
Date of publication:
19.05.2021 
Year:
2021 
Print-ISBN:
9781450383394 
Fulltext / DOI: