79 citations · 216 across the 12 of their papers we have counts for
3 papers · 1 filter
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…
Utilizing Dependencies to Obtain Subsets of Reachable Sets
Niklas Kochdumper, Bastian Schürmann, Matthias Althoff
Reachability analysis, in general, is a fundamental method that supports formally-correct synthesis, robust model predictive control, set-based observers, fault detection, invarian…
Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
Niklas Kochdumper, Matthias Althoff
We introduce sparse polynomial zonotopes, a new set representation for formal verification of hybrid systems. Sparse polynomial zonotopes can represent non-convex sets and are gene…