← 研踪 PaperTrailarXiv:2603.17022 · v2
Contingency-Aware Planning via Certified Neural Hamilton-Jacobi Reachability
首次提交 2026-03-18 02:04
版本更新 2026-11-03 05:17
雷达观测 2026-11-04 23:40
摘要
Hamilton-Jacobi (HJ) reachability provides formal safety guarantees for dynamical systems, but repeatedly solving the HJ partial differential equation in changing environments limits its use in real-time planning. This paper introduces learning-based reachability and an online safety certification that together enable real-time contingency-aware planning in unknown environments with probabilistic safety guarantees. We use Fourier Neural Operator (FNO) to approximate the HJ solution operator under varying obstacle configurations. To certify the learned reach-avoid set, we recast robust scenario optimization as multiple hypothesis testings over its sublevel sets, which yields a simultaneous guarantee across candidate levels and recovers the largest certifiable volume at the prescribed safety level. Within this certified set, the induced recovery policy is guaranteed to return the system to a safe region in finite time under any admissible disturbance. Numerical results show that the learning and certification pipeline updates reach-avoid sets at real-time rates and is demonstrated on youBot simulation.
作者备注：9 pages, 4 figures
观测到的版本
相邻记录可能跳过中间版本；首次发现 v2 及以上也会标为版本更新。
v2 · 2026-11-03 05:17 · 最新观测版本
Contingency-Aware Planning via Certified Neural Hamilton-Jacobi Reachability
Hamilton-Jacobi (HJ) reachability provides formal safety guarantees for dynamical systems, but repeatedly solving the HJ partial differential equation in changing environments limits its use in real-time planning. This paper introduces learning-based reachability and an online safety certification that together enable real-time contingency-aware planning in unknown environments with probabilistic safety guarantees. We use Fourier Neural Operator (FNO) to approximate the HJ solution operator under varying obstacle configurations. To certify the learned reach-avoid set, we recast robust scenario optimization as multiple hypothesis testings over its sublevel sets, which yields a simultaneous guarantee across candidate levels and recovers the largest certifiable volume at the prescribed safety level. Within this certified set, the induced recovery policy is guaranteed to return the system to a safe region in finite time under any admissible disturbance. Numerical results show that the learning and certification pipeline updates reach-avoid sets at real-time rates and is demonstrated on youBot simulation.
查看此版本解读 →查看此版本原文 ↗