We present a tight bound on the exact maximum complexity of Minkowski sums of polytopes
in ℝ 3 . In particular, we prove that the maximum number of facets of the Minkowski sum of k …

This paper briefly reviews the state of the art in Fault detection and Isolation (FDI), and
describes a test-case for in-flight fault diagnosis. The main concepts are recalled, the links …

We propose an algorithm for computing the facets of a pure connected polyhedral fan up to
symmetry. The fan is represented by an oracle. With suitable implementations of the oracle …

La détection de défaut est un champ de recherche très large. Les approches à base de
modèle ont reçu une attention particulière. Parfois les incertitudes du modèle créent des …

We investigate solution techniques for numerical constraint satisfaction problems and
validated numerical set integration methods for computing reachable sets of nonlinear hybrid …

A classic theorem by Steinitz states that a graph G is realizable by a convex polyhedron if and
only if G is 3-connected planar. Zonohedra are an important subclass of convex polyhedra …

A control sequence gives the intensities of the primaries for a pixel of a display device. The
display gamut, ie., the set of all the colors that a display can produce, is a zonohedral subset …

A method for design verification of power electronics systems is proposed. In this method, the
system is described by a linear switched state-space representation, where some or all of …

L’approximation garantie de l’espace d’état atteignable par un système dynamique continu
incertain, permet de contribuer à la résolution de problèmes en automatique. Dans cette …

Symbolic models are abstract descriptions of continuous systems in which symbols represent
aggregates of continuous states. In the last few years there has been a growing interest in …