Determinants and the volumes of parallelotopes and zonotopes

E Gover, N Krikorian - Linear Algebra and its Applications, 2010 - Elsevier
… In the last section, we consider zonotopes, obtain a new proof of the decomposition of a
zonotope into its generating parallelotopes, and obtain a volume formula for Z(A). © 2010 …

[HTML][HTML] Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes

M Althoff, O Stursberg, M Buss - Nonlinear analysis: hybrid systems, 2010 - Elsevier
zonotopes is, that they are not closed under intersection, ie the intersection of two zonotopes
is not a zonotope … , such that the intersection of zonotopes with guard sets has to be over-…

Modular static analysis with zonotopes

E Goubault, S Putot, F Védrine - International Static Analysis Symposium, 2012 - Springer
… sets is a zonotope, but the order we define on affine sets is stronger than the inclusion of
the geometric concretization: it is equivalent to the inclusion of the zonotopes describing the …

Zonotope bundles for the efficient computation of reachable sets

M Althoff, BH Krogh - 2011 50th IEEE conference on decision …, 2011 - ieeexplore.ieee.org
… However, zonotopes are not closed under intersection leading to challenges … zonotope
bundles as the intersection of zonotopes (without explicitly computing the intersection). Zonotope

Zonotope/hyperplane intersection for hybrid systems reachability analysis

A Girard, CL Guernic - … Workshop on Hybrid Systems: Computation and …, 2008 - Springer
zonotopes. We choose an integration step τ = T/(N +1) and compute a sequence of zonotopes
… We do not detail how the first zonotope of the sequence, Ω0, is computed (see [7]). Then, …

Robust fault detection using zonotope‐based set‐membership consistency test

A Ingimundarson, JM Bravo, V Puig… - … journal of adaptive …, 2009 - Wiley Online Library
… In this article, the parameter set is bounded with zonotopes, which include … based on
zonotopes was presented to deal with time-variant systems. This article shows that the zonotope

A new approach for guaranteed state estimation by zonotopes

VTH Le, T Alamo, EF Camacho, C Stoica… - IFAC Proceedings …, 2011 - Elsevier
This paper proposes a methodology for guaranteed state estimation of linear discrete-time
systems in the presence of bounded disturbances and noises. This aims at computing an …

Robust fault detection with unknown-input interval observers using zonotopes

P Guerra, V Puig, M Witczak - IFAC Proceedings Volumes, 2008 - Elsevier
This paper presents the problem of robust fault detection using unknown-input interval
observers. These observers face the robustness problem using two complementary strategies. …

Verification of uncertain embedded systems by computing reachable sets based on zonotopes

M Althoff, O Stursberg, M Buss - IFAC Proceedings Volumes, 2008 - Elsevier
… not a zonotope in general; the same is true for the intersection of two zonotopes. This paper
presents a solution to this problem by transforming the representation of a zonotope first into …

The zonotope abstract domain taylor1+

K Ghorbal, E Goubault, S Putot - International conference on computer …, 2009 - Springer
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 …