… states that for any zonotope, the aforementioned space is … by giving a three-dimensional
zonotope whose space of non-… to give an example of a zonotope with disconnected flip graph of …

… by zonotopes A crucial aspect of reachability analysis is the choice of the set representation,
eg, ellipsoids [23] or polytopes [27]. We use zonotopes … In addition, zonotopes can be stored …

… First, zonotopes are used to contain the nonzero initial conditions of the system with time
delay, and an optimal zonotopic Kalman filter is designed by using an iterative replacement …

… the Zonotope abstract domain is suitable for neural network analysis. Building on AI2 and the
Zonotope … to neural networks as well as the Zonotope domain. In contrast to many existing …

In this paper, a confidence set-membership state estimator is proposed for a class of
polytopic linear parameter varying (LPV) systems with inexact scheduling variables. The set-…

… zonotope is a special convex polyhedron, namely one obtained by taking the Minkowski sum
of finitely many line segments. The zonotope … the zonotope. This completes the proof of (ii). …

… zonotopes can be used to design methods for real-time reachable set estimation. Althoff and
Krogh, 24 Blesa et al 25 introduce zonotopes … However, the methods using zonotopes are …

… In Chapter 5 we prove a classification of zonotopes under additional constraints, eg
vertex-transitive zonotopes and inscribed zonotopes that have all edges of the same length. While …

… b) The uncertainty vector u is given in a zonotope form: … Zonotope formulates u as the unknown
but bounded un… The high-dimensional zonotope obtained by the ReachFlow calculation …

… the problem that the order of identified zonotope increases persistently during iteration. …
zonotope-based closed-loop SMI approch [31]; and an RMPC is then developed on the zonotope …