[論文レビュー] Efficient Optimal Planning in non-FIFO Time-Dependent Flow Fields

James Ju Heon Lee, Chanyeol Yoo+2 more|arXiv (Cornell University)|Sep 5, 2019

Optimization and Search Problems被引用数 5

ひとこと要約

本稿では、到着時刻の関数として区分的定数関数で表されるエッジ通過時間を持つ、非FIFOなフローフィールドにおける最適な時変パスプランニングの多項式時間アルゴリズムを提示する。区分的定数関数を効率的に表現するデータ構造を活用し、サンプリングベースのフレームワークに統合することで、時間変動する海洋流速の下での自律走行車両の漸近的最適なプランニングが可能となり、性能バウンダリーが明確に保証される。

ABSTRACT

We propose an algorithm for solving the time-dependent shortest path problem in flow fields where the FIFO (first-in-first-out) assumption is violated. This problem variant is important for autonomous vehicles in the ocean, for example, that cannot arbitrarily hover in a fixed position and that are strongly influenced by time-varying ocean currents. Although polynomial-time solutions are available for discrete-time problems, the continuous-time non-FIFO case is NP-hard with no known relevant special cases. Our main result is to show that this problem can be solved in polynomial time if the edge travel time functions are piecewise-constant, agreeing with existing worst-case bounds for FIFO problems with restricted slopes. We present a minimum-time algorithm for graphs that allows for paths with finite-length cycles, and then embed this algorithm within an asymptotically optimal sampling-based framework to find time-optimal paths in flows. The algorithm relies on an efficient data structure to represent and manipulate piecewise-constant functions and is straightforward to implement. We illustrate the behaviour of the algorithm in an example based on a common ocean vortex model in addition to simpler graph-based examples.

研究の動機と目的

• FIFO仮定が成り立たない時間依存的で非FIFOなフローフィールドにおける最適パスプランニングの課題に取り組むこと。特に、海洋を航行する自律走行車両を想定する。
• FIFOでない行動を示すが、依然として多項式時間で解けるとされる、時間依存最短経路（TDSP）問題のこれまで未発見の特殊ケースを同定すること。
• 実世界の応用に適した実用的で効率的なアルゴリズムを構築し、海洋および大気の流れ分野への適用に向けた明確な性能バウンダリーを提供すること。
• TDSPの解をサンプリングベースのプランニングフレームワーク（例：PRM*）に統合し、連続的な流れ分野における漸近的最適なパスプランニングを実現すること。
• すべてのノードと時刻から最適な行動を出力するポリシーに基づくソリューションを提供し、自律システムにおける動的再プランニングを可能にすること。

提案手法

• アルゴリズムは、区分的定数関数として表現・操作するための効率的なデータ構造を用い、関数の合成および最小化演算を高速に実行可能である。
• 区分的定数関数を用いたグラフ上の時間依存最短経路問題を定式化し、時間区間を走査する動的計画法を用いて最適到着時刻とポリシーを求める。
• コアアルゴリズムは、各ノードと時刻から目的ノードまでの最小時間経路を計算し、最適な待機および遷移意思決定を反映した時変ポリシーを生成する。
• ソリューションはサンプリングベースのフレームワーク（例：PRM*）に埋め込まれており、空間的サンプルから構築されたグラフにおいて、流れ速度に基づいて時間変動コストがエッジに割り当てられる。
• 有限長のサイクルを含むパスをサポートしており、これはFIFOでない状況下でノードで待機することで全体の移動時間が短縮される場合に不可欠である。
• フレームワークは離散的グラフ例および連続的な2次元／3次元流れ分野（例：テイラー＝グリーン渦）に適用可能であり、実世界に類似した海洋流速データを用いて性能が評価されている。

実験結果

リサーチクエスチョン

• RQ1 実際の移動時間関数の仮定のもとで、非FIFOな流れ分野における時間依存最短経路問題が多項式時間で解けるか。
• RQ2 区分的定数関数を用いた非FIFO TDSPの意味のある特殊ケースが存在し、それが多項式時間で解けるか。
• RQ3 このようなソリューションを連続的流れ分野のサンプリングベースのプランニングフレームワークに効率的に統合できるか。
• RQ4 FIFO行動が破られる状況下で、時間変動する海洋流速におけるパスプランニングにどのような性能保証を提供できるか。
• RQ5 ノード数およびエッジ関数表現の複雑さが増加するに従い、アルゴリズムの効率性と最適性はどのようにスケーリングするか。

主な発見

• 区分的定数関数を用いた時間依存最短経路問題は、非FIFOの場合であっても多項式時間で解けることが示され、FIFO問題における既知の結果を拡張する。
• 本アルゴリズムは、すべてのノードと出発時刻に対して完全な時間最適ポリシーを計算し、動的再プランニングと不確実性への耐性を可能にする。
• 3×3グリッド例では、最適パスの移動時間12が14回の反復後に0.418秒で発見され、s1, s2, s4, s5を経由するサイクルを含んでいた。
• テイラー＝グリーン渦流れ分野では、合計移動時間42.599秒の最適パスが44回の反復後に583秒（標準ラップトップで）計算され、実現された。
• 最適な出発時刻選択が可能であり、流速の有利な条件により、t₀=12や25などの遅い出発が、早期の出発よりも短い移動時間で到達可能であることを示した。
• アルゴリズムの実行時間はノード数およびエッジ関数表現のサイズに関して多項式的であり、実用的展開に向けた強い理論的性能保証を提供する。