Niklas Kochdumper; Hanna Krasowski; Xiao Wang; Stanley Bak; Matthias Althoff
Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes
IEEE Open Journal of Control Systems
2023

Gaßmann, Victor;Althoff, Matthias
Implementation of Ellipsoidal Operations in CORA 2022
EPiC Series in Computing
EasyChair
-00-00T00:00:00

Wetzlinger, M.; Kulmburg, A.; Le Penven, A.; Althoff, M.
Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
Nonlinear Analysis: Hybrid Systems
2022
46
101252

Verdier, Cees Ferdinand;Kochdumper, Niklas;Althoff, Matthias;Mazo, Manuel
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
Automatica
2022
139

Schepp, Sven R.;Thumm, Jakob;Liu, Stefan B.;Althoff, Matthias
SaRA: A Tool for Safe Human-Robot Coexistence and Collaboration through Reachability Analysis
Proc. of the IEEE International Conference on Robotics and Automation
2022

Roehm, Hendrik;Rausch, Alexander;Althoff, Matthias
Reachset Conformance and Automatic Model Adaptation for Hybrid Systems
Mathematics
2022
10
19

Lopez, Diego Manzanas;Althoff, Matthias;Benet, Luis;Chen, Xin;Fan, Jiameng;Forets, Marcelo;Huang, Chao;Johnson, Taylor T;Ladner, Tobias;Li, Wenchao;Schilling, Christian;Zhu, Qi
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
EasyChair
2022

Liu, Stefan B.;Giusti, Andrea;Althoff, Matthias
Velocity Estimation of Robot Manipulators: An Experimental Comparison
IEEE Open Journal of Control Systems
2023
2
1-11

Gressenbuch, Luis;Esterle, Klemens;Kessler, Tobias;Althoff, Matthias
MONA: The Munich Motion Dataset of Natural Driving
2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC)
2022

Giusti, Andrea;Liu, Stefan B.;Althoff, Matthias
Interval-Arithmetic-Based Robust Control of Fully Actuated Mechanical Systems
IEEE Transactions on Control Systems Technology
2022
30
4
1525--1537