… ] typically uses convex domains such as intervals, octagons, zonotopes or polyhedra [11,13,15,18,27]. …
However, we are interested in relational domains such as octagons, zonotopes or …

… arithmetic based abstract domains - is the zonotope including the inputs and variables of the
program: the parameterization of zonotopes by affine forms defines a functional abstraction, …

… Our result links Zonotopes inclusion with the existence of a sequence of dissimilarity
preserving/reducing operations, as the Lorenz curve is related to the existence of a sequence of …

This paper deals with conservative reachability analysis of a class of hybrid systems with
continuous dynamics described by linear differential inclusions, convex invariants and guards, …

… For this reason, we call the resulting zonotope a semiorder zonotope. Two views of this
zonotope are shown in Figure 7.21. The center of the left figure is the “north pole” of the zonotope…

We present an adaptive method for computing a robust polygonal approximation of an implicit
curve in the plane that uses affine arithmetic to identify regions where the curve lies inside …

… Another techniques are based on approximations of sets by domains of some fixed shape
such as ellipsoids, parallelepipeds, zonotopes (see, for example,[3, 5, 7, 8, 9, 10, 11, 12, 13, 14…

We introduce a recurrence which we term the multidimensional cube recurrence, generalizing
the octahedron recurrence studied by Propp, Fomin and Zelevinsky, Speyer, and Fock …

… This zonotope is spanned by the generators drawn in its center. The box â1 × â2 (light gray)
… The geometrical concretisation γ(A) is a center symmetric polytope called zonotope. The …

… Another approach is to approximate convex sets by domains of some fixed shape such as
ellipsoids, parallelepipeds, zonotopes (see, for example,[2, 3, 5, 6, 7, 8, 9, 12] and references …