… the use of zonotopes for state estimation has become very common. Zonotopes, which are
… Perhaps, the main limitation of zonotopes, as pointed out in [13], is that they are not closed …

… (i) We derive a geometric representation (convex hull between two zonotopes) for a super
set to the decision boundaries of a DNN in the form (Affine, ReLU, Affine). (ii) We demonstrate …

… zonotope of the zonotope resulting from the above step. Any technique that calculates the
over-… zonotope is called a zonotope order reduction technique and the resulting zonotope must …

… In this work, the order of a zonotope X refers to the number p of its … a zonotope X is the
Frobenius norm of its generator matrix H (that is, ||H||F = √tr(HT H)). The covariation of a zonotope …

… , we compute a Lipschitz zonotope in line 5 to provide guarantees. Next, we perform the
reachability recursion in line 6 given the previously computed zonotopes. Note that the Lipschitz …

… Therefore, we use zonotopes to estimate the output estimation sets and convert the zonotope
to … In this subsection, the method of converting a zonotope to its mathematically equivalent …

… We can use the zonotope structure of the permutahedron to compute the volume and …
We can use the zonotope structure of the permutahedron to compute the volume and Ehrhart …

… with tighter constraints derived from a zonotope-based disturbance propagation. The
worst-case disturbance reachable sets are computed from zonotopes combined with the mean-…

… (i) We derive a geometric representation (convex hull between two zonotopes) for a super
set to the decision boundaries of a DNN in the form (Affine, ReLU, Affine). (ii) We demonstrate …

… the advantages of constrained zonotopes over intervals in the detection of thermal faults
in Li-ion cells. As highlighted by the results, constrained zonotopes are able to provide a set-…