Provable Lipschitz certification for generative models

M Jordan, A Dimakis - International Conference on Machine …, 2021 - proceedings.mlr.press
… Our approach generalizes and improves upon prior work using zonotope transformers
and we extend to Lipschitz estimation of neural networks with large output dimension. This …

Zonotope-based H/L Fault Detection Observer Design for Linear Systems Over Sensor Network

J Wang, Z Wang, M Zhou - 2020 IEEE 9th Data Driven Control …, 2020 - ieeexplore.ieee.org
In this paper, the problem of distributed fault detection based on zonotope is investigated for
a class of discrete-time linear system monitored by a sensor network. Considering the …

Iterative proportional-integral interval estimation of linear discrete-time systems

M Shen, T Zhang, JH Park, QG Wang… - IEEE Transactions on …, 2022 - ieeexplore.ieee.org
… The boundary reachability of the observer error system is analyzed via zonotope. Zonotope-based
iterative algorithms with and without the output integral are built to generate estimated …

Distributed set-based observers using diffusion strategy

A Alanwar, JJ Rath, H Said, KH Johansson… - arXiv preprint arXiv …, 2020 - arxiv.org
… of zonotopes formula resembles the traditional diffusion step in the stochastic Kalman filter.
Our new zonotopes … We represent sets as zonotopes since they compactly represent high-…

[PDF][PDF] Zonotope parameter identification for piecewise affine system

W Jian-Hong - WSEAS Transactions on Systems, 2020 - wseas.com
This paper studies the identification problem for piecewise affine system, which is a special
nonlinear system. As the difficulty in identifying piecewise affine system is to determine each …

[PDF][PDF] LOW-COMPLEXITY ZONOTOPES CAN ENHANCE UNCERTAINTY QUANTIFICATION (UQ)

M Papadrakakis, V Papadopoulos, G Stefanou - cs.utep.edu
… In this paper, we show that this set is a particular case of what is called a zonotope, and
that we can use known results about zonotopes to make the corresponding computational …

Time-varying parameter system modeling method based on zonotope-ellipsoid double filtering

Z Wang, P Wang, Y Zhan - Journal of System Simulation, 2020 - china-simulation.com
zonotope shape matrix. This paper proposes a time-varying parameter modeling … on
zonotope-ellipsoid double filtering technique. Considering the time-varying parameters, a zonotope

Sequential Fusion Estimation for Multirate Complex Networks With Uniform Quantization: A Zonotopic Set-Membership Approach

Z Zhao, Z Wang, L Zou - IEEE Transactions on Neural …, 2022 - ieeexplore.ieee.org
… Then, by utilizing the properties of zonotopes, the desired zonotopes are derived, which …
these zonotopes, and the uniform boundedness is analyzed for the $F$ -radius of the zonotope

Autonomous ship berthing with reachability analysis based on Zonotopes

J Park - 2021 - koasas.kaist.ac.kr
Recently, autonomous ships in the field of shipbuilding have become popular. Among the
various technologies of autonomous ships, autonomous berthing is very important. Thus, a …

Fast and precise certification of transformers

G Bonaert, DI Dimitrov, M Baader… - Proceedings of the 42nd …, 2021 - dl.acm.org
… We first demonstrate the Transformer architecture instantiated to binary sequence classification,
after which we explain the Zonotope domain and how Zonotopes are used for neural …