Toolbox Description
The Automated Reachset Optimal Control (AROC) toolbox automatically constructs formally verified controllers for solving reach-avoid problems using reachability analysis. The toolbox considers general nonlinear systems with disturbances and input constraints. AROC is implemented in MATLAB, and the CORA toolbox is used to calculate reachable sets. The following points summarize the main capabilities of the AROC toolbox: