[논문 리뷰] Time-Independent Planning for Multiple Moving Agents

Keisuke Okumura, Yasumasa Tamura외 1명|arXiv (Cornell University)|2020. 05. 27.

Robotic Path Planning Algorithms인용 수 4

한 줄 요약

이 논문은 시간에 종속되지 않은 다중 에이전트 경로 찾기(MAPF)를 위한 계획 기법을 제안한다. 이는 비정상적인 지연이 발생하더라도 에이전트가 목적지에 도착하도록 보장하는 분산형이고 온라인인 접근 방식이다. 에이전트 행동을 요청, 이동, 계약이라는 원자적 동작으로 구성된 전이 시스템으로 모델링하고, 사고의 PIBT(Causal-PIBT)를 사용하여 교착 상태를 복구함으로써, 시간 불확실성 하에서 보장된 도착 보장과 뛰어난 성능을 달성한다. 시뮬레이션에서 정규화된 지연이 발생할 경우, 동기화 및 의존성 유지 정책보다 뛰어난 성능을 보였다.

ABSTRACT

Typical Multi-agent Path Finding (MAPF) solvers assume that agents move synchronously, thus neglecting the reality gap in timing assumptions, e.g., delays caused by an imperfect execution of asynchronous moves. So far, two policies enforce a robust execution of MAPF plans taken as input: either by forcing agents to synchronize or by executing plans while preserving temporal dependencies. This paper proposes an alternative approach, called time-independent planning, which is both online and distributed. We represent reality as a transition system that changes configurations according to atomic actions of agents, and use it to generate a time-independent schedule. Empirical results in a simulated environment with stochastic delays of agents' moves support the validity of our proposal.

연구 동기 및 목표

• 이동 동작의 비완전하고 비동기적인 실행으로 인해 발생하는 현실 갭을 해결하기 위해.
• 고정된 시간 가정에 의존하지 않는 분산형, 온라인 계획 방법을 개발하기 위해.
• 정규화된 지연이 발생하더라도 모든 에이전트가 유한 시간 내에 목적지에 도착하도록 보장하기 위해.
• 기존 정책인 완전 동기화(FSP) 및 최소 통신(MCP) 정책보다 강건성을 향상시키기 위해.
• 오프라인 MAPF 계획을 시간에 종속되지 않은 계획에 힌트로 사용할 경우의 효과를 평가하기 위해.

제안 방법

• 시스템을 세 가지 원자적 동작(다음 위치 요청, 이동(확장형), 과거 위치 해제 또는 정지(계약))를 갖는 전이 시스템으로 모델링한다.
• 사전 시간 지식이 없는 시간에 종속되지 않은 모델을 정의하여 비결정적인 환경적 행동을 표현한다.
• 우선순위 상속과 백트래킹 기반의 분산형 알고리즘인 Causal-PIBT를 구현하여 갈등을 해결하고 도착 보장을 확보한다.
• 차단된 에이전트의 경우 우선순위 상속과 백트래킹 전파를 안내하기 위해 가상의 깊이 우선 탐색 트리를 사용한다.
• Causal-PIBT+에 오프라인 MAPF 계획을 힌트로 통합하여 수렴 속도 향상과 비용 감소를 도모한다.
• 이중 단계 타임스텝 모델을 사용한다: 한 단계는 상태 전이(요청/계약), 다른 한 단계는 실제 이동을 처리하며, 이동 시간을 지배적인 요소로 간주한다.

실험 결과

연구 질문

• RQ1 시간에 종속되지 않은 계획 기법이 임의의 시간 지연 하에서도 모든 에이전트의 도착을 보장할 수 있는가?
• RQ2 정규화된 지연 하에서 시간에 종속되지 않은 계획 기법이 FSP 및 MCP 정책과 비교해 솔루션 비용과 강건성 측면에서 어떻게 성능을 내는가?
• RQ3 오프라인 MAPF 계획이 시간에 종속되지 않은 계획의 성능 향상에 얼마나 기여하는가?
• RQ4 복잡한 환경에서 병목 현상이 존재하는 큰 환경에서도 제안된 방법이 효율성과 확장성을 유지하는가?
• RQ5 Causal-PIBT는 글로벌 조율 없이도 고정된 시간 가정 없이 동적 실패 및 지연을 처리할 수 있는가?

주요 결과

• Causal-PIBT+는 모든 벤치마크에서 100회의 시뮬레이션 실행 전부에서 성공하여, 정규화된 지연 하에서도 보장된 도착 보장과 강건성을 입증했다.
• 작은 벤치마크에서 Causal-PIBT+는 최고 성능을 보인 베이스라인인 MCP와 비슷한 솔루션 비용을 달성했으며, 특히 지연 확률이 높을 경우 두드러졌다.
• 지연 확률이나 에이전트 수가 증가함에 따라 시간에 종속되지 않은 계획 기법이 솔루션 비용과 성공률 측면에서 MCP를 능가했다.
• den312d와 같은 큰 이중 연결된 필드에서는 병목 현상이 존재했지만, 방법은 성공했으며, 구조적 제약으로 인해 솔루션 비용이 크게 증가했다.
• Causal-PIBT+에 오프라인 MAPF 계획을 힌트로 사용함으로써 솔루션 비용이著명하게 감소하고 수렴 속도가 빨라졌으며, 특히 밀도가 높은 환경에서 두드러졌다.
• GREEDY는 대부분의 시험에서 교착 상태로 실패했고, FSP는 MCP보다 더 높은 솔루션 비용을 보여, 시간에 종속되지 않은 계획의 우수성을 확인했다.