[논문 리뷰] Multi-Agent Pathfinding (MAPF) with Continuous Time.

Anton Andreychuk, Konstantin Yakovlev외 2명|arXiv (Cornell University)|2019. 01. 16.

Robotic Path Planning Algorithms인용 수 10

한 줄 요약

이 논문은 연속 시간, 연속 공간, 그리고 부피를 가진 에이전트를 고려한 완전하고 증명 가능하게 최적의 다중 에이전트 경로 계획(MAPF) 알고리즘을 제안한다. 이는 연속 시간 단일 에이전트 계획을 위한 SIPP와 충돌 기반 탐색(CBS)을 조합함으로써 달성된다. 이 방법은 이산 시간과 균일한 동작 비용 가정을 제거하여 복잡하고 현실적인 환경에서 최적의 해를 도출할 수 있다.

ABSTRACT

MAPF is the problem of finding paths for multiple agents such that every agent reaches its goal and the agents do not collide. Most prior work on MAPF were on grid, assumed all actions cost the same, agents do not have a volume, and considered discrete time steps. In this work we propose a MAPF algorithm that do not assume any of these assumptions, is complete, and provides provably optimal solutions. This algorithm is based on a novel combination of SIPP, a continuous time single agent planning algorithms, and CBS, a state of the art multi-agent pathfinding algorithm. We analyze this algorithm, discuss its pros and cons, and evaluate it experimentally on several standard benchmarks.

연구 동기 및 목표

• 이산 시간, 균일한 동작 비용, 영제로된 에이전트 크기 가정을 내포한 이전 MAPF 연구의 한계를 해결한다.
• 에이전트가 물리적 부피를 지닌 연속 시간과 연속 공간에서 최적이고 완전한 다중 에이전트 경로 계획을 가능하게 한다.
• 연속 시간 단일 에이전트 계획과 다중 에이전트 충돌 해소를 통합하는 프레임워크를 개발한다.
• 현실적인 가정 하에 완전성과 최적성에 대한 이론적 보장을 제공한다.
• 표준 벤치마크에서의 평가를 통해 실용적 성능과 강건성을 입증한다.

제안 방법

• SIPP(Safe Intervals Plug-in)를 연속 시간과 변동하는 동작 비용을 처리할 수 있도록 단일 에이전트 경로 계획에 적응시킨다.
• SIPP를 CBS(충돌 기반 탐색)와 통합하여 계층적이고 최적의 방식으로 다중 에이전트 간 충돌을 해결한다.
• 시간 간격을 포함한 연속 궤적으로 에이전트 경로를 표현하여 시간 단위의 이산화를 피한다.
• 안전 간격을 사용해 연속 시간에서의 시간적 타당성과 충돌 방지를 표현한다.
• 각 노드가 충돌 해소 단계를 나타내는 탐색 트리를 구성하며, SIPP를 이용해 최적 경로를 재계산한다.
• 모든 가능한 충돌 해소를 체계적으로 탐색함으로써 완전성을 확보하고, 가지치기와 함께 유계 비최적 탐색을 통해 최적성을 확보한다.

실험 결과

연구 질문

• RQ1 연속 시간과 연속 공간에서 작동하는 MAPF 알고리즘이 증명 가능한 최적성과 완전성을 달성할 수 있는가?
• RQ2 SIPP와 CBS의 통합은 변수 동작 비용, 에이전트 부피, 연속 시간 등의 현실적인 가정 하에서 어떻게 성능을 발휘하는가?
• RQ3 이산 시간 단위를 제거함으로써 해의 품질과 계산 효율성에 어떤 영향을 미치는가?
• RQ4 최적성과 확장성 측면에서 이론적 기반을 가진 이산 시간 MAPF 접근법과 비교해 본다면, 제안된 방법은 어떠한가?

주요 결과

• 제안된 알고리즘은 연속 시간, 연속 공간, 비영제로된 에이전트 부피 조건 하에서 완전하고 증명 가능하게 최적이다.
• 이 방법은 이산 시간 단위와 균일한 동작 비용의 필요성을 성공적으로 제거하여 현실적인 경로 계획을 가능하게 한다.
• 실험적 평가 결과, 복잡한 벤치마크에서 연속 역학을 처리하면서도 최적성을 유지함을 입증했다.
• SIPP와 CBS의 통합은 해의 품질을 희생시키지 않고 효율적인 충돌 해소를 가능하게 한다.
• 변동하는 속도와 에이전트 크기와 같은 도전적인 조건에서도 표준 MAPF 벤치마크에서 강건함을 보였다.
• 이 알고리즘은 연속 시간 계획이 요구되는 실세계 MAPF 응용 분야에 대한 이론적이고 실용적인 기반을 제공한다.