In this paper, we consider the problem of verifying stability of computer control systems whose
behavior can be modeled by nearly periodic linear impulsive systems. In these systems, …

… tional burden, the zonotope method has been widely … original zonotope is outer-approximated
by a new zonotope with … the order reduction operations in the zonotope method, but also …

… Furthermore, we introduce the flow zonotope, which is the zonotope associated with the …
and flow zonotopes. Because of its remarkable arithmetic behaviour, the graphic zonotope leads …

… update) is restrained into a zonotope with minimum F -radius at each … of zonotopes, desired
zonotopes are obtained that contain the estimation errors, and the F -radii of these zonotopes …

… when deciding for zonotopes to represent reachable sets of … of different methods for
zonotope/hyperplane intersection. These … We thereafter propose zonotope/halfspace and …

… we investigate the zonotope parameter identification algorithm … The zonotope parameter
identification algorithm computes a … To guarantee our derived zonotope not growing unbounded …

The lower bound for the volume of the zonotope for John-basis had been given by Ball. In
this paper, a simple proof of Ball’s inequality was first provided, then the result of Ball was …

… the original FWF zonotope algorithm in [3] can be improved by a trivial modification of an
inequality. By comparing the improved algorithm with the best possible zonotope algorithm via …

… performed on zonotopes in this paper is linear transformation. Let H be a linear transformation
matrix and W a zonotope, then by applying the linear transformation, another zonotope X …

… Our approach generalizes and improves upon prior work using zonotope transformers
and we extend to Lipschitz estimation of neural networks with large output dimension. This …