Cover Image

Data-Driven Nonconvex Reachability Analysis using Exact Set Propagation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhang, Zhen, Niazi, M. Umar B., Chong, Michelle S., Johansson, Karl H., Alanwar, Amr
Format:	Preprint
Published:	2026
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Data-Driven Nonconvex Reachability Analysis using Exact Multiplication
by: Zhang, Zhen, et al.
Published: (2025)

Secure Set-based State Estimation for Safety-Critical Applications under Adversarial Attacks on Sensors
by: Niazi, M. Umar B., et al.
Published: (2023)

Orthogonal Transformations for Efficient Data-Driven Reachability Analysis
by: Xie, Peng, et al.
Published: (2026)

Data-Driven Reachability Analysis Using Matrix Perturbation Theory
by: Xie, Peng, et al.
Published: (2026)

Online Data-Driven Reachability Analysis using Zonotopic Recursive Least Squares
by: Akhormeh, Alireza Naderi, et al.
Published: (2025)

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

Polynomial Logical Zonotope: A Set Representation for Reachability Analysis of Logical Systems
by: Alanwar, Amr, et al.
Published: (2023)

Conformalized Data-Driven Reachability Analysis with PAC Guarantees
by: Huang, Yanliang, et al.
Published: (2026)

Bridging Data-Driven Reachability Analysis and Statistical Estimation via Constrained Matrix Convex Generators
by: Xie, Peng, et al.
Published: (2026)

Data-Driven Reachability Analysis with Optimal Input Design
by: Xie, Peng, et al.
Published: (2026)

Data-Driven Reachability Analysis for Piecewise Affine Systems
by: Xie, Peng, et al.
Published: (2025)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
by: Hafez, Ahmad, et al.
Published: (2024)

Transformer-Accelerated Interpolated Data-Driven Reachability Analysis from Noisy Data
by: Zhang, Zhen, et al.
Published: (2026)

Transformer-Enhanced Data-Driven Output Reachability with Conformal Coverage Guarantees
by: Zhang, Zhen, et al.
Published: (2026)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
by: Hadjiloizou, Loizos, et al.
Published: (2024)

From Points to Sets: Set-Based Safety Verification in the Latent Space
by: Wu, Wenyuan, et al.
Published: (2026)

Data-Driven Reachability Analysis via Diffusion Models with PAC Guarantees
by: Huang, Yanliang, et al.
Published: (2026)

Data-Driven Reachability of Nonlinear Lipschitz Systems via Koopman Operator Embeddings
by: Akhormeh, Alireza Naderi, et al.
Published: (2026)

Roundabout Constrained Convex Generators: A Unified Framework for Multiply-Connected Reachable Sets
by: Xie, Peng, et al.
Published: (2025)

Sequential Binary Hypothesis Testing with Competing Agents under Information Asymmetry
by: Raghavan, Aneesh, et al.
Published: (2025)

Data-Driven Tube-Based Zonotopic Predictive Control With Nonconvex Layered Terminal Sets
by: Zhang, Zhen, et al.
Published: (2026)

Robust Data-Driven Tube-Based Zonotopic Predictive Control with Closed-Loop Guarantees
by: Farjadnia, Mahsa, et al.
Published: (2024)

Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
by: Hafez, Ahmad, et al.
Published: (2025)

Distributed Prescribed-Time Observer for Nonlinear Systems in Block-Triangular Form
by: de Heij, Vincent, et al.
Published: (2025)

Data-driven Reachable Set Estimation with Tunable Adversarial and Wasserstein Distributional Guarantees
by: Pantazis, Georgios, et al.
Published: (2026)

Distributed Traffic State Estimation in V2X-Enabled Connected Vehicle Networks
by: de Heij, Vincent, et al.
Published: (2025)

Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes
by: Oumer, Mohammed Adib, et al.
Published: (2025)

Certified Set Convergence for Piecewise Affine Systems via Neural Lyapunov Functions
by: Huang, Yanliang, et al.
Published: (2026)

KKL Observer Synthesis for Nonlinear Systems via Physics-Informed Learning
by: Niazi, M. Umar B., et al.
Published: (2025)

Pedestrian Motion Prediction Using Transformer-based Behavior Clustering and Data-Driven Reachability Analysis
by: Fragkedaki, Kleio, et al.
Published: (2024)

HyperKKL: Learning KKL Observers for Non-Autonomous Nonlinear Systems via Hypernetwork-Based Input Conditioning
by: Shaaban, Yahia Salaheldin, et al.
Published: (2026)

Inclusion conditions for the Constrained Polynomial Zonotopic case
by: Gheorghe, Bogdan, et al.
Published: (2026)

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis
by: Arfvidsson, Kaj Munhoz, et al.
Published: (2024)

Nonconvex Obstacle Avoidance using Efficient Sampling-Based Distance Functions
by: Lutkus, Paul, et al.
Published: (2025)

Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability
by: Jiang, Frank J., et al.
Published: (2024)

Distributed Constrained Online Nonconvex Optimization with Compressed Communication
by: Zhang, Kunpeng, et al.
Published: (2025)

pyspect: An Extensible Toolbox for Automatic Construction of Temporal Logic Trees via Reachability Analysis
by: Arfvidsson, Kaj Munhoz, et al.
Published: (2025)

Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation
by: Wetzlinger, Mark, et al.
Published: (2023)

Communication-Efficient Distributed Online Nonconvex Optimization with Time-Varying Constraints
by: Zhang, Kunpeng, et al.
Published: (2025)

Data-Driven Model Order Reduction of Nonlinear Systems with Noisy Data
by: Samari, Behrad, et al.
Published: (2025)