On the Quasivector Space of Zonotopes in the Plane
S Markov - PAMM: Proceedings in Applied Mathematics and …, 2005 - Wiley Online Library
… In this work we discuss the inclusion relation between centred zonogons (centred
zonotopes in the plane). Our purpose is to use the implicit presentation of zonotopes as …
zonotopes in the plane). Our purpose is to use the implicit presentation of zonotopes as …
Volume estimates for Lp-zonotopes and best best constants in Brascamp–Lieb inequalities
D Alonso-Gutiérrez - Mathematika, 2010 - cambridge.org
Given some unit vectors a1,…,am∈ℝn that span all ℝn and some positive numbers θ1,…,θm,
we consider for every p≥1 the convex body We will give some upper bounds for the …
we consider for every p≥1 the convex body We will give some upper bounds for the …
Higher secondary polytopes for two-dimensional zonotopes
E Bullock, K Gravel - arXiv preprint arXiv:2011.01162, 2020 - arxiv.org
… For the whole subsection, we fix some zonotope ZV and when will refer to tilings of this
zonotope without specifying the zonotope ZV explicitly. We will make use of two particular tilings. …
zonotope without specifying the zonotope ZV explicitly. We will make use of two particular tilings. …
Mosaic Zonotope Shadow Matching for Risk-Aware Autonomous Localization in Harsh Urban Environments
D Neamati, S Bhamidipati, G Gao - arXiv preprint arXiv:2205.10223, 2022 - arxiv.org
… set-valued localization with computationally efficient zonotope set representations. While
existing … We extend our prior work to propose Mosaic Zonotope Shadow Matching (MZSM) that …
existing … We extend our prior work to propose Mosaic Zonotope Shadow Matching (MZSM) that …
[HTML][HTML] Functional sets with typed symbols: Mixed zonotopes and Polynotopes for hybrid nonlinear reachability and filtering
C Combastel - Automatica, 2022 - Elsevier
Verification and synthesis of Cyber–Physical Systems (CPS) are challenging and still raise
numerous issues so far. In this paper, based on a new concept of mixed sets defined as …
numerous issues so far. In this paper, based on a new concept of mixed sets defined as …
Guaranteed state estimation for nonlinear discrete-time systems via indirectly implemented polytopic set computation
… of these individual zonotopes whose intersection forms the … The intersection of zonotopes
was called a zonotope bundle in [… of a zonotope or the representation of a zonotope in the …
was called a zonotope bundle in [… of a zonotope or the representation of a zonotope in the …
Diagnostic et approches ensemblistes à base de zonotopes
A Lalami - 2008 - theses.fr
… (by intervals and, more precisely, by zonotopes, a particular class of polytopes), this work …
Using reachability algorithms based on zonotopes to control the dependency problem and …
Using reachability algorithms based on zonotopes to control the dependency problem and …
Spatio-temporal constrained zonotopes for validation of optimal control problems *
E Bertin, B Hérissé, JA dit Sandretto… - 2021 60th IEEE …, 2021 - ieeexplore.ieee.org
… known as zonotopes is derived from intervals [6]. Zonotopes have been used to over
approximate the reachable set of dynamic systems [7], [8]. However zonotopes are not closed under …
approximate the reachable set of dynamic systems [7], [8]. However zonotopes are not closed under …
Extensions of Polynomial Zonotopes and their Application to Verification of Cyber-Physical Systems
N Kochdumper - 2022 - mediatum.ub.tum.de
… zonotopes for computing outer-approximations of reachable sets for nonlinear continuous
systems. Next, we show that with sparse polynomial zonotopes … polynomial zonotopes, we …
systems. Next, we show that with sparse polynomial zonotopes … polynomial zonotopes, we …
Combining zonotope abstraction and constraint programming for synthesizing inductive invariants
… use zonotopes, a sub-polyhedric domain that shows a good compromise between cost and
precision. As zonotopes … on zonotopes, such as a novel splitting algorithm based on paving …
precision. As zonotopes … on zonotopes, such as a novel splitting algorithm based on paving …