{"id":"arxiv/2603.11547","url":"https://arxiv.org/abs/2603.11547","tags":["math.OC","eess.SY"],"score":0,"title":"Forward and Backward Reachability Analysis of Closed-loop Recurrent Neural Networks via Hybrid Zonotopes","domain":"math.OC","source":"arxiv","authors":["Yuhao Zhang","Xiangru Xu"],"reviews":0,"subject":"math.OC","summary":"Recurrent neural networks (RNNs) are widely employed to model complex dynamical systems due to their hidden-state structure, which inherently captures temporal dependencies. This work presents a hybrid zonotope-based approach for computing exact forward and backward reachable sets of closed-loop RNN systems with ReLU activation functions. The method formulates state-pair sets to compute reachable sets as hybrid zonotopes without requiring unrolling. To improve scalability, a tunable relaxation scheme is proposed that ranks unstable ReLU units across all layers using a triangle-area score and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-12","reactions":{}}