Provable Lipschitz certification for generative models
… 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 …
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 …
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 …
iterative algorithms with and without the output integral are built to generate estimated …
Distributed set-based observers using diffusion strategy
… 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-…
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 …
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 …
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 …
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 …
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 …
various technologies of autonomous ships, autonomous berthing is very important. Thus, a …
Fast and precise certification of transformers
… 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 …
after which we explain the Zonotope domain and how Zonotopes are used for neural …