都市峡谷でのGNSS/IMU密結合向けインクリメンタルスムージングに基づくARAIM保護レベル

- tightly coupled GNSS/IMU の factor graph optimization (FGO) の事後分布上で ARAIM の solution separation と protection level (PL) を定式化する研究。 - 従来 ARAIM は snapshot GNSS 推定向けであり、相関を持つ FGO の事後分布には直接適用できなかった。 - 都市峡谷での tightly coupled GNSS/IMU 統合を対象に、PL の妥当性・availability を監視層と共に扱う。

- 先行の ARAIM は snapshot GNSS 推定を前提とし、FGO の相関付き事後分布を扱えなかった。 - 本研究は fault-excluded の位置共分散・solution separation・nominal-bias 伝播を、線形化した current-state marginal から厳密に導出。 - 全状態反転や graph 再最適化を繰り返さずに fault-free・単一衛星・constellation-wide・second-order 仮説を評価可能にした点が新しい。

- current-epoch の pseudorange factor は fixed-lag information matrix の current-state block にのみ入る性質を利用。 - 線形化 current-state marginal から fault-excluded 位置共分散・solution separation・nominal-bias 伝播を計算。 - Woodbury 更新と selected-output evaluation で、全状態反転や再最適化なしに各 fault 仮説の量を算出。 - 周辺の monitoring layer が測定値スクリーニング、post-fit outlier 処理、PL の validity/availability 判定を担う。

- 2 つの道路実験で、PL-valid な epoch において nominal 系列が水平・垂直とも 100% の empirical bounding を達成。 - 最大 error-to-PL 比は 0.96。 - 同一 Experiment A 事後分布で、直接的全状態反転と比べ fault-hypothesis 評価と PL 求解時間を 65.2% 削減し、integrity 判定は一致。 - 制御された fault injection で fail-safe な PL invalidation を示し、ナビゲーションは継続。

- 正規化誤差から、事後共分散だけでは緩やかに変動する ranging bias を捉えられないと示唆。 - 同じ事後分布から共分散のみで作った bound には余裕が残らず、強い時間相関のため実証は integrity budget の検証ではなく consistency check に留まる。 - 実験は 2 つの道路実験に限られ、一般化や integrity budget の実証には更なる検証が必要との議論。

- 本論文が比較する direct full-state inversion による ARAIM/PL 計算。 - 基盤となる ARAIM の solution separation 法。 - tightly coupled GNSS/IMU の factor graph optimization (FGO)。 - Woodbury 更新を用いた marginal covariance 計算。 - 都市峡谷向け GNSS integrity monitoring の関連研究。