1 citations · 1 across the 2 of their papers we have counts for
2 papers
eess.SY2025★ 1 cited
Reachability Analysis of Nonlinear Discrete-Time Systems Using Polyhedral Relaxations and Constrained Zonotopes
Brenner S. Rego, Guilherme V. Raffo, Marco H. Terra +1
This paper presents a novel algorithm for reachability analysis of nonlinear discrete-time systems. The proposed method combines constrained zonotopes (CZs) with polyhedral relaxat…
eess.SY2025
ZETA: a library for Zonotope-based EsTimation and fAult diagnosis of discrete-time systems
Brenner S. Rego, Joseph K. Scott, Davide M. Raimondo +2
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 repres…