[논문 리뷰] Multi-Agent Path Finding with Delay Probabilities

Hang Ma, T. K. Satish Kumar외 1명|arXiv (Cornell University)|2016. 12. 15.

Robotic Path Planning Algorithms인용 수 28

한 줄 요약

이 논문은 확률적 지연을 통한 비완전한 계획 실행을 모델링하는 데 사용되는 Multi-Agent Path Finding with Delay Probabilities (MAPF-DP) 프레임워크를 소개한다. 평균 제작시간이 낮고 충돌을 방지하는 계획을 생성하기 위해 두 수준의 솔버인 Approximate Minimization in Expectation (AME)와 탈중앙화된 강건한 실행 정책(MCPs 및 FSPs)을 제안한다. 이는 최대 200명의 에이전트를 포함하는 큰 인스턴스에서도 확장 가능한 성능을 달성한다.

ABSTRACT

Several recently developed Multi-Agent Path Finding (MAPF) solvers scale to large MAPF instances by searching for MAPF plans on 2 levels: The high-level search resolves collisions between agents, and the low-level search plans paths for single agents under the constraints imposed by the high-level search. We make the following contributions to solve the MAPF problem with imperfect plan execution with small average makespans: First, we formalize the MAPF Problem with Delay Probabilities (MAPF-DP), define valid MAPF-DP plans and propose the use of robust plan-execution policies for valid MAPF-DP plans to control how each agent proceeds along its path. Second, we discuss 2 classes of decentralized robust plan-execution policies (called Fully Synchronized Policies and Minimal Communication Policies) that prevent collisions during plan execution for valid MAPF-DP plans. Third, we present a 2-level MAPF-DP solver (called Approximate Minimization in Expectation) that generates valid MAPF-DP plans.

연구 동기 및 목표

• 스토케스틱 지연으로 인한 비완전한 계획 실행을 모델링하기 위해 Multi-Agent Path Finding 문제에 지연 확률을 통합한 MAPF-DP를 수학적으로 정의한다.
• 유효한 MAPF-DP 계획을 정의하고, 실행 중 충돌을 방지하는 강건하고 탈중앙화된 계획 실행 정책을 제안한다.
• 낮은 평균 제작시간을 갖는 유효한 MAPF-DP 계획을 생성할 수 있는 확장 가능한 두 수준의 솔버인 Approximate Minimization in Expectation (AME)를 개발한다.
• 다양한 계획 실행 정책—최소 통신 정책(MCPs), 완전 동기화 정책(FSPs), 비강건한 가짜 정책—이 불확실성 하에서 어떻게 영향을 미치는지 평가한다.
• 강건한 실행 정책이 에이전트 수가 증가함에 따라 충돌을 크게 줄이고 낮은 평균 제작시간을 유지함을 입증한다.

제안 방법

• 에이전트가 이동 동작을 수행할 때 지연 확률을 갖는 문제로 MAPF-DP를 수식화하여, 해당 확률로는 그 자리에 머무르게 된다.
• 지연 확률 하에서 충돌 없이 실행 가능한 경로를 보장하는 유효한 MAPF-DP 계획을 기다림과 이동 동작의 시퀀스로 정의한다.
• 정점 및 간선 충돌을 방지하도록 설계된 탈중앙화된 강건한 실행 정책 두 가지 유형—최소 통신 정책(MCPs)과 완전 동기화 정책(FSPs)—을 제안한다.
• 고수준 충돌 해결과 제약 조건 하의 저수준 경로 계획을 동시에 수행하는 두 수준의 솔버인 Approximate Minimization in Expectation (AME)를 구현한다.
• 기대 제작시간을 추정하고 고수준 탐색을 낮은 기대 실행 시간을 갖는 계획으로 유도하기 위해 신뢰도 상태 근사치를 사용한다.
• 1,000회 반복한 몬테카를로 시뮬레이션을 통해 평균 제작시간, 충돌 비율, 통신 비용(전송 메시지 수)을 측정하여 계획 실행 성능을 평가한다.

실험 결과

연구 질문

• RQ1 MAPF 문제는 알려진 지연 확률을 고려해 어떻게 확장하여 비완전한 계획 실행을 모델링할 수 있는가?
• RQ2 스토케스틱 지연 하에서 MAPF-DP에서 충돌을 방지할 수 있는 탈중앙화된 강건한 계획 실행 정책의 유형은 무엇인가?
• RQ3 AME와 같은 두 수준의 솔버는 대규모 에이전트 수에 대비해 유효한 MAPF-DP 계획을 낮은 평균 제작시간으로 생성할 수 있는가?
• RQ4 다양한 실행 정책—MCPs, FSPs, 비강건한 가짜 정책—은 평균 제작시간과 충돌 비율에 어떤 영향을 미치는가?
• RQ5 불확실성 하에서 강건한 실행 정책의 통신 비용과 성능 간의 상충 관계는 어떠한가?

주요 결과

• AME는 50명의 에이전트를 포함한 인스턴스 94%를 5분 이내에 해결했으며, 평균 제작시간은 75.19였고, 평균 474.62건의 메시지가 전송되었다.
• 100명의 에이전트에 대해서는 68%의 인스턴스를 해결했으며, 평균 제작시간은 87.29였고, 평균 1,554.71건의 메시지가 전송되었다. 에이전트 수 증가에 따라 성능 저하가 부드럽게 나타났다.
• MCPs의 평균 제작시간은 가짜 정책과 거의 유사했지만(예: 랜덤 1에서 71.28 대비 71.96), 충돌 수는 설계상 16.68에서 0으로 감소시켰다.
• FSPs의 평균 제작시간은 높았고(예: 랜덤 1에서 140.29 대비 71.28), 메시지 수 역시 크게 증가했다(23,109 대비 267). 이는 높은 통신 비용을 의미한다.
• 창고 환경에서는 MCPs가 낮은 평균 제작시간(예: 창고 1에서 122.42)과 낮은 충돌 수(34.59)를 유지했지만, FSPs는 높은 비용과 더 긴 제작시간을 보였다.
• AME가 추정한 근사 평균 제작시간과 실제 평균 제작시간 간의 차이가 합리적이었으며(예: 랜덤 1에서 약 6% 이내), 추정 정확도가 높음을 시사한다.