paper-with-me

Papers

Convergence Guarantees for Neural Network-Based Hamilton-Jacobi Reachability

2024-10-03 · William Hofgard

We provide a novel uniform convergence guarantee for DeepReach, a deep learning-based method for solving Hamilton-Jacobi-Isaacs (HJI) equations associated with reachability analysis. Specifically, we show that the DeepReach algorithm, as introduced by Bansal et al. in their eponymous paper from 2020, is stable in the sense that if the loss functional for the algorithm converges to zero, then the resulting neural network approximation converges uniformly to the classical solution of the HJI equation, assuming that a classical solution exists. We also provide numerical tests of the algorithm, replicating the experiments provided in the original DeepReach paper and empirically examining the impact that training with a supremum norm loss metric has on approximation error.

📄 PDF Abstract BibTeX arXiv:2410.02904

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Contingency-Aware Planning via Certified Neural Hamilton-Jacobi Reachability

2026-03-17 · Kasidit Muenprasitivej, Derya Aksaray arxiv

Hamilton-Jacobi (HJ) reachability provides formal safety guarantees for dynamical systems, but solving high-dimensional HJ partial differential equations limits its use in real-time planning. This paper presents a contin…

Interacting safely with cyclists using Hamilton-Jacobi reachability and reinforcement learning

2026-02-20 · Aarati Andrea Noronha, Jean Oh arxiv

In this paper, we present a framework for enabling autonomous vehicles to interact with cyclists in a manner that balances safety and optimality. The approach integrates Hamilton-Jacobi reachability analysis with deep Q-…

Reinforcement LearningAutonomous Vehicles

Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey

2024-07-12 · Milan Ganai, Sicun Gao, Sylvia Herbert

Recent literature has proposed approaches that learn control policies with high performance while maintaining safety guarantees. Synthesizing Hamilton-Jacobi (HJ) reachable sets has become an effective tool for verifying…

reinforcement-learningReinforcement LearningSurvey

Verification of safety critical control policies using kernel methods

2022-03-23 · Nikolaus Vertovec, Sina Ober-Blöbaum, Kostas Margellos

Hamilton-Jacobi reachability methods for safety-critical control have been well studied, but the safety guarantees derived rely on the accuracy of the numerical computation. Thus, it is crucial to understand and account …

A Hamilton-Jacobi Reachability-Guided Search Framework for Efficient and Safe Indoor Planar Robot Navigation

2026-04-20 · Hanyang Hu, Cameron Siu, Mo Chen arxiv

Autonomous navigation requires planning to reach a goal safely and efficiently in complex and potentially dynamic environments. Graph search-based algorithms are widely adopted due to their generality and theoretical gua…

Robot Navigation