One-Shot Reachability Analysis of Neural Network Dynamical Systems

S Chen, VM Preciado, M Fazlyab - arXiv preprint arXiv:2209.11827, 2022 - arxiv.org
… , 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 …

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 …

[HTML][HTML] Special issue on interval estimation applied to diagnosis and control of uncertain systems

T Raïssi, V Puig, D Efimov - International Journal of Control, 2020 - Taylor & Francis
… 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. …

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

Polar: A polynomial arithmetic framework for verifying neural-network controlled systems

C Huang, J Fan, X Chen, W Li, Q Zhu - International Symposium on …, 2022 - Springer
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. )…

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

[HTML][HTML] Comparison of advanced set-based fault detection methods with classical data-driven and observer-based methods for uncertain nonlinear processes

B Mu, X Yang, JK Scott - Computers & Chemical Engineering, 2022 - Elsevier
… 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 …

Interval Estimation for Discrete-Time Switched Linear Systems Based on L Observer and Ellipsoid Analysis

M Dkhil, TN Dinh, Z Wang, T Raïssi… - IEEE Control Systems …, 2020 - ieeexplore.ieee.org
… 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

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

Feasible region: An actuation-aware extension of the support region

R Orsolino, M Focchi, S Caron, G Raiola… - IEEE Transactions …, 2020 - ieeexplore.ieee.org
… 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 …