[論文レビュー] Reachability-Based Safety and Liveness of Unmanned Aerial Vehicle Platoons on Air Highways

Mo Chen, Qie Hu+4 more|arXiv (Cornell University)|Feb 25, 2016

Robotic Path Planning Algorithms被引用数 2

ひとこと要約

本稿では、大規模な無人航空交通における取り扱い可能な安全保証とライブネス保証を可能にするために、航空高速道路に沿った無人航空機（UAV）のプラトー二ングフレームワークを提案する。ハミルトニアン＝ジャコビの到達可能性解析とファストマーチング法を用い、モード遷移における安全を保証するとともに、リアルタイムでの高速道路再構成を支援し、1つの高度範囲あたり1回までの安全違反が許容される範囲で、形式的保証に基づく安全を実現する。

ABSTRACT

Recently, there has been immense interest in using unmanned aerial vehicles (UAVs) for civilian operations. As a result, unmanned aerial systems traffic management is needed to ensure the safety and goal satisfaction of potentially thousands of UAVs flying simultaneously. Currently, the analysis of large multi-agent systems cannot tractably provide these guarantees if the agents' set of maneuvers is unrestricted. In this paper, platoons of UAVs flying on air highways is proposed to impose an airspace structure that allows for tractable analysis. For the air highway placement problem, the fast marching method is used to produce a sequence of air highways that minimizes the cost of flying from an origin to any destination. The placement of air highways can be updated in real-time to accommodate sudden airspace changes. Within platoons traveling on air highways, each vehicle is modeled as a hybrid system. Using Hamilton-Jacobi reachability, safety and goal satisfaction are guaranteed for all mode transitions. For a single altitude range, the proposed approach guarantees safety for one safety breach per vehicle, in the unlikely event of multiple safety breaches, safety can be guaranteed over multiple altitude ranges. We demonstrate the platooning concept through simulations of three representative scenarios.

研究の動機と目的

• 自由な運動が許可される大規模なUAV交通において、安全と目的達成を保証する課題に対処すること。
• 空域を航空高速道路で構造化することにより、マルチエージェントシステム解析における計算の非効率性を低減すること。
• 突然の空域変更に応じて、空域高速道路の構成をリアルタイムで適応可能にすること。
• 到達可能性解析を用いた形式的検証により、UAVプラトーの安全とライブネスを保証すること。
• 1台の車両あたり複数回の安全違反が許容される状況においても、複数の高度範囲にわたり安全保証を拡張すること。

提案手法

• UAVのプラトー内での動作をハイブリッドシステムとしてモデル化し、離散的モード遷移と連続的ダイナミクスを捉える。
• 出発地から任意の目的地への飛行コストを最小化する最適な高速道路経路を計算するために、ファストマーチング法を適用する。
• ハミルトニアン＝ジャコビの到達可能性を用いて到達集合を計算し、すべてのモード遷移において安全と目的達成を検証する。
• 複数回の安全違反が許容される状況を管理するため、空域を離散的な高度範囲に分割する。
• 動的な空域変化に応じて高速道路配置をリアルタイムで更新する統合を実施する。
• 3つの代表的なUAVプラトーイングシナリオのシミュレーションを通じて、フレームワークの妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 UAVプラトーのスケーラブルな安全分析を可能にするために、飛行コストを最小化しつつ、空域高速道路を最適に配置する方法は何か？
• RQ2 UAVプラトー内のモード遷移中に安全とライブネスを保証する形式的技法は何か？
• RQ3 複数回の安全違反が発生する場合でも、安全保証を維持できるか。その場合の条件は何か？
• RQ4 突然の空域変更に応じて、空域高速道路の構成をどのようにリアルタイムで更新できるか？
• RQ5 到達可能性解析は、大規模なUAV運用において、どの程度目的達成と安全を保証できるか？

主な発見

• ファストマーチング法は、飛行コストを最小化しつつ、スケーラブルな解析を可能にする高速道路を成功裏に生成した。
• ハミルトニアン＝ジャコビの到達可能性は、UAVプラトー内すべてのモード遷移において安全と目的達成を保証した。
• 1つの高度範囲内では、1台の車両あたり1回までの安全違反が許容される範囲で安全が保証された。
• 複数回の安全違反が発生する場合でも、構造的な計画により複数の高度範囲にわたり安全を維持できる。
• 動的な空域状況に適応するため、空域高速道路のリアルタイム再構成をサポートする。
• 3つの代表的シナリオのシミュレーションにより、プラトーイングアプローチの実現可能性と耐障害性が検証された。