User: Guest  Login
Sort by:
and:
More ...

Eichelbeck, Michael;Markgraf, Hannah;Althoff, Matthias
Contingency-constrained economic dispatch with safe reinforcement learning
2022 21st IEEE International Conference on Machine Learning and Applications (ICMLA)
IEEE
2022

More ...

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

More ...

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

More ...

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

More ...

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

More ...

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

More ...

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

More ...

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

More ...

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

More ...

Geretti, Luca;Sandretto, Julien Alexandre Dit;Althoff, Matthias;Benet, Luis;Collins, Pieter;Duggirala, Parasara;Forets, Marcelo;Kim, Edward;Mitsch, Stefan;Schilling, Christian;Wetzlinger, Mark
ARCH-COMP22 Category Report Continuous and Hybrid Systems with Nonlinear Dynamics
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
EasyChair
2022