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. …
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 …
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,…
Zonotopic fault detection observer for discrete-time descriptor systems considering − fault sensitivity
… , especially by means of zonotopes to characterise the effects of uncertainties. Besides, in
this paper, we have also characterised the effects of faults by using zonotopes in order to give …
this paper, we have also characterised the effects of faults by using zonotopes in order to give …
Automatically Generated Nonlinear Analog Circuit Models Enclosing Variations with Intervals and Affine Forms for Reachability Analysis
M Rechmal-Lesse, GA Koroa… - … on Design and …, 2020 - ieeexplore.ieee.org
… Since reachability analysis is performed with sets represented as zonotopes or intervals, we
… and ri referring to the generators of the zonotope. The result of these computations are semi-…
… and ri referring to the generators of the zonotope. The result of these computations are semi-…
Zonotopic extended kalman filter for rul forecasting with unknown degradation behaviors
This paper proposes a novel approach for Remaining Useful Life (RUL) forecasting using
interval model-based prognostics techniques based on zonotopes without prior knowledge of …
interval model-based prognostics techniques based on zonotopes without prior knowledge of …
Spectral polyhedra
R Sanyal, J Saunderson - arXiv preprint arXiv:2001.04361, 2020 - arxiv.org
… It follows from Corollary 2.6 that spectral zonotopes are spectral convex … , zonotopes have
a simple characterization in terms of their support functions: The support function of a zonotope …
a simple characterization in terms of their support functions: The support function of a zonotope …