Static analysis by abstract interpretation [1] aims at automatically inferring properties on the
behaviour of programs. We focus here on a specific kind of numerical invariants: the set of …

We present a novel approach to efficiently compute tight non-convex enclosures of the image
through neural networks with ReLU, sigmoid, or hyperbolic tangent activation functions. In …

… zonotope is the Minkowski sum of finitely many segments. Here, we use centered zonotopes:
the zonotope … We need to study this function when D is the zonotope distribution D = DZ(V ) …

… In static analysis, the zonotope domain, a relational abstract domain … of zonotopes. We also
present a new algorithm based on semi-definite programming to project a quadratic zonotope…

… here, a logical product of zonotopes with intervals, in its … sets as the combination of zonotopes
with polyhedric domains and … product of zonotopes with other classical abstract domains. …

… uncertainty bounded by a zonotope is propagated to the residuals, thereby determining
alarm limits bounded also by a zonotope. When a residual is outside this zonotope, it is argued …

… In this paper, we define the Orlicz zonotopes Zφ. Using the notion of shadow systems, we
give a sharp upper estimate for the volume of Zφ and a sharp lower estimate for the volume …

… zonotope set representation. Beyond reachability analysis, it is shown that the set of optimizers
represented by a hybrid zonotope … programs as a collection of constrained zonotopes. …

… However, since intervals are not capable of capturing the dependencies between state
variables, we propose the use of constrained zonotopes (CZs) as an additional step to both IHISE …

… (UBB) noises reside within a sequence of zonotopes. For the purpose of saving energy and
… set of zonotopes. According to the properties of zonotopes, a set of zonotopes confining the …