Matthias Althoff

Available identifiers

zbMath Open althoff.matthiasMaRDI QIDQ988779

List of research outcomes

Publication	Date of Publication	Type
Scalable Robust Safety Filter With Unknown Disturbance Set	2024-02-29	Paper
Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets	2024-02-29	Paper
Adaptive parameter tuning for reachability analysis of nonlinear systems	2024-02-21	Paper
AROC	2024-02-21	Paper
Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions	2024-02-21	Paper
Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis	2024-02-21	Paper
Formal Safety Net Control Using Backward Reachability Analysis	2023-09-25	Paper
Constrained polynomial zonotopes	2023-08-16	Paper
A formally verified motion planner for autonomous vehicles	2023-07-28	Paper
Distributed set-based observers using diffusion strategies	2023-07-11	Paper
Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges	2023-06-26	Paper
Privacy-preserving set-based estimation using partially homomorphic encryption	2023-06-21	Paper
M-Representation of Polytopes	2023-03-09	Paper
Adaptive reachability algorithms for nonlinear systems using abstraction error analysis	2022-10-14	Paper
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications	2022-03-18	Paper
On the co-NP-completeness of the zonotope containment problem	2022-01-19	Paper
Comparison of guaranteed state estimators for linear time-invariant systems	2021-11-19	Paper
Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis	2021-09-09	Paper
Optimizing Sets of Solutions for Controlling Constrained Nonlinear Systems	2021-05-28	Paper
Utilizing dependencies to obtain subsets of reachable sets	2021-01-25	Paper
Reachability analysis for hybrid systems with nonlinear guard sets	2021-01-25	Paper
Reachability Analysis of Large Linear Systems With Uncertain Inputs in the Krylov Subspace	2020-10-07	Paper
Set-based control for disturbed piecewise affine systems with state and actuation constraints	2020-05-07	Paper
Representation of Polytopes as Polynomial Zonotopes	2019-10-16	Paper
STL model checking of continuous and hybrid systems	2018-10-25	Paper
Time-triggered conversion of guards for reachability analysis of hybrid automata	2017-12-01	Paper
Reachability Analysis of Large Linear Systems with Uncertain Inputs in the Krylov Subspace	2017-12-01	Paper
Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems	2017-07-11	Paper
Reachset Conformance Testing of Hybrid Automata	2017-05-19	Paper
Reachability Analysis of Nonlinear Differential-Algebraic Systems	2017-05-16	Paper
Reachable set computation for uncertain time-varying linear systems	2017-05-16	Paper
Avoiding geometric intersection operations in reachability analysis of hybrid systems	2017-05-16	Paper
Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets	2017-05-16	Paper
Energy-consistent, Galerkin approach for the nonlinear dynamics of beams using intrinsic equations	2013-09-05	Paper
Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes	2010-08-19	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Matthias Althoff