Safety Verification of Neural Feedback Systems Based on Constrained Zonotopes
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 …
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 …
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 …
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
This paper develops a set-membership estimation algorithm for identification of time-varying
parameters in linear models, where both additive and multiplicative uncertainties are …
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 …
the detection of sensor replay attacks under an unknown but zonotopically bounded …
[HTML][HTML] Notes on lattice points of zonotopes and lattice-face polytopes
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 …
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, …
… 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
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 …
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. …
… 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 …
fault detection (FD) for quarter-car suspension system (QCSS) via zonotopic residual …