79 citations · 216 across the 12 of their papers we have counts for
3 papers · 1 filter
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems
Mark Wetzlinger, Niklas Kochdumper, Matthias Althoff
Despite the possibility to quickly compute reachable sets of large-scale linear systems, current methods are not yet widely applied by practitioners. The main reason for this is pr…
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
Cees F. Verdier, Niklas Kochdumper, Matthias Althoff +1
We propose a counterexample-guided inductive synthesis framework for the formal synthesis of closed-form sampled-data controllers for nonlinear systems to meet STL specifications o…
Constrained Polynomial Zonotopes
Niklas Kochdumper, Matthias Althoff
We introduce constrained polynomial zonotopes, a novel non-convex set representation that is closed under linear map, Minkowski sum, Cartesian product, convex hull, intersection, u…