Cover Image

Forward and Backward Reachability Analysis of Closed-loop Recurrent Neural Networks via Hybrid Zonotopes

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhang, Yuhao, Xu, Xiangru
Format:	Preprint
Published:	2026
Subjects:	Optimization and Control Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models
by: Zhang, Hang, et al.
Published: (2023)

Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes
by: Zhang, Yuhao, et al.
Published: (2025)

Robust Stability of Neural Network Control Systems with Interval Matrix Uncertainties
by: Zhang, Yuhao, et al.
Published: (2023)

Sparsity-Promoting Reachability Analysis and Optimization of Constrained Zonotopes
by: Robbins, Joshua A., et al.
Published: (2025)

Reachability Analysis of Nonlinear Discrete-Time Systems Using Polyhedral Relaxations and Constrained Zonotopes
by: Rego, Brenner S., et al.
Published: (2025)

Sharp Hybrid Zonotopes: Set Operations and the Reformulation-linearization Technique
by: Glunt, Jonah J., et al.
Published: (2025)

Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order
by: Sivaramakrishnan, Vignesh, et al.
Published: (2024)

Stochastic Reachability of Uncontrolled Systems via Probability Measures: Approximation via Deep Neural Networks
by: Sivaramakrishnan, Karthik, et al.
Published: (2023)

Underapproximating Safe Domains of Attraction for Discrete-Time Systems Using Implicit Representations of Backward Reachable Sets
by: Serry, Mohamed, et al.
Published: (2024)

Control Forward-Backward Consistency: Quantifying the Accuracy of Koopman Control Family Models
by: Haseli, Masih, et al.
Published: (2026)

Invariant, Viability and Discriminating Kernel Under-Approximation via Zonotope Scaling
by: Mitchell, Ian M., et al.
Published: (2019)

Reachability Analysis for Design Optimization
by: Nguyen, Steven, et al.
Published: (2026)

Proxy Control Barrier Functions: Integrating Barrier-Based and Lyapunov-Based Safety-Critical Control Design
by: Wang, Yujie, et al.
Published: (2025)

Immersion and Invariance-based Disturbance Observer and Its Application to Safe Control
by: Wang, Yujie, et al.
Published: (2023)

Safe Control of Euler-Lagrange Systems with Limited Model Information
by: Wang, Yujie, et al.
Published: (2023)

Closed-loop Analysis of ADMM-based Suboptimal Linear Model Predictive Control
by: Srikanthan, Anusha, et al.
Published: (2024)

Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems
by: Harapanahalli, Akash, et al.
Published: (2023)

Probabilistic Reachability Analysis of Stochastic Control Systems
by: Jafarpour, Saber, et al.
Published: (2024)

Performance Index Shaping for Closed-loop Optimal Control
by: Rai, Ayush, et al.
Published: (2025)

Closed-loop design for scalable performance of vehicular formations
by: Hansson, Jonas, et al.
Published: (2024)

Stability-Preserving Online Adaptation of Neural Closed-loop Maps
by: Saccani, Danilo, et al.
Published: (2026)

Stochastic MPC with Online-optimized Policies and Closed-loop Guarantees
by: Bartos, Marcell, et al.
Published: (2025)

Over-Approximating Minimizer Sets of Constrained Convex Programs with Parametric Uncertainty via Reachability Analysis
by: Gould, Brendan, et al.
Published: (2026)

Reachability Analysis Using Hybrid Zonotopes and Functional Decomposition
by: Siefert, Jacob A., et al.
Published: (2023)

Closed-loop Performance Optimization of Model Predictive Control with Robustness Guarantees
by: Zuliani, Riccardo, et al.
Published: (2024)

Singular Arcs in Optimal Control: Closed-loop Implementations without Workarounds
by: Ramesh, Nikilesh, et al.
Published: (2025)

Forward Invariance in Neural Network Controlled Systems
by: Harapanahalli, Akash, et al.
Published: (2023)

Distributionally Robust Model Predictive Control: Closed-loop Guarantees and Scalable Algorithms
by: McAllister, Robert D., et al.
Published: (2023)

Adaptive Control with Set-Point Tracking and Linear-like Closed-loop Behavior
by: Shahab, Mohamad T.
Published: (2025)

Predictive control for nonlinear stochastic systems: Closed-loop guarantees with unbounded noise
by: Köhler, Johannes, et al.
Published: (2024)

Neural Approximators for Low-Thrust Trajectory Transfer Cost and Reachability
by: Zhang, Zhong, et al.
Published: (2025)

Efficient Norm-Based Reachable Sets via Iterative Dynamic Programming
by: Harapanahalli, Akash, et al.
Published: (2025)

Stability and Performance Analysis of Discrete-Time ReLU Recurrent Neural Networks
by: Noori, Sahel Vahedi, et al.
Published: (2024)

Learning Reachability of Energy Storage Arbitrage
by: Tapia, Tomás, et al.
Published: (2025)

Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems
by: Li, Haoyu, et al.
Published: (2025)

Hybrid Polynomial Zonotopes: A Set Representation for Reachability Analysis in Hybrid Nonaffine Systems
by: Xie, Peng, et al.
Published: (2025)

Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers
by: Ajeyemi, Damola, et al.
Published: (2025)

Koopman-Hopf Hamilton-Jacobi Reachability and Control
by: Sharpless, Will, et al.
Published: (2023)

Prioritizing Recurrent Services
by: Feng, Lin Franklin, et al.
Published: (2025)

Time-Discretized Simulation of Vehicle Platoons for Safety Analysis with Guaranteed Error Bounds
by: Chen, Yuhao, et al.
Published: (2025)