This paper presents an approach to safety verification of a controlled cooperative platoon of
vehicles. To guarantee collision free operation, spacing errors must not exceed critical …

… representation named the hybrid zonotope. The hybrid zonotope builds upon a combination
of … It is shown that the hybrid zonotope is equivalent to the union of an exponential number of …

… of hybrid zonotopes. The addition of these set operations proves the hybrid zonotope’s …
be embedded within the hybrid zonotope set definition. A numerical example using hybrid …

… parallelotope P and a zonotope Z ( U ) , where U is the set of vectors used to generate the
zonotope. In this … Using this we classify such zonotopes for some highly symmetric lattices. …

… or negative zonotope. We thus call these line segments generators of the zonotope. The
generators further receive the characterization positive or negative depending on the zonotope …

This paper deals with the problem of guaranteed distributed estimation under an asynchronous
communication scheme. The objective is to estimate the state of a perturbed linear plant …

This paper addresses the fault detection and isolation for a class of discrete-time Markovian
jump system with generally bounded transition probabilities. The proposed method is mainly …

… zonotope is sharper at that vertex—and such vertices influence the convex hull more. If …
zonotope is nearly flat around a vertex, then this vertex does not contribute much to the zonotope’…

… Our algorithm sequentially linearizes the dynamics, and uses constrained zonotopes for set
… This Minkowski difference needs to be represented as a constrained zonotope to enable …

… In this work, the uncertain evolution sets are approximated by zonotopes [7] that provide
better … To obtain better approaches in this paper it is proposed to use zonotopes [7]. …