[논문 리뷰] Efficient Optimal Planning in non-FIFO Time-Dependent Flow Fields

James Ju Heon Lee, Chanyeol Yoo외 2명|arXiv (Cornell University)|2019. 09. 05.

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 상황에서 노드에서 대기하는 것이 전체 이동 시간을 개선할 수 있다는 점에서 필수적이다.
• 프레임워크는 이산 그래프 예제와 연속적인 2D/3D 흐름장(예: Taylor-Green 비틀림 모델) 모두에 적용되며, 실제 해양 조류 데이터와 유사한 환경에서 성능 평가가 이루어진다.

실험 결과

연구 질문

• RQ1 실제 이동 시간 함수에 대한 현실적인 가정 하에 비FIFO 흐름장에서 시간에 따라 변하는 최단경로 문제는 다항 시간 내에 해결 가능한가?
• RQ2 조각별 일정 간선 함수를 갖는 비FIFO TDSP의 의미 있는 특수 케이스 중에서 다항 시간 내에 해결 가능한 것이 존재하는가?
• RQ3 이러한 해법은 연속적인 흐름장에서 샘플링 기반 계획 프레임워크에 어떻게 효율적으로 통합될 수 있는가?
• RQ4 FIFO 행동이 위반될 경우 시간에 따라 변하는 해양 조류에서 경로 계획에 대해 어떤 성능 보장을 제공할 수 있는가?
• RQ5 노드 수와 간선 함수 표현의 복잡성에 따라 알고리즘의 효율성과 최적성은 어떻게 스케일링되는가?

주요 결과

• 조각별 일정 간선 이동 시간 함수를 갖는 시간에 따라 변하는 최단경로 문제는 비FIFO 케이스에서도 다항 시간 내에 해결 가능하며, FIFO 문제에 대한 기존 결과를 확장한다.
• 알고리즘은 모든 노드와 출발 시간에서 완전한 시간 최적 정책을 계산하여 동적 재계획 및 불확실성에 대한 강건성을 보장한다.
• 3×3 격자 예제에서 최적 경로의 이동 시간이 12인 경우, 14회의 반복 후 0.418초 만에 발견되었으며, s1, s2, s4, s5를 순환하는 경로를 포함한다.
• Taylor-Green 비틀림 흐름장에서 알고리즘은 총 이동 시간 42.599초인 최적 경로를 계산하였으며, 표준 랩탑에서 44회의 반복 후 583초 만에 도달하였다.
• 알고리즘은 최적의 출발 시간 선택을 지원하며, 유리한 조류 조건으로 인해 더 늦은 출발(예: t₀=12 또는 25)이 더 짧은 이동 시간을 제공할 수 있음을 보여준다.
• 알고리즘의 실행 시간은 노드 수와 간선 함수 표현의 크기에 대해 다항식으로 증가하므로, 실용적 구현에 강력한 이론적 성능 보장을 제공한다.