… the problem of CPS vulnerability analysis using zonotopes, which motivates our work. … if
the obtained zonotope is unbounded, a CPS is safe if the obtained zonotope is enclosed by a …

… where c is the center of the zonotope and H = [h1, ..., hm] the generator matrix. Hereinafter
zonotopes … and Minkowski sum operations are also zonotopes computed as LZ = 〈Lcz, LHz〉 …

… the PRS with zonotopes using an open-source toolbox called CORA [25]. A zonotope is a
set … Third, since for any k, a plan has pplan(0,k)=0, we provide an initial condition zonotope Z …

… We denote sets with bold letters and need three type of convex sets: intervals, polytopes and
zonotopes. The calculation of the sets is done with the Matlab toolbox CORA [3]. An interval …

… are closed under these operations (ie the Minkowski sum of two zonotopes is a zonotope)
and … Unfortunately, zonotopes in general are not closed under intersection and the conversion …

… of the zonotope only affected by faults and \( p_{f}(0) = 0 \) at time step \( k=0\). We recursively
provide a zonotope that bounds the uncertain state \( x(k+1) \) in the following theorem. …

This study addresses the event‐triggered fault detection for a class of discrete‐time systems
with unknown but bounded external disturbance and measurement noise. In order to save …

… In the framework of zonotopes, a verification engine for ReLU neural networks called AI2 …
abstracted as zonotopes, and reasoning about their behaviors use operations over zonotopes. …

… It is known that the shape and size of a zonotope are determined by its generator matrix.19
We use the F-norm of the generator matrix of a zonotope to describe its size (see Definition 4)…

… The membership functions errors are bounded within convex sets via the properties of
zonotopes and interval matrices. An offline table stores a series of structures that include nested …