Papers › ZETA: a library for Zonotope-based EsTimation and fAult diagnosis of discrete-time systems

ZETA: a library for Zonotope-based EsTimation and fAult diagnosis of discrete-time systems

8 Apr 2025arXiv:2504.06467archive 2025-07-28

Brenner S. Rego, Joseph K. Scott, Davide M. Raimondo, Marco H. Terra, Guilherme V. Raffo

This paper introduces ZETA, a new MATLAB library for Zonotope-based EsTimation and fAult diagnosis of discrete-time systems. It features user-friendly implementations of set representations based on zonotopes, namely zonotopes, constrained zonotopes, and line zonotopes, in addition to a basic implementation of interval arithmetic. This library has capabilities starting from the basic set operations with these sets, including propagations through nonlinear functions using various approximation methods. The features of ZETA allow for reachability analysis and state estimation of discrete-time linear, nonlinear, and descriptor systems, in addition to active fault diagnosis of linear systems. Efficient order reduction methods are also implemented for the respective set representations. Some examples are presented in order to illustrate the functionalities of the new library.

PaperPDFCode

Code

Guiraffo/ZETA-releases officialmentioned on GitHub report

Repository list and official/mentioned flags are the archive's, frozen 2025-07-28. Reachability, where shown, is from one Syntology probe window (2026-09-16 to 2026-09-18); repositories not probed show nothing. GitHub stars are not tracked.

Code Syntology ran Syntology

Not run by Syntology. Nothing on this page verifies that the listed code works.

Tasks

Fault DiagnosisState Estimation

Results from the paper archive 2025-07-28

No leaderboard rows for this paper in the archive.

Methods

SET

1 archive method tag without a method page not shown.

Report a problem or propose a change · a person checks every report against the paper or source before anything changes; decisions are listed on /corrections