Software
Our research is implemented in several tools for academic and industrial use.
Reachability Analysis & Controller Synthesis
CORA
The Continuous Reachability Analyzer (CORA) is a collection of MATLAB classes for the formal verification of cyber-physical systems using reachability analysis.
https://cora.in.tum.de
AROC
The Automated Reachset Optimal Control (AROC) toolbox automatically constructs formally verified controllers for solving reach-avoid problems using reachability analysis.
https://aroc.in.tum.de
Autonomous Vehicles & Vessels
CommonRoad
The collection of Composable Benchmarks for Motion Planning on Roads (CommonRoad) provides researchers with a means of evaluating and comparing their motion planners.
https://commonroad.in.tum.de
CommonOcean
The collection of Composable Benchmarks for Motion Planning on Oceans (CommonOcean) provides researchers with means of evaluating and comparing their motion planners.
https://commonocean.cps.cit.tum.de
Robotics
CoBRA
The Composable Benchmark for Robotics Applications (CoBRA) is a benchmark suite for modular robot synthesis, selection, and trajectory planning.
https://cobra.cps.cit.tum.de
SaRA
The tool for Safe Human-Robot Coexistence and Collaboration through Reachability Analysis (SaRA) determines the entire possible space that the human can occupy in a given time horizon.
Timor
The Toolbox for Industrial Modular Robotics (Timor) presents a standardized way to model and simulate assemblies of modules to integrate modular robotics into existing simulation and optimization pipelines.
Power Systems
CommonPower
CommonPower provides a flexible framework to model power systems, interface to single-agent and multi-agent RL controllers, and maintain safety based on a symbolic representation of the system equations. Following a modular design philosophy, CommonPower is an easily extendable tool for the development and benchmarking of RL controllers in the context of smart grids.