Cover Image

Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhang, Hang, Zhang, Yuhao, Xu, Xiangru
Format:	Preprint
Published:	2023
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

Forward and Backward Reachability Analysis of Closed-loop Recurrent Neural Networks via Hybrid Zonotopes
by: Zhang, Yuhao, et al.
Published: (2026)

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)

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

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

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

Safe Control of Euler-Lagrange Systems with Limited Model Information
by: Wang, Yujie, 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)

Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems
by: Liu, Zishun, et al.
Published: (2024)

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

Finite-time Reachability for Constrained, Partially Uncontrolled Nonlinear Systems
by: Padmanabhan, Ram, 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)

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

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

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

Model-Free Nonlinear Feedback Optimization
by: He, Zhiyu, et al.
Published: (2022)

H Infinity Minimal Destabilizing Feedback for Vulnerability Analysis and Attack Design of Nonlinear Systems
by: Glenn, Gavin, et al.
Published: (2026)

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

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

Conservative Linear Envelopes for Nonlinear, High-Dimensional, Hamilton-Jacobi Reachability
by: Sharpless, Will, et al.
Published: (2024)

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

Nonlinear MPC for Feedback-Interconnected Systems: a Suboptimal and Reduced-Order Model Approach
by: Di Gregorio, Stefano, et al.
Published: (2025)

Neural Operators for Predictor Feedback Control of Nonlinear Delay Systems
by: Bhan, Luke, et al.
Published: (2024)

On Structural Non-commutativity in Affine Feedback of SISO Nonlinear Systems
by: S., Venkatesh G.
Published: (2024)

A Geometric Approach to Feedback Stabilization of Nonlinear Systems with Drift
by: Michalska, Hannah, et al.
Published: (2026)

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

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

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

Set-Based Reachability for Low-Thrust Spacecraft in Two-Body and Cislunar Dynamical Systems
by: Patel, Jinaykumar, et al.
Published: (2026)

State-Augmented Linear Games with Antagonistic Error for High-Dimensional, Nonlinear Hamilton-Jacobi Reachability
by: Sharpless, Will, et al.
Published: (2024)

Predictor-Feedback Stabilization of Globally Lipschitz Nonlinear Systems with State and Input Quantization
by: Koudohode, Florent, et al.
Published: (2025)

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

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

Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems
by: Liu, Jun, et al.
Published: (2024)

Feedback Linearization of Hyperbolic PDEs with Volterra Nonlinearities
by: Krstic, Miroslav
Published: (2026)

Probabilistic Reachable Set Estimation for Saturated Systems with Unbounded Additive Disturbances
by: Karam, Carlo, et al.
Published: (2025)

Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
by: Kordabad, Arash Bahari, et al.
Published: (2025)

Input Matrix Optimization for Desired Reachable Set Warping of Linear Systems
by: Das, Hrishav, et al.
Published: (2026)

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

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