… tion method based on zonotopes is proposed for switched sys… output, an intersection zonotope
is constructed based on mode-… performance for the intersection zonotope is addressed. …

… Zonotopes have emerged as a popular set representation since important operations such
… Furthermore, we provide comparisons with ellipsoids and constrained zonotopes as set …

… zonotope technique. An optimization method for computing a tight zonotope enclosure of the
constrained zonotope is … Then the search area is further simplified into an optimal zonotope. …

… The main objective of this article is to design an optimal input signal such that the healthy
output zonotope can be separated from the faulty output zonotope for discrete-time systems …

… -based iterative method and a simplified capability zonotope to analyze the operational-…
the initial capability zonotope based on the Minkowski sum. In the simplified zonotope capability …

… to characterize the size of state zonotope and derive linear programming conditions. First, …
zonotope. To be more realistic, the mode-dependent weighted PGR of the resulting zonotope …

… The purpose of this article is to design an optimal FDO and zonotope-based residual …
To be more specific, one needs to design dynamic ETM in (3), FDO in (7), and zonotopebased …

… Since each generated zonotope may intersect with its neighbour zonotopes or the
boundaries of the state space, we can check the relation of the boundaries of all generated …

… Since the intersection of constrained zonotopes is also a constrained zonotope as in (7), we
can use this emptiness check to enforce collisionavoidance (ie, non-intersection) constraints…

This paper presents the Neural Network Verification (NNV) software tool, a set-based
verification framework for deep neural networks (DNNs) and learning-enabled cyber-physical …