Software
Unsere Forschung ist in den folgenden open-source Toolboxen implementiert:
AROC
Die Toolbox für Automated Reachset Optimal Control (AROC) erstellt automatisch formal verifizierte Regler zur Lösung von Reach-Avoid-Problemen mithilfe von Erreichbarkeitsanalyse.
AutoKoopman
AutoKoopman ist ein Tool zur Systemidentifikation von Koopman-linearisierten Modellen, welches automatisch alle Hyperparameter optimiert.