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 …
[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 …
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 …
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 …
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 …
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 …
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 …
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
… 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, …
closed under such operations. We underapproximate this Minkowski difference with a zonotope, …