Efficient computation of reachable sets of linear time-invariant systems with inputs

A Girard, CL Guernic, O Maler - International workshop on hybrid systems …, 2006 - Springer
… A planar zonotope with three generators is depicted in Figure 1. Zonotopes admit a very
compact representations relative to their number of vertices or faces. A generic zonotope of …

Dynamic event-triggered fault detection via zonotopic residual evaluation and its application to vehicle lateral dynamics

X Wang, Z Fei, H Yan, Y Xu - IEEE Transactions on Industrial …, 2020 - ieeexplore.ieee.org
… The purpose of this article is to design an optimal FDO and zonotope-based residual …
To be more specific, one needs to design dynamic ETM in (3), FDO in (7), and zonotopebased …

[PDF][PDF] One Improvement on Zonotope Guaranteed Parameter Estimation

W Jian-hong, L Fei-fei, T Yan-yuan - Science Journal of Circuits …, 2018 - article.jocssp.org
This paper studies the guaranteed state estimation in terms of zonotope, and does some
improvements for nonlinear discrete time system with a bounded description of noise and …

[PS][PS] On rhombic dodecahedra

K aroly Bezdek - Contributions to Algebra and Geometry, 2000 - gwdg.de
In this note we prove that the intrinsic i-volume of any d-dimensional zonotope generated by
d+ 1 (resp. d) line segments and containing a d-dimensional unit ball in Ed is at least as …

[PDF][PDF] Zonotope techniques for reachability analysis

A Girard - Workshop Topics in Computation and Control, 2006 - lsv.fr
… Detection of the intersection of a zonotope with a guard. 2. Computation of this intersection
- The intersection of zonotope with a band is not a zonotope. - Over-approximation algorithms…

Reachability-based Control Synthesis under Signal Temporal Logic Specifications

W Ren, R Jungers - 2022 American Control Conference (ACC), 2022 - ieeexplore.ieee.org
… Since each generated zonotope may intersect with its neighbour zonotopes or the
boundaries of the state space, we can check the relation of the boundaries of all generated …

On the ability of a cable-driven robot to generate a prescribed set of wrenches

S Bouchard, C Gosselin, B Moore - 2010 - asmedigitalcollection.asme.org
… 23 and later in this paper to build the zonotope. In fact, we will see that the faces of the
zonotope are supported by such hyperplanes. Because the analysis presented in Ref. 15 does …

Reachability analysis of linear systems with uncertain parameters and inputs

M Althoff, O Stursberg, M Buss - 2007 46th IEEE Conference on …, 2007 - ieeexplore.ieee.org
… Based on the computation of the reachable set of a single initial value, the reachable set
starting from a zonotope [7] is discussed in this section. A zonotope Z is a set such that: …

[PDF][PDF] A Concoction of Zonotope Abstraction and Constraint Programming for finding an Invariant

BKÉGS Putot - researchgate.net
Zonotope is represented by a center c ∈ Rn and generators g(i) ∈ Rn … Challenges
while combining zonotope abstraction and contraint solving Splitting with overlap A …

[PDF][PDF] Measuring Heterogeneity and Efficiency of Firms within the same Industry: a C++ plugin for Stata for computing the Zonotope

M Cococcioni - stata.com
… how to compute the zonotope geometrically, we will show how to use the zonotope command
to … In this section we introduce the Stata command zonotope. Also note that the software is …