5 citations · 5 across the 1 of their papers we have counts for
3 papers
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…
Representation of Polytopes as Polynomial Zonotopes
Niklas Kochdumper, Matthias Althoff
We prove that each bounded polytope can be represented as a polynomial zonotope, which we refer to as the Z-representation of polytopes. Previous representations are the vertex rep…
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…