[논문 리뷰] Asynchronous Decentralized Algorithm for Space-Time Cooperative Pathfinding

Michal Čáp, Peter Novák외 2명|arXiv (Cornell University)|2012. 10. 25.

Robotic Path Planning Algorithms참고 문헌 9인용 수 6

한 줄 요약

이 논문은 공간-시간 협동 경로 계획을 위한 이방형 분산 알고리즘인 ADPP와 IADPP를 제안한다. 이 알고리즘들은 다른 엔티티로부터의 업데이트에 즉각적으로 반응하여 동기화 블로킹을 방지한다. 중심화된 솔버보다 최대 65% 빠른 벽시계 실행 시간을 달성하고, 동기화된 분산 방법보다 45% 더 빠르며, 해의 품질 저하가 최소화되고 IADPP에서는 통신 효율성이 향상된다.

ABSTRACT

Cooperative pathfinding is a multi-agent path planning problem where a group of vehicles searches for a corresponding set of non-conflicting space-time trajectories. Many of the practical methods for centralized solving of cooperative pathfinding problems are based on the prioritized planning strategy. However, in some domains (e.g., multi-robot teams of unmanned aerial vehicles, autonomous underwater vehicles, or unmanned ground vehicles) a decentralized approach may be more desirable than a centralized one due to communication limitations imposed by the domain and/or privacy concerns. In this paper we present an asynchronous decentralized variant of prioritized planning ADPP and its interruptible version IADPP. The algorithm exploits the inherent parallelism of distributed systems and allows for a speed up of the computation process. Unlike the synchronized planning approaches, the algorithm allows an agent to react to updates about other agents' paths immediately and invoke its local spatio-temporal path planner to find the best trajectory, as response to the other agents' choices. We provide a proof of correctness of the algorithms and experimentally evaluate them on synthetic domains.

연구 동기 및 목표

• 통신 지연과 기밀성 제약 조건이 존재하는 실세계 다중 에이전트 시스템에서 중심화된 방법과 동기화된 분산 경로 계획의 한계를 해결한다.
• 에이전트가 서로를 기다려야 하는 동기화 실행으로 인한 성능 저하 문제를 해결한다.
• 알고리즘 라운드를 기다리지 않고도 우선순위가 높은 에이전트의 업데이트에 즉각 반응함으로써 더 빠르고 민감한 경로 계획을 가능하게 한다.
• 업데이트를 수신했을 때 계획기를 조용히 재시작함으로써 통신 오버헤드를 줄이는 인터럽터블 버전(IADPP)을 개발한다.
• ADPP와 IADPP의 정당성과 종료 보장을 증명하여, 안전이 중요한 응용 분야에서의 사용을 위한 공식적인 기반을 마련한다.

제안 방법

• 동기화된 분산 우선순위 경로 계획(SDPP)의 확장인 이방형 분산 우선순위 계획(ADPP)을 제안한다. 이는 우선순위가 높은 에이전트의 실시간 업데이트를 기반으로 각 에이전트가 독립적으로 경로를 계획한다.
• 계획기가 중단되었을 때도 즉각적으로 로컬 경로 계획기를 재시작할 수 있도록 허용하는 IADPP(인터럽터블 ADPP)를 도입한다.
• 우선순위 기반 계획 전략을 사용한다: 각 에이전트는 우선순위가 높은 에이전트의 경로를 움직이는 장애물로 간주하고 경로를 계획한다.
• 로컬 공간-시간 경로 계획기를 구현하여, 들어오는 업데이트에 즉각적으로 반응해 충돌을 피하기 위해 경로를 재계획한다.
• 비동기 업데이트가 무한 루프나 일관되지 않은 상태로 이어지지 않음을 증명함으로써 정당성과 종료 보장을 확보한다. 특히 지연되거나 순서가 어긋난 메시지가 존재하더라도 성립한다.
• 메시지 전달 메커니즘을 설계하여, 계획이 변경될 경우에만 메시지를 방송함으로써 통신 오버헤드를 최소화한다. 특히 IADPP에서는 계획기가 중단되어도 새로운 메시지를 생성하지 않아 오버헤드가 감소한다.

실험 결과

연구 질문

• RQ1 이방형 분산 경로 계획 알고리즘이 중심화된 방법과 동기화된 분산 방법보다 벽시계 실행 시간과 확장성 측면에서 뛰어나게 성능을 발휘할 수 있는가?
• RQ2 IADPP의 인터럽터블 설계는 ADPP와 중심화된 솔버에 비해 통신 복잡도에 어떤 영향을 미치는가?
• RQ3 통신 지연이 존재하는 다중 에이전트 경로 계획에서 이방형 설계는 반응성 향상과 대기 시간 감소에 얼마나 기여하는가?
• RQ4 중앙 집중적 최적 솔버에 비해 이방형 분산 경로 계획에서 해의 품질과 계산 효율성 간의 상충 관계는 어떠한가?
• RQ5 전체 동기화가 없는 상황에서도 제안된 알고리즘이 정당성과 종료 보장을 유지하는가?

주요 결과

• ADPP와 IADPP는 에이전트 수가 증가하는 무작위 시나리오에서 중심화된 CA 알고리즘 대비 평균적으로 최대 65% 빠른 벽시계 실행 시간을 기록한다.
• ADPP와 IADPP는 특히 혼잡하고 충돌이 많은 환경에서 동기화된 분산 방법인 SDPP보다 약 45% 더 빠른 실행 시간을 보인다.
• IADPP는 계획기가 중단된 후 새로운 계획을 방송하지 않기 때문에 ADPP보다 통신 복잡도가 낮다. 대신 조용히 재시작함으로써 메시지 오버헤드를 줄인다.
• ADPP와 IADPP의 평균 해 비용은 CA보다 약 10% 높은 편이지만, 현재 경로가 일관성이 없어지면 재계획이 발생하는 보수적인 재계획 조건 때문이므로 이는 정당한 희생이다.
• 모든 우선순위 기반 방법(CA, SDPP, ADPP, IADPP)의 실패율은 유사하여, 이방형 알고리즘이 복잡한 시나리오에서도 뛰어난 강건성을 유지함을 시사한다.
• 실험 결과는 ADPP와 IADPP가 모두 정당하고 종료됨을 확인하였으며, 이는 본문에서 제시한 정당성과 종료 보장에 대한 이론적 증명을 검증한다.