Star-based reachability analysis of deep neural networks
… In comparison with the zonotope and abstract-domain approaches, our method … zonotope
method. However, our results is much less conservative than those obtained by the zonotope …
method. However, our results is much less conservative than those obtained by the zonotope …
Interval observer design method for asynchronous switched systems
J Huang, X Ma, X Zhao, H Che… - IET Control Theory & …, 2020 - Wiley Online Library
… zonotope method to the augmented system. Different from the synchronous case, the
iteration of zonotope … Therefore, we select zonotopes that offer a good trade-off between the …
iteration of zonotope … Therefore, we select zonotopes that offer a good trade-off between the …
Zonotopic Kalman filter-based interval estimation for discrete-time linear systems with unknown inputs
… This strategy constructs a family of zonotopes over-approximating the FSS and selects the
best outer approximation by choosing the zonotope of minimal volume. Since this strategy …
best outer approximation by choosing the zonotope of minimal volume. Since this strategy …
Interval state and sensor fault estimation based on unknown input observer and interval hull computation
M Zhou, Z Cao, J Wang, C Wang - The Canadian Journal of …, 2020 - Wiley Online Library
This paper investigates the problem of interval estimation of state and sensor fault
simultaneously based on the unknown input decoupling technique and interval hull computation …
simultaneously based on the unknown input decoupling technique and interval hull computation …
Symbolic domain predictive control
… Visually it is the part of the error vector that is not covered by the zonotope. In the case that
the zonotope contains no generators we can directly use Equation 9. If it also contains a set of …
the zonotope contains no generators we can directly use Equation 9. If it also contains a set of …
Ellipsoidal techniques for reachability analysis of discrete-time linear systems
AA Kurzhanskiy, P Varaiya - IEEE Transactions on Automatic …, 2007 - ieeexplore.ieee.org
… The difficulty is that with every time step the order of the approximating zonotope increases
… zonotopes whose number of generator vectors exceeds this limit by lower order zonotopes. …
… zonotopes whose number of generator vectors exceeds this limit by lower order zonotopes. …
Reachability analysis of nonlinear odes using polytopic based validated runge-kutta
J Alexandre dit Sandretto, J Wan - International Conference on …, 2018 - Springer
… that a zonotope is a centrally symmetric polytope. The explicit representation of a zonotope
or the representation of a zonotope in the format of a polytope is the zonotope construction …
or the representation of a zonotope in the format of a polytope is the zonotope construction …
Interval zonotopic fault estimation for uncertain LPV descriptor systems
M Zhou, C Wang, Z Cao, Y Wang… - 2019 4th Conference on …, 2019 - ieeexplore.ieee.org
… Next, the bounds of the augmented states estimation are generated based on zonotopes
that … In this paper, it is supposed that the augmented disturbance is bounded in the zonotope …
that … In this paper, it is supposed that the augmented disturbance is bounded in the zonotope …
A zonotoped macromodeling for eye-diagram verification of high-speed I/O links with jitter and parameter variations
… of zonotope and modeling of the variations using zonotopes, … between a zonotope matrix
and a zonotope leads to an … rule [18] is used to merge zonotopes while preserving new …
and a zonotope leads to an … rule [18] is used to merge zonotopes while preserving new …
Zonotopic Reachability Analysis of Multirotor Aircraft
In this work, the reachability analysis of a multi rotor aircraft is developed using a zonotopic
reachability algorithm, and the results are compared to a Monte Carlo simulation approach. …
reachability algorithm, and the results are compared to a Monte Carlo simulation approach. …