Cover Image

Hybrid Polynomial Zonotopes: A Set Representation for Reachability Analysis in Hybrid Nonaffine Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Xie, Peng, Zhang, Zhen, Alanwar, Amr
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
by: Kochdumper, Niklas, et al.
Published: (2019)

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

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

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

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

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

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

Data-Driven Nonconvex Reachability Analysis using Exact Set Propagation
by: Zhang, Zhen, et al.
Published: (2026)

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

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)

Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes
by: Huang, Yushen, et al.
Published: (2024)

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

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

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

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

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

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

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

Motion Planning with Metric Temporal Logic Using Reachability Analysis and Hybrid Zonotopes
by: Thompson, Andrew F., et al.
Published: (2026)

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

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

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

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

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

Informed Hybrid Zonotope-based Motion Planning Algorithm
by: Xie, Peng, et al.
Published: (2025)

Inner-approximate Reachability Computation via Zonotopic Boundary Analysis
by: Ren, Dejin, et al.
Published: (2024)

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

Hybrid System Planning using a Mixed-Integer ADMM Heuristic and Hybrid Zonotopes
by: Robbins, Joshua A., et al.
Published: (2026)

Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions
by: Borquez, Javier, et al.
Published: (2023)

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

Shared Situational Awareness Using Hybrid Zonotopes with Confidence Metric
by: Narri, Vandana, et al.
Published: (2025)