다중 이동 에이전트를 위한 시간 독립적 계획

초록

본 논문은 전통적인 MAPF(다중 에이전트 경로 찾기) 솔버가 전제하는 동기화된 움직임의 한계를 지적하고, 시간에 의존하지 않는 온라인·분산형 계획 방법을 제안한다. 에이전트의 행동을 원자적 전이로 모델링한 전이 시스템을 기반으로 Causal‑PIBT 알고리즘을 설계하고, 확률적 지연을 포함한 시뮬레이션 실험을 통해 제안 방법의 견고성을 입증한다.

상세 분석

이 논문은 MAPF 분야에서 가장 흔히 간과되는 “시간 격차” 문제를 체계적으로 조명한다. 기존 접근법은 크게 두 가지로 나뉘는데, 하나는 전역·지역 동기화를 강제해 모든 에이전트가 동일한 타임스텝에 움직이도록 하는 방식(FSP)이며, 다른 하나는 사전 계획된 경로의 시간적 의존성을 유지하면서 최소한의 통신으로 실행하는 방식(MCP)이다. 두 방법 모두 지연이 발생하면 전체 시스템의 진행이 정체되거나, 특정 에이전트의 지연이 다른 에이전트의 행동을 과도하게 제한하는 단점을 가진다.

저자는 이러한 문제를 해결하기 위해 “시간 독립적” 모델을 도입한다. 여기서 시스템은 에이전트 각각이 갖는 상태(현재 위치, 목표, 내부 변수)와 전이(요청, 연장, 해제)로 구성된 전이 시스템으로 정의된다. 핵심은 에이전트가 언제든지 원자적으로 한 단계 행동을 수행할 수 있으며, 이러한 행동은 비동기적으로, 비결정적으로 발생한다는 점이다. 모델은 세 가지 모드(contraced, requesting, extended)를 통해 에이전트가 노드를 점유하거나 이동 중임을 명시하고, 충돌 방지를 위해 “occupied” 조건을 명시적으로 검증한다.

시간 독립적 모델에서 발생할 수 있는 교착 상태(deadlock)를 방지하기 위해 저자는 두 가지 메커니즘을 설계한다. 첫 번째는 우선순위 상속(priority inheritance)으로, 낮은 우선순위 에이전트가 높은 우선순위 에이전트의 이동을 방해할 경우 일시적으로 높은 우선순위를 물려받아 자신의 경로를 재조정하도록 한다. 두 번째는 백트래킹(backtracking)으로, 상속받은 우선순위가 여전히 충돌을 해결하지 못하면 해당 에이전트는 “유효(valid)” 혹은 “무효(invalid)” 결과에 따라 다시 경로를 탐색한다. 이러한 과정은 깊이 우선 탐색 트리 형태로 구현되며, 트리의 루트는 현재 가장 높은 우선순위를 가진 에이전트가 된다.

Causal‑PIBT 알고리즘은 기존 PIBT(우선순위 상속과 백트래킹 기반 MAPF)와 GREEDY(단순 근접 이동) 전략을 결합한 형태이다. GREEDY는 가장 가까운 목표 노드로 이동을 시도하지만 교착에 취약하고, PIBT는 동기화된 타임스텝을 전제로 하여 비동기 환경에 직접 적용하기 어렵다. Causal‑PIBT는 에이전트가 현재 모드에 따라 행동을 선택하고, 충돌이 감지되면 즉시 우선순위 상속·백트래킹을 통해 대안을 모색한다. 또한 목표에 도달한 에이전트는 우선순위를 낮추어 아직 도착하지 않은 에이전트에게 더 높은 우선순위를 부여함으로써 “도달 가능성(reachability)”을 보장한다.

실험에서는 MAPF‑DP(지연 확률을 고려한 MAPF) 환경을 사용해 stochastic delay를 시뮬레이션하였다. 비교 대상은 전통적인 FSP와 MCP 정책이며, Causal‑PIBT는 평균 이동 시간, 충돌 횟수, 성공률 면에서 우수한 성능을 보였다. 특히 높은 지연 확률(예: 0.3)에서도 시스템이 교착에 빠지지 않고 모든 에이전트가 목표에 도달하는 것을 확인하였다. 이는 제안된 시간 독립적 모델이 비동기적이고 불확실한 실제 로봇 시스템에 적합함을 시사한다.

전반적으로 이 논문은 MAPF 문제를 시간에 구애받지 않는 전이 시스템으로 재구성함으로써, 비동기적 실행과 지연에 강인한 분산형 계획 프레임워크를 제공한다. 이는 물류 로봇, 자율 주행 차량, 스마트 교통 등 실시간 동적 환경에서 다수의 에이전트가 협업해야 하는 응용 분야에 직접적인 영향을 미칠 수 있다.