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 …

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 …

Combining zonotope abstraction and constraint programming for synthesizing inductive invariants

B Kabi, E Goubault, A Miné, S Putot - Software Verification, 2020 - Springer
… 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 …

[HTML][HTML] A linear optimization oracle for zonotope computation

A Deza, L Pournin - Computational Geometry, 2022 - Elsevier
… computing the vertices of a zonotope from its set of generators… recovers the generators of a
zonotope from its set of vertices. … set, is a zonotope and when it is not a zonotope, to compute …

A Distributed Fault Detection Filter based on Zonotopes

B Yang, Y Wang - 2022 41st Chinese Control Conference …, 2022 - ieeexplore.ieee.org
Zonotope We propose the state bounding zonotopes Xi(k) for each agent, i = 1,...,l, ∀ ∈ N,
and the coupled states are considered in the zonotope. The … by the initial zonotopes, thus the …

Geometry of multiprimary display colors I: Gamut and color control

G Sharma, CE Rodríguez-Pardo - IEEE Access, 2021 - ieeexplore.ieee.org
… of the multiprimary gamut zonotope. Our characterization immediately … zonotopes, we
highlight how our work on gamut representations connects with and furthers the study of zonotopes

Between graphical zonotope and graph-associahedron

M Pešović, T Stojadinović - arXiv preprint arXiv:2209.12053, 2022 - arxiv.org
This manuscript introduces a finite collection of generalized permutohedra associated to a
simple graph. The first polytope of this collection is the graphical zonotope of the graph and …

Reachability analysis for a quadrotor UAV based on zonotopes

L Zhang, H Liu - 2022 41st Chinese Control Conference (CCC), 2022 - ieeexplore.ieee.org
The issue of obtaining an optimal solution for a quadrotor UAV system is investigated in this
paper for a set of initial states. The reachable set of states can be calculated if an initial set is …

Zonotope Order Reduction in Robust Estimation

CE Valero, R Paulen - 2022 23rd International Carpathian …, 2022 - ieeexplore.ieee.org
… (order of the zonotopes) along with the computational cost. Therefore, a zonotope order
reduction is necessary for real-time applicability. In this paper, a new zonotope order reduction …

Scalable zonotopic under-approximation of backward reachable sets for uncertain linear systems

L Yang, N Ozay - IEEE Control Systems Letters, 2021 - ieeexplore.ieee.org
… In this paper, we use zonotopes to achieve more scalable algorithms … zonotopes are not
closed under such operations. We underapproximate this Minkowski difference with a zonotope, …