Cover Image

Data-Driven Reachability of Nonlinear Lipschitz Systems via Koopman Operator Embeddings

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Akhormeh, Alireza Naderi, Hafez, Ahmad, Fawzy, Abdulla, 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

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

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

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

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

Orthogonal Transformations for Efficient Data-Driven Reachability Analysis
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)

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)

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

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

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

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

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

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

Robust Nonlinear Data-Driven Predictive Control for Mixed Vehicle Platoons via Koopman Operator and Reachability Analysis
by: Li, Shuai, et al.
Published: (2025)

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

Stability Guarantees for Data-Driven Predictive Control of Nonlinear Systems via Approximate Koopman Embeddings
by: Taghieh, Amin, et al.
Published: (2026)

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

Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees
by: Nath, Devesh, et al.
Published: (2026)

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

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

On the Existence of Koopman Linear Embeddings for Controlled Nonlinear Systems
by: Shang, Xu, et al.
Published: (2026)

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

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

Online Tracking with Predictions for Nonlinear Systems with Koopman Linear Embedding
by: Pai, Chih-Fan, et al.
Published: (2026)

Willems' Fundamental Lemma for Nonlinear Systems with Koopman Linear Embedding
by: Shang, Xu, et al.
Published: (2024)

On Data-Driven Unbiased Predictors using the Koopman Operator
by: Schurig, Roland, et al.
Published: (2026)

Data-Driven Koopman-Enhanced Extremum Seeking for Oscillation Damping in Nonlinear Systems
by: Salsbury, Timothy I., et al.
Published: (2026)

A Koopman Operator Approach to Data-Driven Control of Semilinear Parabolic Systems
by: Deutscher, Joachim, et al.
Published: (2025)

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

Enhanced Koopman Operator Approximation for Nonlinear Systems Using Broading Learning System
by: Sun, Yangjun, et al.
Published: (2025)

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

Participation Factors for Nonlinear Autonomous Dynamical Systems in the Koopman Operator Framework
by: Takamichi, Kenji, et al.
Published: (2024)

Dual-Loop Robust Control of Biased Koopman Operator Model by Noisy Data of Nonlinear Systems
by: He, Tianyi, et al.
Published: (2024)

Koopman-Nemytskii Operator: A Linear Representation of Nonlinear Controlled Systems
by: Tang, Wentao
Published: (2025)

A Data-Driven Prescribed-Time Control Framework via Koopman Operator and Adaptive Backstepping
by: Wu, Yue
Published: (2025)

Koopman Control Factorization: Data-Driven Convex Controller Design for a Class of Nonlinear Systems
by: Ondogan, Taha, et al.
Published: (2025)

Adaptive Koopman Embedding for Robust Control of Complex Nonlinear Dynamical Systems
by: Singh, Rajpal, et al.
Published: (2024)

On Koopman Resolvents and Frequency Response of Nonlinear Systems
by: Susuki, Yoshihiko, et al.
Published: (2026)