ZETA：基于 Zonotope 的离散时间系统估计与故障诊断库
系统与控制
2025-04-10 v1 数学软件
系统与控制
最优化与控制
摘要
本文介绍了 ZETA，一款用于离散时间系统的 Zonotope-based EsTimation 和 fAult diagnosis 的新型 MATLAB 库。它提供了基于 zonotope 的集合表示的用户友好实现，包括 zonotope、constrained zonotope 和 line zonotope，此外还包含基本的区间算术实现。该库具备从这些集合的基本集合运算开始的功能，包括通过各种近似方法进行非线性函数的传播。ZETA 的功能允许对离散时间的线性、非线性和描述性系统进行可达性分析和状态估计，除了对线性系统的主动故障诊断。该库还实现了高效的订单简化方法。 presented some examples to illustrate the functionalities of the new library.
引用
@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}
}
备注
8 pages, 6 figures. Preprint submitted to the 64th IEEE Conference on Decision and Control