CUDA版Hamilton-Jacobiソルバー、Jetson AGX ThorでAir3Dを66Hz処理

何が起きたか

論文「Online Hamilton-Jacobi Reachability Onboard the Robot Control Loop: A Real-Time GPU Solver for Safety-Critical Autonomy」が2026年11月3日、CUDAによるHamilton-Jacobi-Isaacsソルバーを発表した。単一のNVIDIA RTX 4000 Adaで、3D Air3Dの後方到達可能チューブ（BRT）を112Hz、4D追跡・回避問題を61Hzで計算する。組み込み機器のNVIDIA Jetson AGX Thorでも、Air3Dを66Hzで処理した。

詳細

実装はWENO5、TVD-RK3、Lax-Friedrichs法を組み合わせたレベルセット計算で、2D、3D、4Dのダイナミクスに対応する。RTX 4000 AdaでのFP32計算は、同精度のJAX版hj_reachabilityに対して5.9〜17.5倍、同じスキームをtorch.compileで再実装したものに対して1.7〜16倍高速だった。風の影響を受ける2Dドリフターは74〜147Hzである。 Jetson AGX ThorではAir3DをN=41で66Hz、2Dドリフターを54Hzで計算し、同機上のhj_reachability比で3.8〜8.9倍高速とした。FP64では8つのベンチマークケースでhj_reachabilityと一致し、MitchellのAir3D BRTを参照値のセル数に対して0.04%以内で再現した。マルチエージェント向けには、単一の統合HJ計算からK機の捕獲領域ボロノイ分割を復元するラベル伝播機能を加え、風が時間変化し一様でない6機のクアッドコプターによる山火事対応シミュレーションで、1ティック当たり4.0msとした。

Key Facts

本紙の見方

この研究の中心は、到達可能性解析そのものの新設ではなく、従来は状態次元に対する計算量の急増から主にオフラインで行われてきたHamilton-Jacobi（HJ）計算を、ロボット制御ループ内で扱える速度にした点にある。対象は2D〜4Dで、汎用的に高次元問題を解いたものではない。RTX 4000 Ada上の3D・4D計算に加え、Jetson AGX Thor上でも処理速度を示したことから、デスクトップ級GPUのベンチマークだけでなく組み込み計算機上の実行可能性も評価対象に含めた構成と読める。 安全性の設計上は、確率的な方策を置き換えるのではなく、その外側に決定論的な安全層を加えるという位置づけである。論文は、ADAS・自動運転、人型ロボット、視覚言語行動モデルなどでブラックボックス型の確率的方策が使われる状況に、形式的保証を持つ安全層が必要だと説明する。ただし、提示された結果は特定のベンチマークとシミュレーションに基づく。実ロボットの制御に組み込んだ場合のセンサー遅延、モデル誤差、状態推定の不確かさまで、この速度評価が保証するわけではない。 業界構造への含意は、制御方策の性能競争とは別に、安全制約を計算する処理を制御周期に収められるかが実装上の論点になることだ。とりわけ、同一ソルバーをRTX 4000 AdaとJetson AGX Thorで評価し、さらに複数機の捕獲領域を一つの統合HJ計算から求める拡張を示した点は、計算基盤を機体側へ移す場合と、複数機の安全・役割分担を扱う場合を同じ枠組みで検討する材料になる。一方、「艦隊規模に依存しない」とする機能説明は、山火事対応シミュレーションでの6機の結果と区別して読む必要がある。 次に確認すべきなのは、実機での閉ループ検証、対象ダイナミクスや状態次元を広げた際の処理時間、保証が成り立つモデル条件、センサー入力から安全介入までの遅延である。論文要旨はこれらの運用条件や実機導入の結果を示しておらず、ベンチマーク速度をそのまま製品の安全性能とみなすことはできない。

なぜ重要か

論文はHJ到達可能性計算について、Jetson AGX Thor上でAir3Dを66Hz、2Dドリフターを54Hzで処理した結果を示し、組み込みGPU上での安全制約計算を検討する根拠を提供した。一方、実機ロボットでの検証は要旨に記載されておらず、これらの速度が特定の機体の制御周期や安全性を満たすかは別途確認が必要である。