Matthias Althoff

From MaRDI portal
Person:988779

Available identifiers

zbMath Open althoff.matthiasMaRDI QIDQ988779

List of research outcomes

PublicationDate of PublicationType
Scalable Robust Safety Filter With Unknown Disturbance Set2024-02-29Paper
Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets2024-02-29Paper
Adaptive parameter tuning for reachability analysis of nonlinear systems2024-02-21Paper
AROC2024-02-21Paper
Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions2024-02-21Paper
Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis2024-02-21Paper
Formal Safety Net Control Using Backward Reachability Analysis2023-09-25Paper
Constrained polynomial zonotopes2023-08-16Paper
A formally verified motion planner for autonomous vehicles2023-07-28Paper
Distributed set-based observers using diffusion strategies2023-07-11Paper
Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges2023-06-26Paper
Privacy-preserving set-based estimation using partially homomorphic encryption2023-06-21Paper
M-Representation of Polytopes2023-03-09Paper
Adaptive reachability algorithms for nonlinear systems using abstraction error analysis2022-10-14Paper
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications2022-03-18Paper
On the co-NP-completeness of the zonotope containment problem2022-01-19Paper
Comparison of guaranteed state estimators for linear time-invariant systems2021-11-19Paper
Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis2021-09-09Paper
Optimizing Sets of Solutions for Controlling Constrained Nonlinear Systems2021-05-28Paper
Utilizing dependencies to obtain subsets of reachable sets2021-01-25Paper
Reachability analysis for hybrid systems with nonlinear guard sets2021-01-25Paper
Reachability Analysis of Large Linear Systems With Uncertain Inputs in the Krylov Subspace2020-10-07Paper
Set-based control for disturbed piecewise affine systems with state and actuation constraints2020-05-07Paper
Representation of Polytopes as Polynomial Zonotopes2019-10-16Paper
STL model checking of continuous and hybrid systems2018-10-25Paper
Time-triggered conversion of guards for reachability analysis of hybrid automata2017-12-01Paper
Reachability Analysis of Large Linear Systems with Uncertain Inputs in the Krylov Subspace2017-12-01Paper
Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems2017-07-11Paper
Reachset Conformance Testing of Hybrid Automata2017-05-19Paper
Reachability Analysis of Nonlinear Differential-Algebraic Systems2017-05-16Paper
Reachable set computation for uncertain time-varying linear systems2017-05-16Paper
Avoiding geometric intersection operations in reachability analysis of hybrid systems2017-05-16Paper
Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets2017-05-16Paper
Energy-consistent, Galerkin approach for the nonlinear dynamics of beams using intrinsic equations2013-09-05Paper
Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes2010-08-19Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Matthias Althoff