论文记录 · 证据边界公开

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

arXiv（eess.SY v2；Technical University of Munich；官方仓） · 2026-03-31 · 数据驱动安全验证（模型基/线性数据驱动 zonotope 可达性 vs 状态-输入依赖 Koopman 嵌入）

论文元数据

作者
Alireza Naderi、Ahmad Hafez、Abdulla Fawzy、Amr Alanwar
机构
机构尚未补齐
发布日期精度
日
研究方向
数据驱动安全验证（模型基/线性数据驱动 zonotope 可达性 vs 状态-输入依赖 Koopman 嵌入）
机器人
自主赛车（JetRacer ROS AI Kit，Jetson Nano，真实轨迹数据实验）
DOI
未披露
arXiv
2604.00150
引用元数据
0
记录状态
included
质量检查
无自动质量红旗