SRAM dynamic stability verification by reachability analysis with consideration of threshold voltage variation

Y Song, H Yu, SM Pudukotai Dinakarrao… - Proceedings of the 2013 …, 2013 - dl.acm.org
… In the presence of mismatch such as threshold voltage variation of all transistors, zonotope-…
a time-evolved reachability analysis with formed zonotope to distinguish safe and failure …

Verification of the control system performance using viability theory

MG Zarch, V Puig, J Poshtan - 2017 4th International …, 2017 - ieeexplore.ieee.org
… computations, we adopt zonotopes for set representation, … the set computations based on
zonotopes that are required to … in [17] to reduce the zonotope complexity. It is also important …

Efficient Fault Detection for Discrete-Time PWA Systems

X Liu, Z Liu, Z Wang, O Stursberg - IEEE Control Systems …, 2022 - ieeexplore.ieee.org
… Inspired by the state-of-the-art of set-membership methods to estimate the state of PWA
systems, a novel detection method based on zonotopes and over-approximation of sets is …

nnenum: Verification of relu neural networks with optimized abstraction refinement

S Bak - NASA Formal Methods Symposium, 2021 - Springer
… also makes use of zonotope over approximations to improve efficiency. Zonotopes are a …
will also consider using zonotopes, so the tightness of the zonotope is even more important. …

Actuator fault tolerance evaluation of linear constrained robust model predictive control

P Guerra, C Ocampo-Martinez… - 2007 European control …, 2007 - ieeexplore.ieee.org
… In this paper, a zonotope-based method to evaluate the … This is done by using a
zonotope-based method in order to … Section V describes its implementation using zonotope-based …

Robust zonotopic set-membership approach for model-based prognosis: Application on linear parameter-varying systems

A Al-Mohamad, V Puig, G Hoblos - 2021 European Control …, 2021 - ieeexplore.ieee.org
… As discussed in the introduction, in this paper we will use zonotopes for the JESP in a set-membership
framework. In the following, some background material regarding zonotopes is …

I–SCIENTIFIC ACTIVITY DURING YOUR FELLOWSHIP

J Martinez, S Hornus, F Claux, S Lefebvre - fellowship.ercim.eu
… This is equivalent to offsetting the surface by a solid defined as a Minkowski sum of segments,
also known as a zonotope. A zonotope may be used to approximate the Euclidean ball …

Robust state estimation and integrity monitoring within multi-sensor navigation system

S Liu, K Wang, D Abel, R Zweigel - arXiv preprint arXiv:2103.10696, 2021 - arxiv.org
… to denote a zonotope. Property 1.1. The Minkowski sum of two … When the outer approximation
of a zonotope Z by an aligned box … zonotope is a subset of the resulting reduced zonotope, …

Modeling Circuits with Parameter Variation by ELSA: Eigenvalue Based Linear Hybrid System Abstraction

A Tarraf, L Hedrich - ANALOG 2020; 17th ITG/GMM …, 2020 - ieeexplore.ieee.org
zonotopes, the matrix zonotopes are first transformed into zonotopes, and the vertices of
the zonotopes are used to find the system description which is modeled as a matrix zonotope. …

Fault detection for switched systems based on pole assignment and zonotopic residual evaluation

C Zammali, Z Wang, J Van Gorp, T Raïssi - IFAC-PapersOnLine, 2020 - Elsevier
… A lower zonotope can bound a high-dimensional zonotope using the reduction operation. …
The reduction operator for a zonotope can be described as the following form Z = 〈p,H〉⊆〈p,…