SOTAVerified

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

2025-04-08Code Available0· sign in to hype

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

Code Available — Be the first to reproduce this paper.

Reproduce

Code

Abstract

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.

Tasks

Reproductions