비동기 경로 추적 로봇을 위한 음주 철학자 모델

**1. 서론 및 연구 동기** 다중 로봇 시스템에서 사전 정의된 경로를 따라 이동하면서 비동기적인 속도 변동과 외부 방해를 견디는 제어 정책을 설계하는 문제는 실용적인 로봇 응용 분야—창고 자동화, 구조물 점검, 협동형 운송—에서 핵심 과제이다. 기존 연구는 경로 자체를 최적화하거나, 실행 중에 실시간 재계획을 수행하거나, 고정된 순서에 따라 로봇을 제어하는 방법을 제시했지만, 각각 중앙 집중식 통신 부담, 교착 위험, 혹은 낮은 동시성이라는 한계를 가지고 있다. 저자들은 이러한 문제를 “공유 자원 할당” 관점에서 재해석하고, 잘 알려진 동시성 제어 모델인 음주 철학자 문제(DrPP)와 연결한다. **2. 문제 정의** 작업 공간을 이산 셀 집합 V로 나누고, 로봇 집합 R={r₁,…,r_N}이 각각 유한한 경로 πₙ을 가진다. 각 셀은 동시에 하나의 로봇만 점유할 수 있다(충돌 방지). 로봇은 매 시간 단계마다 STOP 또는 GO 명령을 받으며, GO를 지속하면 결국 다음 셀로 이동한다. 비동기성은 로봇이 GO를 선택했을 때 이동 시간이 일정하지 않음으로 모델링된다. 목표는 모든 로봇이 최종 셀 π_endₙ에 도달하도록 하면서 충돌과 교착을 피하는 분산 제어 정책을 설계하는 것이다. **3. 음주 철학자 문제(DrPP) 개요** DrPP는 철학자(프로세스)와 병(공유 자원)으로 구성된다. 철학자는 ‘목마름’ 상태가 되면 임의의 비어 있는 병 집합(음주 세션)을 요구하고, 모든 병을 확보하면 ‘음주’ 상태에 들어간다. 핵심 요구 사항은 (i) 살아남기(liveness): 목마른 철학자는 결국 음주를 시작한다, (ii) 공정성(fairness): 특정 철학자가 지속적으로 우선권을 얻지 않는다, (iii) 동시성(concurrency): 서로 다른 병을 요구하는 철학자들은 동시에 음주할 수 있다. **4. 기존 DrPP 알고리즘 적용과 한계** 저자들은 기존의 DrPP 알고리즘(