Benutzer: Gast  Login
Sortieren nach:
und:
Mehr ...

Markgraf, Hannah;Althoff, Matthias
Safe Multi-Agent Reinforcement Learning for Price-Based Demand Response
2023 IEEE PES Innovative Smart Grid Technologies Europe (ISGT EUROPE)
IEEE
2023

Mehr ...

Ladner, Tobias;Althoff, Matthias
Specification-Driven Neural Network Reduction for Scalable Formal Verification
arxiv
2023
May

Mehr ...

Alanwar, Amr;Gaßmann, Victor;He, Xingkang;Said, Hazem;Sandberg, Henrik;Johansson, Karl H.;Althoff, Matthias
Privacy-preserving set-based estimation using partially homomorphic encryption
European Journal of Control
2023
71

Mehr ...

Alanwar, Amr;Rath, Jagat Jyoti;Said, Hazem;Johansson, Karl Henrik;Althoff, Matthias
Distributed set-based observers using diffusion strategies
Journal of the Franklin Institute
2023
360
10
6976-6993

Mehr ...

Althoff, Matthias
Checking and Establishing Reachset Conformance in CORA 2023
Proc. of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems
2023

Mehr ...

Gaßmann, Victor;Althoff, Matthias
Polynomial Controller Synthesis of Nonlinear Systems With Continuous State Feedback Using Trust Regions
IEEE Open Journal of Control Systems
2023
2
310–324

Mehr ...

Wetzlinger, Mark;Kochdumper, Niklas;Bak, Stanley;Althoff, Matthias
Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets
IEEE Transactions on Automatic Control
2023
68
12
7771-7786

Mehr ...

Kochdumper, Niklas;Schilling, Christian;Althoff, Matthias;Bak, Stanley
Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes
NASA Formal Methods
2023

Mehr ...

Gruber, Felix;Althoff, Matthias
Scalable Robust Safety Filter With Unknown Disturbance Set
IEEE Transactions on Automatic Control
2023
68
12
7756-7770

Mehr ...

Pereira, Aaron;Baumann, Mareike;Gerstner, Jonas;Althoff, Matthias
Improving Efficiency of Human-Robot Coexistence While Guaranteeing Safety: Theory and User Study
IEEE Transactions on Automation Science and Engineering
2023
20
4
2706–2719