… In this work we use intervals and zonotopes (Appendix H), … ing transformers for the zonotope
domain and C1 continuous, … , and the product of two zonotopes introduced. These can then …

We consider the decidability of state-to-state reachability in linear time-invariant control systems
over continuous time. We analyze this problem with respect to the allowable control sets, …

… approximations, the zonotope based approximation does not … Compared to SAMBA (polytope
and zonotope), NNV offers a … SAMBA (zonotope) because the zonotope approximation is …

The scope of this paper is the design of an interval observer bundle for the guaranteed state
estimation of an uncertain induction machine with linear, time-varying dynamics. These …

… A convex body M is called a zonotope if it is a Minkowski sum … zonotope, while a cross-polytope
Bn 1 is not a zonotope. A convex body is called a zonoid, in case it is a limit of zonotopes…

… z −v ∈ Z}, is a zonotope. In fact, this zonotope is identical to the zonotope generated by a
credit … Conveniently, both Zi−1 and Pi−1 are zonotopes, so our sampling process naturally sets …

… We also show that the restriction of the decomposition to the zonotope ZD (via ψ) is exactly
the one used to derive Theorem 1.2(2) (eg Figure 7(b)). Hence we get a combinatorial proof …

Deep Neural Network-based systems are now the state-of-the-art in many robotics tasks, but
their application in safety-critical domains remains dangerous without formal guarantees on …

… An ellipsoid is used to outer bound the convex polytopic set for simplicity as it has lesser
computational complexity than a zonotope, a polytope, and an orthotope. We define the …

… zonotope shape matrix. This paper proposes a time-varying parameter modeling … on
zonotope-ellipsoid double filtering technique. Considering the time-varying parameters, a zonotope …