[論文レビュー] 3D traffic flow model for UAVs

Mirmojtaba Gharibi, Raouf Boutaba+1 more|arXiv (Cornell University)|Sep 11, 2019

Traffic control and management参考文献 31被引用数 5

ひとこと要約

本稿では、ドローンおよび地上車両を対象として、従来のレーンベースのモデリングに代わる密度/容量視点（DCV）を採用する新規な3次元微視的交通流モデル、スカラー容量モデル（SCM）を提案する。このモデルはスカラー容量パラメータを用いて、遮断（通過不可）または通過（追い越し可）の動作モードを動的に切り替える。遮断モードでは線形の局所的・ストリング安定性を示し、解析的に解ける。非線形安定性については数値的証拠が得られ、通過モードでは漸近的挙動が明確に証明されている。

ABSTRACT

In this work, we introduce a microscopic traffic flow model called Scalar Capacity Model (SCM) which can be used to study the formation of traffic on an airway link for autonomous Unmanned Aerial Vehicles (UAV) as well as for the ground vehicles on the road. Given the 3D nature of UAV flights, the main novelty in our model is to eliminate the commonly used notion of lanes and replace it with a notion of density and capacity of flow, but in such a way that individual vehicle motions can still be modeled. We name this a Density/Capacity View (DCV) of the link capacity and how vehicles utilize it versus the traditional One/Multi-Lane View (OMV). An interesting feature of this model is exhibiting both passing and blocking regimes (analogous to multi-lane or single-lane) depending on the set scalar parameter for capacity. We show the model has linear local (platoon) and string stability. Also, we perform numerical simulations and show evidence for non-linear stability. Our traffic flow model is represented by a nonlinear differential equation which we transform into a linear form. This makes our model analytically solvable in the blocking regime and piece-wise analytically solvable in the passing regime.

研究の動機と目的

• 空域に明確なレーンが存在しないことから、ドローン用にスケーラブルかつ3次元対応可能な交通流モデルが不足している問題に対処すること。
• 従来のワン/マルチレーンビュー（OMV）に代わる、混雑度と容量の閾値に基づいて流れをモデル化する密度/容量視点（DCV）を導入すること。
• 複雑な追い越し計画の抽象化により、ドローンおよび地上車両の両方に適用可能な統一的な微視的モデルを構築すること。
• スカラー容量パラメータを用いて、遮断モードおよび通過モードの両方で解析的可解性と安定性解析を可能にすること。
• 容量パラメータに基づく遮断と通過の挙動の遷移を特徴づけ、追い越し発生の条件を証明すること。

提案手法

• 本モデルは、前方の車両の加重密度に基づいて車両速度を表す非線形微分方程式を用いる。加重は距離に応じて指数関数的に減衰する。
• スカラー容量パラメータ κ が閾値未満か超過かに応じて、遮断モード（通過不可）または通過モード（追い越し可）にシステムが遷移する。
• 遮断モードでは解析的取り扱いを容易にするために線形形式に変換され、通過モードでは区分的線形形式に変換される。
• 速度関数は、各前方車両までの距離に指数関数的加重を適用し、車両の前方視界における混雑度の影響を統合する。
• 遮断モードでは、線形局所的（列車）安定性およびストリング安定性の証明を用いて安定性を分析し、非線形安定性については数値シミュレーションによる支援が得られる。
• 通過モードにおける漸近的挙動は、定理を用いて、速い車両が遅い車両を追い抜くかどうか、およびすべての追い越しが完了した後の最終的な車両順序を特定する。

実験結果

リサーチクエスチョン

• RQ1 3次元ドローン空域において、レーンベースの構造に依存しない微視的交通流モデルはどのように設計できるか？
• RQ2 ドローン交通流における遮断モードと通過モードの遷移を制御するスカラーパラメータは何か？
• RQ3 本モデルにおいて、速いドローンが遅いドローンを効果的に追い抜く条件は何か？
• RQ4 モデルは遮断モードおよび通過モードの両方で解析的に解けるか？その結果、安定性にどのような意味を持つのか？
• RQ5 通過モードにおいてモデルの挙動はどのように漸近的に収束し、最終的な車両順序はどのような要因によって決定されるか？

主な発見

• 遮断モードでは、解析的導出により線形の局所的・ストリング安定性が証明された。
• 数値シミュレーションにより非線形安定性の証拠が得られ、線形近似を超えるロバストネスが裏付けられた。
• 通過の閾値は明確に特定された：速度が V₁ > V₀ である2台の車両について、追い越しは κ > V₁/(V₁ - V₀) である場合にかつその場合に限り発生する。
• 通過モードでは、モデルが漸近的に速い車両が遅い車両を追い抜くか、およびすべての追い越し完了後の最終的な車両順序を特定する。
• プラトー分割補題により、速い車両が先行している場合、リーダーと同等の速度を持つ車両は、時間の経過とともに頭上距離が発散するため、列車に合流できないことが証明された。
• 遮断モードでは解析的に解ける一方、通過モードでは区分的解析的に解けるため、厳密な安定性および挙動解析が可能となった。