SRAM dynamic stability verification by reachability analysis with consideration of threshold voltage variation
… 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 …
a time-evolved reachability analysis with formed zonotope to distinguish safe and failure …
Verification of the control system performance using viability theory
… 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 …
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 …
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. …
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 …
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
… 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 …
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 …
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
… 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, …
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. …
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
… 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,…
The reduction operator for a zonotope can be described as the following form Z = 〈p,H〉⊆〈p,…