[논문 리뷰] Bidirectional Temporal Plan Graph: Enabling Switchable Passing Orders for More Efficient Multi-Agent Path Finding Plan Execution

Yifan Su, Rishi Veerapaneni외 1명|arXiv (Cornell University)|2023. 12. 30.

Robotic Path Planning Algorithms인용 수 4

한 줄 요약

이 논문은 다중 에이전트 경로 계획 실행 중에 공유 위치에서 에이전트 통과 순서를 동적으로 전환할 수 있도록 하는 새로운 그래픽 표현인 이방향 시간 계획 그래프(Bidirectional Temporal Plan Graph, BTPG)를 소개한다. 실행 지연 발생 시 '선도자 우선' 통과 방식을 허용함으로써 기존의 시간 계획 그래프(Temporal Plan Graph, TPG)에 비해 불필요한 대기 시간을 8–20% 감소시킨다. 이는 실행 불확실성 하에서 충돌 없고 死록 없이 계획을 수립할 수 있도록 하는 두 가지 anytime 알고리즘—BTPG-naïve 및 BTPG-optimized—을 통해 실현된다.

ABSTRACT

The Multi-Agent Path Finding (MAPF) problem involves planning collision-free paths for multiple agents in a shared environment. The majority of MAPF solvers rely on the assumption that an agent can arrive at a specific location at a specific timestep. However, real-world execution uncertainties can cause agents to deviate from this assumption, leading to collisions and deadlocks. Prior research solves this problem by having agents follow a Temporal Plan Graph (TPG), enforcing a consistent passing order at every location as defined in the MAPF plan. However, we show that TPGs are overly strict because, in some circumstances, satisfying the passing order requires agents to wait unnecessarily, leading to longer execution time. To overcome this issue, we introduce a new graphical representation called a Bidirectional Temporal Plan Graph (BTPG), which allows switching passing orders during execution to avoid unnecessary waiting time. We design two anytime algorithms for constructing a BTPG: BTPG-naïve and BTPG-optimized. Experimental results show that following BTPGs consistently outperforms following TPGs, reducing unnecessary waits by 8-20%.

연구 동기 및 목표

• 기존의 시간 계획 그래프(TPG)가 실행 지연으로 인한 불필요한 대기 시간을 유발하는 다중 에이전트 경로 계획에서의 비효율성을 해결하기 위해.
• 실행 중 공유 위치에서 통과 순서를 동적으로 전환할 수 있도록 하여 계획의 강건성 향상과 총 실행 시간 단축을 위해.
• 충돌 없고 死록 없이 실행되도록 보장하면서도 전환 가능한 의존성을 포착할 수 있는 새로운 그래픽 표현—이방향 시간 계획 그래프(BTPG)—를 개발하기 위해.
• 시간 제약 조건 하에서 BTPG를 효율적으로 구성하기 위한 anytime 알고리즘(BTPG-naïve 및 BTPG-optimized)을 설계하기 위해.
• 실제 지연 조건 하에서 BTPG 기반 실행이 TPG 기반 실행보다 대기 시간 감소 및 실행 효율 향상 측면에서 뛰어나다는 경험적 검증을 수행하기 위해.

제안 방법

• 시간 계획 그래프(TPG)의 확장으로서 이방향 시간 계획 그래프(BTPG)를 제안하여, 공유 위치에서 전환 가능한 통과 순서를 나타내는 이중 방향 간선을 허용한다.
• 통과 순서를 전환할 수 있도록 하는 '이중 방향 쌍' 개념을 도입한다. 이는 TPG 내의 유형-2 간선 쌍으로, 실행 중에 방향을 뒤집을 수 있다.
• 두 가지 anytime 알고리즘—BTPG-naïve와 BTPG-optimized—을 설계한다. BTPG-naïve는 싱글턴 유형-2 간선을 대상으로 깊이 우선 탐색을 수행하여 잠재적 이중 방향 쌍을 식별하고, BTPG-optimized는 더 효율적인 깊이 우선 탐색과 가지치기를 활용하여 시간 예산 내에서 더 많은 쌍을 탐색한다.
• 실행 중 통과 순서가 전환되더라도 여전히 충돌 없고 死록 없이 보장되는 충분 조건을 정의한다.
• 실행 불확실성을 시뮬레이션하기 위해 MAPF-DP 모델을 사용한다. 이 모델은 각 비지연 타임스텝에서 30% 확률로 에이전트가 지연될 수 있도록 설정되며, 현실적인 환경에서 성능을 평가한다.
• 각 인스턴스당 10개의 랜덤 시드를 사용하는 시뮬레이션 프레임워크를 활용하여 총 3,900회의 시뮬레이션을 수행하고, 다양한 지도와 에이전트 수에서 BTPG와 TPG 실행 성능을 비교한다.

((a)) Scenario 1.

실험 결과

연구 질문

• RQ1 공유 위치에서 에이전트의 통과 순서를 전환함으로써 충돌이나 死록 없이 불필요한 대기 시간을 줄일 수 있는 조건는 무엇인가?
• RQ2 안전 보장을 유지하면서도 전환 가능한 의존성을 포착할 수 있는 그래픽 표현은 어떻게 설계할 수 있는가?
• RQ3 anytime 알고리즘이 BTPG를 얼마나 효율적으로 구성하여 에이전트 지연 상황에서 실행 효율을 향상시킬 수 있는가?
• RQ4 BTPG 기반 실행의 성능은 총 실행 시간과 대기 시간 감소 측면에서 TPG 기반 실행과 비교해 어떻게 다른가?
• RQ5 BTPG 구축 과정에서 알고리즘 실행 시간과 발견된 이중 방향 쌍의 수 사이의 상충 관계는 어떠한가?

주요 결과

• BTPG 기반 실행은 모든 테스트 지도와 에이전트 수에서 기존 TPG 기반 실행 대비 불필요한 대기 시간을 8–20% 감소시켜 일관되게 뛰어난 성능을 보였다.
• 3,900회의 시뮬레이션 전부에서 BTPG의 성능 향상은 음수가 아니었으며, 41.9%의 인스턴스에서 10–20% 향상, 31.2%는 20% 이상 향상된 바 있었다.
• BTPG-optimized는 BTPG-naïve보다 발견한 이중 방향 쌍의 수와 실행 시간 향상 측면에서 뛰어나며, 특히 시간 제약 조건 하에서 두각을 나타냈다.
• 사용된 이중 방향 쌍은 전체의 약 10%에 불과하지만, 이는 대부분의 성능 향상 기여를 하며, 쌍당 효율성이 매우 높음을 시사한다.
• BTPG-optimized 알고리즘은 BTPG-naïve보다 더 나은 anytime 성능을 보였으며, 더 효과적인 깊이 우선 탐색 가지치기를 통해 동일한 시간 예산 내에서 더 많은 이중 방향 쌍을 발견했다.
• BTPG-optimized의 실행 시간은 BTPG-naïve보다 높지만, 이는 효율성 부족 때문이 아니라 더 많은 쌍을 탐색하기 때문이며, 성능 향상에 비례하는 추가 비용으로 간주된다.

((b)) Scenario 2.