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

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

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

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

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

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

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

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

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

Kochdumper, N.;Althoff, M.
Constrained polynomial zonotopes
Acta Informatica
2023
279–316