Template complex zonotopes: a new set representation for verification of hybrid systems
AS Adimoolam, T Dang - 2016 International Workshop on …, 2016 - ieeexplore.ieee.org
… zonotope, which extends the usual definition of zonotopes to the complex domain. Indeed,
the generators of a complex zonotope … Geometrically speaking, a template complex zonotope …
the generators of a complex zonotope … Geometrically speaking, a template complex zonotope …
Scalable Zonotope-Ellipsoid Conversions using the Euclidean Zonotope Norm
V Gaßmann, M Althoff - 2020 American Control Conference …, 2020 - ieeexplore.ieee.org
… a zonotope, we investigate approximations based on the maximum and minimum zonotope
norm… We provide new methods for conversions between zonotopes and ellipsoids for all four …
norm… We provide new methods for conversions between zonotopes and ellipsoids for all four …
Congruence and metrical invariants of zonotopes
E Gover - arXiv preprint arXiv:1401.4749, 2014 - arxiv.org
… The defining matrix A of a zonotope Z(A) ⊂ Rn determines the zonotope as both … zonotope
is also a convex polytope with centrally symmetric faces in all dimensions. When a zonotope …
is also a convex polytope with centrally symmetric faces in all dimensions. When a zonotope …
A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
M Maïga, N Ramdani, L Travé-Massuyès… - … in Computer Science, 2014 - Springer
… For completeness, we overview a preliminary version of an algorithm based on solving a
CSP, then we introduce a variant using zonotopes. These two methods will be compared on the …
CSP, then we introduce a variant using zonotopes. These two methods will be compared on the …
Improvement on set membership identification by zonotopes
W Chai, X Sun - Sixth International Symposium on …, 2006 - spiedigitallibrary.org
… taken into account by means of the zonotope in a direct and nonconservative … zonotope
and a strip is flawed. In this paper, an improved method describing the intersection of a zonotope …
and a strip is flawed. In this paper, an improved method describing the intersection of a zonotope …
The asymptotic number of lattice zonotopes
O Bodini, T Buffière - arXiv preprint arXiv:2106.01005, 2021 - arxiv.org
… zonotopes. In particular, we provide their average asymptotic diameter when n goes to infinity.
A zonotope … More particularly, a lattice zonotope Z (or integral zonotope) is a polytope for …
A zonotope … More particularly, a lattice zonotope Z (or integral zonotope) is a polytope for …
Logical Zonotope: A Set Representation for Binary Vectors
… zonotopes play for formally verifying dynamical systems defined over real vector spaces,
logical zonotopes … To showcase the utility of logical zonotopes, we illustrate three use cases: (1) …
logical zonotopes … To showcase the utility of logical zonotopes, we illustrate three use cases: (1) …
Matroids: h-vectors, zonotopes, and Lawrence polytopes
AM Dall - 2015 - upcommons.upc.edu
… zonotopes Z(M) and Z(L) generated by M and L, respectively. We show that the volumes of
these zonotopes … In Chapter 3 we exploit a well-known connection between the zonotope Z(A) …
these zonotopes … In Chapter 3 we exploit a well-known connection between the zonotope Z(A) …
A zonotope-based approach for manipulability study of redundant robot limbs
B Tondu - International Journal of Humanoid Robotics, 2013 - World Scientific
… Among the varieties of combinatorial properties attached to zonotopes one is of a … any
zonotope proved by Shephard in the 1970s,10 alternative presentations of this important zonotope …
zonotope proved by Shephard in the 1970s,10 alternative presentations of this important zonotope …
A calculus of complex zonotopes for invariance and stability verification of hybrid systems
SA Adimoolam - 2018 - tel.archives-ouvertes.fr
… of zonotopes, they have been extended to quadratic zonotopes [… Although a polynomial
zonotope and the complex zonotope … While a polynomial zonotope is described by a polynomial …
zonotope and the complex zonotope … While a polynomial zonotope is described by a polynomial …