論文の概要: Formal, Executable and Explainable Runtime Monitoring of Spoken Air Traffic Control Operational Procedures
- arxiv url: http://arxiv.org/abs/2608.25926v1
- Date: Wed, 26 Aug 2026 15:37:00 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-27 14:15:15.888415
- Title: Formal, Executable and Explainable Runtime Monitoring of Spoken Air Traffic Control Operational Procedures
- Title（参考訳）: 航空交通制御運用手順の形式的,実行可能,説明可能な実行時モニタリング
- Abstract要約: 航空管制手順は、操縦士と操縦士の間の音声交換によって実行される。
本稿では,コントローラ-パイロット交換や監視データ,オンボード観測などをチェックすることで,このような手順を監視できる実行時検証フレームワークを提案する。
- 参考スコア（独自算出の注目度）: 39.55106892160682
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Air traffic control procedures are executed through spoken exchanges between controllers and pilots. These interactions are essential to the safety of air transportation: failures in their execution can create severe operational hazards, as evidenced by past fatal accidents. Assessing whether an instruction has been followed requires relating what was said to the aircraft concerned, its state, and the obligations that pilots must meet. We present a runtime verification framework that monitors such procedures by checking controller-pilot exchanges, surveillance data, and onboard observations. The framework parses radio communications into events linked to the entities they concern and merges them with surveillance and onboard observations into a time-stamped trace. The ICAO-derived obligations as formalized as temporal formulas with explicit time bounds and evaluated over execution traces. Every violation is reported along with the breached obligations and the observations that support the verdict. With real traffic, the complete pipeline reaches an F1 of 0.85 against blind human-annotated violations; in 1,495 synthetic situations derived from two public corpora, the monitor logic returns the expected verdict in every case. In two historical accidents reconstructed from official investigation reports, the monitor identifies the same procedural deviations documented by the investigators.
- Abstract（参考訳）: 航空管制手順は、操縦士と操縦士の間の音声交換によって実行される。
これらの相互作用は航空輸送の安全に不可欠であり、過去の致命的な事故によって証明されたように、その実行時の失敗は深刻な運用上の危険をもたらす可能性がある。
指示が守られたかどうかを評価するには、航空機に何と言われたか、その状態、そしてパイロットが満たさなければならない義務を関連付ける必要がある。
本稿では,コントローラ-パイロット交換や監視データ,オンボード観測などをチェックすることで,このような手順を監視できる実行時検証フレームワークを提案する。
このフレームワークは、無線通信を、彼らが懸念するエンティティに関連するイベントに解析し、それらを監視とオンボードの観測とマージして、タイムスタンプ付きトレースにする。
ICAO由来の義務は、明示的な時間境界を持つ時間式として形式化され、実行トレースよりも評価される。
違反はすべて、違反した義務や判決を支持する観察とともに報告される。
実際のトラフィックでは、完全なパイプラインは盲目な人間による注釈付き違反に対して0.85のF1に達する; 2つの公開コーパスから派生した1,495の合成状況では、監視ロジックはすべてのケースで予測された判定を返す。
公式の調査報告から復元された2つの歴史的事故において、モニターは調査員によって記録されたのと同じ手続き上の逸脱を特定する。
関連論文リスト
- Cognitive Admission Control: Risk-Conditioned Assurance for Consequential Actions in Agentic Distributed Systems [2.124730017640531]
エージェント分散システムでは、エージェントは外部のインフラを変更できるが、突然変異の実行準備が整っているという証拠は欠如している。
CAC(Cognitive Admission Control)は、この証拠を明示する。
ポリシーは、型付けされた行動とそのモデル化されたリスクを、述語、エビデンスクラス、スコープ、鮮度、証人セットの制約を指定する保証義務にマップする。
承認が成功すると、アクション、証人マニフェスト、ディスパッチタイムガードを結び付ける証明書が生成される。
論文 参考訳（メタデータ） (2026-09-14T20:20:54Z) - Beyond Semantic Accuracy: Consequence-Aware Evaluation for Safety-Critical Language Understanding [6.5835891807589775]
操縦士と操縦士の通信がほぼゼロに近いエラー耐性を必要とする航空交通管制の問題点について検討する。
結果認識評価を用いて,セマンティックスコアが動作の信頼性を損なうかどうかを判定する。
論文 参考訳（メタデータ） (2026-08-25T14:39:02Z) - Agent Safety Should Be a Runtime Contract [7.813225070853552]
エージェントの安全性は、ハーネスによって強制されるランタイム契約であるべきです。
予防顔は 危険な行動を妨害する
明らかな顔は 良い行動が実際に起こった証拠が必要です
論文 参考訳（メタデータ） (2026-08-11T08:01:05Z) - End-to-end Conditional Diffusion for Realistic and Controllable Visual Traffic Scenario Generation [59.188006170485046]
E2E-CDiffは、制御可能で現実的なシナリオ生成のためのエンドツーエンドの条件拡散フレームワークである。
微分可能な誘導は速度を規制し、乾燥可能な領域のコンプライアンスを強制し、衝突回避や衝突回避行動をサポートする。
E2E-CDiffは、学習ベースのエゴプランナーとしても競争力がある。
論文 参考訳（メタデータ） (2026-07-21T02:13:25Z) - Operational Hallucination and Safety Drift in AI Agents [0.3823356975862005]
ツール使用自律エージェントのプランナーとして機能する大規模言語モデル(LLM)は、マルチターン実行における動的信頼性のリスクを導入する。
本稿では,複数のLLM(Safety Drift)とOperational Hallucination(Operational Hallucination)の2つの障害モードを実証的に特徴付ける。
本稿では、インテント-アクション整合性チェック、状態追跡、強制終了プリミティブを組み込んだ、軽量でプラグ&プレイのアーキテクチャ青写真であるAction-Aware Supervision Layerを提案する。
論文 参考訳（メタデータ） (2026-07-20T17:01:50Z) - ExComm: Exploration-Stage Communication for Error-Resilient Agentic Test-Time Scaling [57.42714978834704]
ExCommは、探索段階のエージェントテストタイムスケーリングのための通信プロトコルである。
ExCommは、強いテスト時間スケーリングベースラインを一貫して上回ります。
論文 参考訳（メタデータ） (2026-05-21T07:38:44Z) - SOCpilot: Verifying Policy Compliance for LLM-Assisted Incident Response [0.5399800035598185]
SOCpilotは、コンプライアンスの質問を計画境界で測定可能にする。
インシデントパッケージ、アクションカタログ、ポリシールール、検証者、および公開エビデンスサーフェスを修正する。
論文 参考訳（メタデータ） (2026-05-06T22:51:18Z) - AI Incident Monitoring through a Public Health Lens [4.6715157943999595]
AIインシデントデータベースは、これらのイベントをインデックスするが、リスク関連システムとそのインシデント報告率に関する追加データなしでは、リスクを測定することはできない。
騒音や不完全な疾患の監視を前提とした公衆衛生プロセスにインスパイアされた私たちは,インシデント発生の6つのフェーズを特定した。
ケーススタディでは、ドメイン専門家のインシデントパネルが、自身のドメインの専門知識、インシデントデータ、統計および視覚化ツールのコレクションを組み合わせて、パブリックニーズを満たすインシデントフェーズ決定に到達できることが示されている。
論文 参考訳（メタデータ） (2026-04-21T18:47:59Z) - Noticing the Watcher: LLM Agents Can Infer CoT Monitoring from Blocking Feedback [48.40096834514452]
言語モデルエージェントの内部推論を監督する手法として,Chain-of-Thought(CoT)モニタリングを提案する。
我々は、推論エージェントが彼らのプライベートなCoTが監視下にあると自律的に推測できるかどうかを尋ねる。
フェデラーモデルでは、フィードバックをブロックすることで、このモニターの存在を純粋に推測することができる。
論文 参考訳（メタデータ） (2026-03-14T00:12:14Z) - Agents of Chaos [50.53354213047402]
実験室環境に展開する自律言語モデルを用いたエージェントの探索的再チームの研究を報告する。
20人のAI研究者が、良心的および敵対的な条件下でエージェントと対話した。
我々の発見は、現実的なデプロイメント設定におけるセキュリティ、プライバシ、ガバナンスに関連する脆弱性の存在を確立します。
論文 参考訳（メタデータ） (2026-02-23T16:28:48Z) - Detecting Object Tracking Failure via Sequential Hypothesis Testing [80.7891291021747]
ビデオにおけるリアルタイムのオンラインオブジェクト追跡は、コンピュータビジョンにおける中核的なタスクである。
本稿では,物体追跡を逐次的仮説テストとして解釈することを提案する。
本研究では,地中追跡情報と内部追跡情報の両方を活用することにより,教師なしと教師なしの両方の変種を提案する。
論文 参考訳（メタデータ） (2026-02-13T14:57:15Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。