20-22 June 2025

本研究は、空港の滑走路管理における安全性と拡張性の課題に対し、離散コントローラ合成（Discrete Controller Synthesis）を用いた形式化手法を提案するものである。コントローラ合成における「状態爆発」問題を解決するため、航空機を「可動状態」と「停止状態（駐機中）」に分類して抽象化する、情報分離に基づく状態削減技術を新たに導入した。実験の結果、本手法は安全な運用論理を保証しつつ、計算コストとメモリ消費量を大幅に削減（最大96.54%減）することに成功し、より大規模な運用への適応可能性を示した。