… We compare our approach with the zonotope and polytope methods in two aspects including
verification time and conservativeness of the results. To do that, we train 3 CNNs in small, …

… as a union zonotope because it represents a union of zonotopes without intersection. Given
two IoU zonotopes Z and Z′, we represent the IoU zonotope resulting from their intersection …

We consider the following case of quadratic optimization: given Q∈ Rn× n with rank r and
given p∈ Rn and x≤ x∈ Rp (where inequalities between vectors are understood …

This paper considers fault detection of uncertain linear parameter varying systems that have
polynomial dependence on parametric uncertainties. A conventional set-membership (SM) …

… a minimum total length zonotope containing k assigned … zonotopes in R2 centered in the
origin are considered and a method to approximate a given zonotope by means of zonotopes …

… Nous étudions donc ici le comportement asymptotique des courbes des zonotopes Zn/bn …
On va considérer d’abord les zonotopes Zn engendrés par une suite de variables aléatoires …

This paper considers actuator fault detection and isolation (FDI) problem for a class of linear
discrete-time systems with constant time-delay. Based on delay-free representation, a novel …

… the analysis with the Hybrid Zonotope domain. For all abstract layers, we describe their
effect on a given hybrid zonotope h with m correlated error coefficients, producing a new hybrid …

… T x ≤ bu}, we may only need to evaluate the range of the transformed zonotope a T Z, the
range has no intersection with [bl,bu] if and only if the zonotope has no intersection with the …

… An alternative to zonotope bundles are constrained zonotopes, which are computationally
more demanding, but operations on them are exact for Minkowski sum and convex hull [18]. …