One-Shot Reachability Analysis of Neural Network Dynamical Systems
… , polytope [29], ellipsoid [17], zonotope [30], or polynomial zonotope [14]. In this work, we
compare … integrating taylor models and zonotopes,” in Proceedings of the AAAI Conference on …
compare … integrating taylor models and zonotopes,” in Proceedings of the AAAI Conference on …
Reliability-aware zonotopic tube-based model predictive control of a drinking water network
B Khoury, F Nejjari Akhi-Elarab… - … journal of applied …, 2022 - upcommons.upc.edu
… accordingly described as zonotopes generated from the known zonotopic bounded set of
the demand uncertainty δD. RPI sets are subsequently utilized in the tightening of original state …
the demand uncertainty δD. RPI sets are subsequently utilized in the tightening of original state …
[HTML][HTML] Special issue on interval estimation applied to diagnosis and control of uncertain systems
… A Distributed Zonotopic and Gaussian Kalman Filter is proposed where each network node
implements a local state estimator using symbolic Zonotopes and Gaussian Noise Mergers. …
implements a local state estimator using symbolic Zonotopes and Gaussian Noise Mergers. …
Discriminant amoebas and lopsidedness
J Forsgård - Journal of Commutative Algebra, 2021 - projecteuclid.org
… A-discriminant together with a certain zonotope Z covers the argument … Our focus lies instead
with the zonotope Z. The “dual … coincides with the boundary of the zonotope Z (Lemma 4.5) …
with the zonotope Z. The “dual … coincides with the boundary of the zonotope Z (Lemma 4.5) …
Polar: A polynomial arithmetic framework for verifying neural-network controlled systems
We present POLAR (The source code can be found at https://github.com/ChaoHuang2018/POLAR_Tool
. The full version of this paper can be found at https://arxiv.org/abs/2106.13867. )…
. The full version of this paper can be found at https://arxiv.org/abs/2106.13867. )…
Tractable robust MPC design based on nominal predictions
I Alvarado Aldea, P Krupa García… - Journal of Process …, 2022 - idus.us.es
… interiors; and set W is a (convex) zonotope, ie, an affine mapping of the unitary box of a certain
dimension M … We note that we consider W as a zonotope to simplify future developments. …
dimension M … We note that we consider W as a zonotope to simplify future developments. …
[HTML][HTML] Comparison of advanced set-based fault detection methods with classical data-driven and observer-based methods for uncertain nonlinear processes
… The zonotope methods are not covered as they are not the main contribution of this paper
and require significant additional background. The reader is referred to Kühn, 1998, Alamo et …
and require significant additional background. The reader is referred to Kühn, 1998, Alamo et …
Interval Estimation for Discrete-Time Switched Linear Systems Based on L∞ Observer and Ellipsoid Analysis
… based for instance on zonotope [5]… zonotope-based estimation is the tradeoff between
accuracy and computation burdens. During the propagation process, the dimensions of zonotopes …
accuracy and computation burdens. During the propagation process, the dimensions of zonotopes …
[HTML][HTML] Euclidean minimum spanning trees with independent and dependent geometric uncertainties
R Gitik, O Bartal, L Joskowicz - Computational Geometry, 2021 - Elsevier
… points do not overlap, ie, that their zonotopes do not intersect. When the uncertainty zones of
… Computing the two zonotopes and testing if they intersect can be done in O ( k log k ) time …
… Computing the two zonotopes and testing if they intersect can be done in O ( k log k ) time …
Feasible region: An actuation-aware extension of the support region
… and, in this case, Zτ is a zonotope centered at the origin (see Appendix A). In all the other
cases, the hypercube Zτ will still represent a zonotope but its center will not correspond to the …
cases, the hypercube Zτ will still represent a zonotope but its center will not correspond to the …