Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions

W Thomason, H Kress-Gazit - arXiv preprint arXiv:2105.06537, 2021 - arxiv.org
… We use constrained polynomial zonotopes (CPZs), first … A zonotope is the Minkowski
sum of a set of generating … Constrained polynomial zonotopes generalize zonotopes by (1) …

Towards a Convex Design Framework for Online Active Fault Diagnosis of LPV Systems

J Tan, S Olaru, F Xu, X Wang - IEEE Transactions on Automatic …, 2021 - ieeexplore.ieee.org
… F-size of two zonotopes Z1 and Z2. By computing the ratio of g1 −g2 … zonotopes on the
dispersity D(Z1,Z2) of two zonotopes Z1 and Z2. Similarly, the dispersity of a family of zonotopes is …

[HTML][HTML] Flight envelope estimation for helicopters under icing conditions via the zonotopic reachability analysis

HG Harno, Y Kim - Aerospace Science and Technology, 2020 - Elsevier
… A shorthand notation of a zonotope can be written as Z = ( g 0 , g 1 , … , g e ) . The zonotope
Z is … Here, A is the matrix zonotope of uncertain system matrices; X 0 is the zonotope of initial …

Watermark-based Proactive Defense Strategy Design For Cyber-Physical Systems With Unknown-but-bounded Noises

H Liu, Y Li, QL Han, T Ra - IEEE Transactions on Automatic …, 2022 - ieeexplore.ieee.org
… modeled by geometrical forms such as zonotopes [24], ellipsoids … Thus, the zonotope-based
set-membership method is … in this paper belongs to a zonotope, which is different from the …

Reachability-based trajectory design

S Kousik - 2020 - deepblue.lib.umich.edu
… computing the parameterized FRS, by using zonotope reachability instead of SOS programming.
… This paper generalizes the zonotope reachability developed in [KHV19] for redundant …

The arithmetic of Coxeter permutahedra/La aritmetica de los permutaedros de Coxeter.

F Ardua, M Beck, J McWhirter - Revista de la Academia Colombiana …, 2020 - go.gale.com
… much more subtle when the zonotope is not integral. However, we can still describe it for
almost integral zonotopes v + Z(U), which are obtained by translating an integral zonotope Z(U) …

Sok: Certified robustness for deep neural networks

L Li, X Qi, T Xie, B Li - arXiv preprint arXiv:2009.04131, 2020 - arxiv.org
… Instead of maintaining linear bounds or zonotopes as the over-approximation, we directly
use the numerical interval [li, ui], and derive [li+1, ui+1] from [li, ui]. In short, if lk ≤ zk ≤ uk, …

The Geometry of Reachability in Continuous Vector Addition Systems with States

S Almagor, A Ghosh, T Leys, GA Perez - arXiv preprint arXiv:2210.00785, 2022 - arxiv.org
… We show Reach(π) has a close relation with a zonotope whose generator is derived from
the … However, in zonotopes there are additional boundary faces that are obtained by capping …

[HTML][HTML] Characterisation of interval-observer fault detection and isolation properties using the set-invariance approach

M Pourasghar, V Puig, C Ocampo-Martinez - Journal of the Franklin …, 2020 - Elsevier
… But using zonotopes, basic set operations can be reduced to simple matrix calculations. This
fact … For completeness, relevant definitions and properties of zonotopes are recalled in the …

Computation of Minimal Detectable Fault under Hybrid Stochastic and Deterministic Framework

J Tan, H Zheng, X Wang, B Liang… - 2022 American Control …, 2022 - ieeexplore.ieee.org
… Obviously, the zonotope Rg should contain the confidence ellipsoid Eα(µ, Q), ie, Eα(µ, Q) ⊆
… confidence zonotope Rg of the random vector rg,∞ to construct the confidence zonotopes R …