In this paper, the works on the analytical volume analysis for the controllable regions of the
linear discrete-time (LDT) systems in papers \cite{zhaomw202001} and \cite {zhaomw202004…

… , and the number of lattice points in a half-open zonotope. In particular, both models yield new
… convolution-like formula for the Ehrhart polynomials of lattice zonotopes will also be given. …

… The reachable set usually can be described by ellipsoid, common polyhedron, zonotope and
so on. Very recently, the zonotope-based method was applied to design an IO for SSs in [25…

This paper proposes a novel finite-frequency domain actuator fault detection method for
discrete-time linear system. By considering disturbances are unkown but bounded by zonotopes…

In this paper, the control ability with time attributy for the linear continuous-time (LCT) systems
are defined and analyzed by the volume computing for the controllability region. Firstly, a …

A quadrangulation on a closed surface is k-minimal if its shortest noncontractible cycle is of
length k and if any face contraction yields a noncontractible cycle of length less than k. We …

… from the inclusion of their zonotope representations. The zonotope inclusion criterion refines
(that … zonotopes that lie in the maximum dissimilarity zonotope and that include the similarity …

… We compare our approach with the zonotope and polytope methods in two aspects including
verification time and conservativeness of the results. To do that, we train 3 CNNs in small, …

… as a union zonotope because it represents a union of zonotopes without intersection. Given
two IoU zonotopes Z and Z′, we represent the IoU zonotope resulting from their intersection …

This paper considers fault detection of uncertain linear parameter varying systems that have
polynomial dependence on parametric uncertainties. A conventional set-membership (SM) …