@inproceedings{inproceedings9d8ce345, title = {ZETA: a library for Zonotope-based EsTimation and fAult diagnosis of discrete-time systems}, author = {Rego, Brenner S and Scott, Joseph K and Raimondo, Davide M. and Terra, Marco Henrique and Raffo, Guilherme V.}, year = {2025}, doi = {10.1109/CDC57313.2025.11312660}, booktitle = {IEEE Conference on Decision and Control - CDC} }