Author:Matthias Althoff

Publications

Keyphrases

affine arithmetic, algorithmic verification, Applied verification, ARCH-COMP3, autonomous vehicles2, benchmark, C2E2, collision avoidance, competition, constrained zonotopes, continuous systems, control theory, CORA7, differential-algebraic equations, dynamical systems, ellipsoidal operations, Ellipsoidal Toolbox, ellipsoids2, Flow*, formal methods, formal verification3, guaranteed state estimation, hybrid systems8, Hydra2, Hylaa, Hylaa-Continuous, interval arithmetic2, interval observers, INTLAB, JuliaReach3, linear continuous dynamics3, MATLAB2, motion planning, Neural Network Control Systems, neural networks, nonlinear dynamics2, nonlinear systems, power systems, propagation-based observers, reachability3, reachability analysis2, region of attraction, rigorous function bounds, robustness analysis, set-representations, SpaceEx2, strip-based observers, Taylor models, tool, tools3, traffic simulation, transient stability, verification2, XSpeed, zonotopes.