Safety Verification of Neural Feedback Systems Based on Constrained Zonotopes

Y Zhang, X Xu - arXiv preprint arXiv:2204.00903, 2022 - arxiv.org
Artificial neural networks (ANNs) have been utilized in many feedback control systems and
introduced new challenges regarding the safety of the system. This paper considers the …

Polar root polytopes that are zonotopes

P Cellini, M Marietti - arXiv preprint arXiv:1502.06377, 2015 - arxiv.org
… and call Zonp(S) the zonotope generated by S with center p. Thus a zonotope in U is a … We
prove that, for An and Cn, the polar root polytope P∗ is the zonotope generated by the orbit of …

Set-based state estimation for discrete-time constrained nonlinear systems: an approach based on constrained zonotopes and DC programming

AA de Paula, DM Raimondo, GV Raffo… - arXiv preprint arXiv …, 2022 - arxiv.org
This paper proposes a new state estimator for discrete-time nonlinear dynamical systems
with unknown-but-bounded uncertainties and state linear inequality and nonlinear equality …

Zonotope-based set-membership parameter identification of linear systems with additive and multiplicative uncertainties: A new algorithm

H Wang, I Kolmanovsky, J Sun - 2017 American Control …, 2017 - ieeexplore.ieee.org
This paper develops a set-membership estimation algorithm for identification of time-varying
parameters in linear models, where both additive and multiplicative uncertainties are …

Optimal Finite-time Watermark Signal Design for Replay Attack Detection using Zonotopes

C Trapiello, V Puig - IFAC-PapersOnLine, 2022 - Elsevier
This paper analyzes the injection of finite sequences as a physical watermarking method for
the detection of sensor replay attacks under an unknown but zonotopically bounded …

[HTML][HTML] Notes on lattice points of zonotopes and lattice-face polytopes

C Bey, M Henk, M Henze, E Linke - Discrete Mathematics, 2011 - Elsevier
Minkowski’s second theorem on successive minima gives an upper bound on the volume of
a convex body in terms of its successive minima. We study the problem to generalize …

Augmented complex zonotopes for computing invariants of affine hybrid systems

A Adimoolam, T Dang - International Conference on Formal Modeling and …, 2017 - Springer
… polynomial zonotope is a set-valued polynomial function of intervals, a complex zonotope is
… with complex zonotopes is inspired by the work on constrained zonotopes proposed in [14, …

[HTML][HTML] Practical volume estimation of zonotopes by a new annealing schedule for cooling convex bodies

A Chalkis, IZ Emiris, V Fisikopoulos - International Congress on …, 2020 - Springer
We study the problem of estimating the volume of convex polytopes, focusing on zonotopes.
Although a lot of effort is devoted to practical algorithms for polytopes given as an …

Random zonotopes and valuations

R Schneider - arXiv preprint arXiv:2202.06774, 2022 - arxiv.org
… We define a random zonotope in Rd, by adding finitely many random segments, which are
… We also prove a central limit theorem for a valuation evaluated at these random zonotopes. …

Zonotope-Based Asynchronous Fault Detection for Markov Jump Systems Subject to Deception Attacks via Dynamic Event-Triggered Communication

J Yu, M Liu, JJ Rodriguez-Andina - IEEE Open Journal of the …, 2022 - ieeexplore.ieee.org
By Markov jump systems (MJSs) modeling, this article investigates event-triggered asynchronous
fault detection (FD) for quarter-car suspension system (QCSS) via zonotopic residual …