… Additionally, NNV supports over-approximate analysis for nonlinear plant models by
combining the star set analysis used for FFNNs with the zonotope-based analysis for nonlinear …

… In this work, reachable sets are represented by zonotopes due to their favorable … step by
doing the previous measurement update, we reduce the order of the corrected zonotope Z k …

… In this section, Problem 1 is addressed, assuming that the initial set is a zonotope bundle
(Lemma 1) or a constraint zonotope (Lemma 2). The strategy is defined below, however based …

… In this chapter, we investigate state estimation approaches based on zonotopes for descriptor
system (2.1). We propose two set-based approaches to use zonotope bounding uncertain …

… We therefore use Taylor models or polynomial zonotopes for representing reachable sets,
which allows us to combine our approach with many different reachability algorithms for …

… Finally in Section 4 we investigate the zonotope approach in production theory proposed
in [Hil] (1981), we generalize the Gini volume introduced in [DGMS] (2016) and we present a …

This invited lecture is a survey of our work over the last 12 years or so, dealing with the precise
analysis of numerical programs, essentially control programs such as the ones found in …

… zonotopes are no larger than the number of edge directions of the … zonotope is the Minkowski
sum of a set of edge directions. In the following, we will denote by Z(v1,...,vm) the zonotope …

… We also require the quadratic map of a zonotope, which is newly derived. … Using the
previously introduced operations on zonotopes and matrix zonotopes, we compute the set of states …

… zonotopes, polar zonotopes, and hyperplane arrangements. … arrangement associated with
the zonotope Πn−1. Following … simplicial complex J of proper faces of the polar zonotope Π∆ …