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. …

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 …

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,…

Zonotopic fault detection observer for discrete-time descriptor systems considering fault sensitivity

Y Wang, V Puig, G Cembrano… - International Journal of …, 2021 - Taylor & Francis
… , 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 …

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-…

Zonotopic extended kalman filter for rul forecasting with unknown degradation behaviors

A Al-Mohamad, V Puig, G Hoblos - 2020 28th Mediterranean …, 2020 - ieeexplore.ieee.org
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 …

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