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 …
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-…
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 …
the geometric concretization: it is equivalent to the inclusion of the zonotopes describing the …
Zonotope bundles for the efficient computation of reachable sets
… However, zonotopes are not closed under intersection leading to challenges … zonotope
bundles as the intersection of zonotopes (without explicitly computing the intersection). 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, …
… 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
… 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 …
zonotopes was presented to deal with time-variant systems. This article shows that the zonotope …
A new approach for guaranteed state estimation by zonotopes
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 …
systems in the presence of bounded disturbances and noises. This aims at computing an …
Robust fault detection with unknown-input interval observers using zonotopes
This paper presents the problem of robust fault detection using unknown-input interval
observers. These observers face the robustness problem using two complementary strategies. …
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 …
presents a solution to this problem by transforming the representation of a zonotope first into …
The zonotope abstract domain taylor1+
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 …
behaviour of programs. We focus here on a specific kind of numerical invariants: the set of …
Related searches
- zonotope estimation
- zonotope set
- zonotope reachability
- zonotope fault detection
- nonlinear zonotope
- zonotope approximation
- constrained zonotope
- intersection zonotope
- zonotope kalman filter
- zonotope interval observer
- zonotope polytope
- zonotope order reduction
- zonotope state estimation
- zonotope set membership
- zonotope reachability analysis
- zonotope model predictive control