… In this work, the uncertain states are estimated by a zonotope considering that all the
uncertainties are also bounded by zonotopes. Based on a recursive procedure, estimation errors …

… zonotopes between the prediction zonotopes and the measurement zonotopes to be used
by a set of distributed estimators. The sizes of these intersection zonotopes are minimized by …

… Since the intersection of constrained zonotopes is also a constrained zonotope as in (7), we
can use this emptiness check to enforce collisionavoidance (ie, non-intersection) constraints…

… This motivates us to study the lattice points in Π(a+k ρ) = Π(a)+kΠ( ρ), or more generally the
lattice points in a polytope plus dilating zonotope. … Ehrhart theory of lattice zonotopes A …

… We prove a natural bijection between the polytopal tilings of a zonotope Z by zonotopes, and
the one-element-liftings of the oriented matroid M (Z) associated with Z. This yields a simple …

We provide a polynomial time algorithm for computing the universal Gr\" obner basis of any
polynomial ideal having a finite set of common zeros in fixed number of variables. One …

This paper presents the Neural Network Verification (NNV) software tool, a set-based
verification framework for deep neural networks (DNNs) and learning-enabled cyber-physical …

We show that the Minkowski sum of the Voronoi polytope of the root lattice and the zonotope
is a 7-dimensional parallelohedron if and only if the set consists of minimal vectors of the …

… By means of fault detectability indices and matrix, we analyze and construct the fault estimation
zonotope to estimate occurred actuator faults. Therefore, the optimal fault estimation filter …

… In particular, ZPC computes the data-driven reachable set based on a matrix zonotope
recursion starting from the measured output y ( t ) . The matrix zonotope recursion utilizes the …