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

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 …

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

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 …

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

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 …

Logical Zonotope: A Set Representation for Binary Vectors

A Alanwar, FJ Jiang, S Amin, KH Johansson - arXiv preprint arXiv …, 2022 - arxiv.org
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) …

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) …

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

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 …