Secure Coordination for Vertiport Sequencing in Advanced Air Mobility

技術概要：高度空域モビリティにおける垂直離着陸場シーケンシングのための安全な調整

問題定義
垂直離着陸場（vertiport）近傍における高度空域モビリティ（AAM）の運用は、限られた着陸容量と不確実な到着時間の下で高密度な交通を管理するための信頼性の高い調整メカニズムを必要とする。現在の調整は、車両の識別と位置を提供するリモートIDなどの自己申告データに大きく依存している。しかし、この依存関係は脆弱性を生み出す：利己的な車両は有利な着陸スロットを確保するために到着予定時間（ETA）を戦略的に虚偽報告する可能性があり、また悪意のある行為者はシーケンシングを妨害または混雑を誘発するためにデータをスプーフィングする可能性がある。

自己申告データと外部監視（レーダーや光学追跡など）との比較は防御策となり得るが、監視推定値は測定ノイズや推定誤差により本質的に不確実である。その結果、監視の不確実性領域と整合する偽報告は、即座に拒絶することができない。これは、検出不可能でありながら潜在的に有害な偽報告が存在する可能性にもかかわらず、調整者が分離可能な到着スケジュールを割り当てなければならないという戦略的調整問題を生み出す。

手法
本論文は、二つの異なる偽情報源を区別し、それらに対抗するための堅牢なシーケンシング規則を定式化する、安全な垂直離着陸場シーケンシングの枠組みを提案する。

1. システムモデル:

   • システムは、共有される垂直離着陸場へ接近する $N$ 台の車両を含む。
   • 各車両 $i$ は真の ETA（$\tau_i$）を持ち、ETA を報告する（$\hat{\tau}_i = \tau_i + \delta_i$）。ここで、$\delta_i$ は報告の偏差である。
   • 調整者は、能動的監視システムを用いて独立した ETA 推定値を推論する。センシングの不確実性により、偏差 $\delta_i$ は不確実性整合集合 $\mathcal{U}_i$（例：区間 $[-\varepsilon_i, \varepsilon_i]$）に制約される。この集合外の報告は拒絶され、集合内の報告は真実のものとは区別できない潜在的な偽報告として扱われる。
   • 目的は、割り当てられた到着時刻（$a_i$）と真の ETA（$\tau_i$）の間の二乗調整の和として定義されるシステムレベルのシーケンシングコストを最小化することであり、最小時間間隔制約（$s_{min}$）を満足するものとする。

2. 堅牢定式化:
   本論文は、調整者と報告主体間の相互作用を、二つの堅牢最適化アプローチを用いてモデル化する：

   • 利己的虚偽報告（戦略的偏差）: ステルベルクゲームとしてモデル化される。利己的な車両は調整者の堅牢化パラメータ（$\theta$）を観察し、自身のスケジュール調整コストを最小化するように偏差 $\delta_i \in \mathcal{U}_i$ を選択する。調整者はこの最適反応行動を予測し、結果として生じるシステムコストを最小化するように $\theta$ を選択する。
   • 悪意あるスプーフィング（敵対的擾乱）: 最小最大問題としてモデル化される。外部攻撃者が車両のサブセット（$\mathcal{M}$）に対して偽報告を注入し、システムレベルのシーケンシングコストを最大化する（例：混雑や遅延の発生）。調整者は、これらの敵対的偏差によって引き起こされる最悪ケースのシステムコストを最小化するように $\theta$ を選択する。

3. シーケンシング規則:
   調整者は、報告された到着時刻を割り当てられたスケジュールにマッピングするパラメータ化されたシーケンシング規則 $S_\theta$ を採用する。パラメータ $\theta$ は、不確実性集合内の報告に対するシーケンシング結果の感度を低下させるように設計された、信頼性閾値や不確実性低減規則などの堅牢化措置を表す。

主な貢献と予定される結果
拡張抄録として、本論文は主に理論的枠組みを確立し、最終的な実験結果ではなく予定される数値研究の概要を示すものである。その貢献は以下の通りである：

• 脅威モデルの形式的区別: 本論文は、個人の利益を目的とした戦略的虚偽報告と、システム劣化を目的とした悪意あるスプーフィングを明示的に区別し、それぞれに対して異なる堅牢定式化を提案する。
• センシング不確実性下での堅牢設計: 完全な検出がセンサノイズにより不可能であることを認識し、監視整合不確実性集合における堅牢設計問題として垂直離着陸場シーケンシングを定式化する。
• 評価戦略の計画: 提案された規則を評価するための包括的な数値研究を提案する。本研究は以下の比較を計画している：
  • ベースラインシーケンシング: 報告された時刻を直接使用する。
  • 利己的堅牢シーケンシング: 戦略的偏差に対して最適化されたもの。
  • 悪意ある堅牢シーケンシング: 敵対的擾乱に対して最適化されたもの。
• 評価指標: 予定されている実験は、以下の定量化を目指す：
  • 堅牢性の効率損失（真実の報告下での堅牢性能とベースライン性能の比較）。
  • 堅牢性のセキュリティ便益（偽報告下での、堅牢規則ありとなしの性能比較）。
  • 交通密度、分離要件、監視ノイズ、および潜在的に信頼できない車両集合（$\mathcal{M}$）のサイズに対する感度。

重要性
本論文は、AAM の交通密度が増加しシーケンシングマージンが狭まるにつれて、偽情報の運用への影響は従来の航空交通管理よりも顕著になることを論じる。堅牢最適化を通じて監視データと自己申告情報を統合することで、提案された枠組みはシーケンシングメカニズムの信頼性を維持することを目指す。それは、「共有地の悲劇」（個々の車両がシステムをゲーム化すること）と能動的な敵対的攻撃の両方から保護し、センシング能力が不完全であっても垂直離着陸場の運用が安全かつ効率的であることを保証することを目指す。

著者らは、将来の研究においてこの枠組みを監視リソース割り当てに拡張することを指摘している。ここでは、調整者が特定の車両に対する不確実性を低減するために、解像度や電力などのセンシングリソースを動的に割り当て、それによって偽情報の可能性のある発生源に対するシーケンシング決定を強化する。