English

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

Systems and Control 2025-04-10 v1 Mathematical Software Systems and Control Optimization and Control

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.

Keywords

Cite

@article{arxiv.2504.06467,
  title  = {ZETA: a library for Zonotope-based EsTimation and fAult diagnosis of discrete-time systems},
  author = {Brenner S. Rego and Joseph K. Scott and Davide M. Raimondo and Marco H. Terra and Guilherme V. Raffo},
  journal= {arXiv preprint arXiv:2504.06467},
  year   = {2025}
}

Comments

8 pages, 6 figures. Preprint submitted to the 64th IEEE Conference on Decision and Control