147 citations · 590 across the 30 of their papers we have counts for
3 papers · 1 filter
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…
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…