2 papers
eess.SY2025
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
Set-based state estimation of nonlinear discrete-time systems using constrained zonotopes and polyhedral relaxations
Brenner S. Rego, Guilherme V. Raffo, Marco H. Terra +1
This paper presents a new algorithm for set-based state estimation of nonlinear discrete-time systems with bounded uncertainties. The novel method builds upon essential properties…