[논문 리뷰] Cooperative Decentralized Multi-agent Control under Local LTL Tasks and Connectivity Constraints

Meng Guo, Jana Tůmová외 1명|arXiv (Cornell University)|2014. 05. 08.

Formal Methods in Verification참고 문헌 2인용 수 4

한 줄 요약

이 논문은 지역적 선형 시간 논리(LTL) 작업과 연결성 제약 조건을 가진 다중 에이전트 시스템을 위한 탈중앙화된 제어 프레임워크를 제안한다. 동적 리더-팔로워 기반의 제어 전략을 통해 작업 이행과 실시간 연결성을 보장한다. 동기화된 제품 구축을 피하고 실시간 리더 전환을 가능하게 함으로써, 모든 에이전트가 개별적이고 공동의 LTL 사양을 이행하면서도 통신 링크를 유지함을 보장한다.

ABSTRACT

We propose a framework for the decentralized control of a team of agents that are assigned local tasks expressed as Linear Temporal Logic (LTL) formulas. Each local LTL task specification captures both the requirements on the respective agent's behavior and the requests for the other agents' collaborations needed to accomplish the task. Furthermore, the agents are subject to communication constraints. The presented solution follows the automata-theoretic approach to LTL model checking, however, it avoids the computationally demanding construction of synchronized product system between the agents. We suggest a decentralized coordination among the agents through a dynamic leader-follower scheme, to guarantee the low-level connectivity maintenance at all times and a progress towards the satisfaction of the leader's task. By a systematic leader switching, we ensure that each agent's task will be accomplished.

연구 동기 및 목표

• 각 에이전트가 복잡한 지역적 LTL 작업을 수행하면서 다른 에이전트와 협업이 필요한 다중 에이전트 시스템에서 탈중앙화된 제어 문제를 해결하기 위해.
• 모든 에이전트가 개별 LTL 사양, 특히 공동 행동을 충족하면서도 항상 통신 연결성을 유지하기 위해.
• 에이전트 간에 동기화된 제품 시스템을 구축하는 데 드는 계산 비용을 피하고, 확장 가능하고 분산된 계획 수립을 가능하게 하기 위해.
• 실시간으로 작동하는 분산 제어 체계를 개발하여 리더 선출과 운동 제어를 통합함으로써 동적 작업 수행을 가능하게 하기 위해.
• 전체적으로 모든 에이전트의 작업을 향한 지속적인 진전을 보장하기 위해 체계적인 리더 재선출과 탈중앙화된 조율을 수행하기 위해.

제안 방법

• 각 에이전트는 자동차 이론적 합성 기법을 사용해 자신의 개별 LTL 사양 기반으로 지역적 고수준 계획을 생성한다.
• 동적 리더-팔로워 조율 기반의 제어 전략을 적용하여 현재 리더가 팀의 작업을 향해 이동하면서도 연결성을 유지한다.
• 지역적 통신만을 사용하는 분산 리더 선출 알고리즘을 통해 각 에이전트의 작업 향한 순차적 진전을 보장한다.
• 리더와 팔로워 모두를 위한 연속적인 탈중앙화된 제어기 설계를 통해 운동 수렴성과 1.5m 이내의 연결성 유지 보장을 확보한다.
• 작업 완료 또는 주요 이정표 달성 시 체계적으로 리더 전환을 수행함으로써 모든 에이전트가 최종적으로 자신의 작업을 이행함을 보장한다.
• 전체 시스템의 동기화 없이도 제품 오토마타 구축을 피함으로써 실시간 실행이 가능하고 오프라인 계획이 필요 없도록 한다.

실험 결과

연구 질문

• RQ1 각 에이전트가 상호 협업이 필요한 지역적 LTL 작업을 수행하는 다중 에이전트 시스템에서 탈중앙화된 제어는 어떻게 달성할 수 있는가?
• RQ2 동적 작업 수행 중에 탈중앙화된 다중 에이전트 시스템에서 연결성 제약 조건은 어떻게 유지할 수 있는가?
• RQ3 전역 제품 오토마타를 구축하지 않더라도 모든 에이전트의 LTL 작업 향한 진전을 보장할 수 있는 리더-팔로워 체계는 어떻게 설계할 수 있는가?
• RQ4 모든 에이전트가 개별적이고 공동의 LTL 사양을 충족시키는 확장 가능하고 실시간 작동 가능한 조율 메커니즘은 무엇인가?
• RQ5 통신 제약 조건 하에서 장기적인 작업 이행을 보장하기 위해 리더 재선출은 어떻게 체계적으로 관리할 수 있는가?

주요 결과

• 모든 시뮬레이션 기간 동안 연결성이 안정적으로 유지되었으며, 이웃 에이전트 간의 쌍별 거리가 1.5m 통신 반경 이내로 유지되었다.
• 에이전트 $τ_1$는 $t=3.8s$ 에 첫 번째 목표 영역 $R_{11}$ 에 도달하였고, 협업 후 모든 에이전트가 $t=6.1s$ 에 $R_{21}$ 에 수렴하였다.
• 리더는 체계적으로 모든 에이전트를 거쳐 전환되었으며, 순서는 $τ_1$, $τ_2$, $τ_3$, $τ_4$, $τ_2$, $τ_3$, $τ_1$, $τ_1$, $τ_3$, $τ_3$, $τ_4$, $τ_4$ 로, 35초 동안 모든 필수 목표 영역을 커버하였다.
• 모든 에이전트가 자신의 LTL 작업을 이행하였다: $τ_1$ 은 물체 H 적재를 완료하였고, $τ_2$ 와 $τ_3$ 는 주기적 감시 작업을 수행하였으며, $τ_4$ 는 물체 C의 반복 조립을 달성하였다.
• 궤적 및 거리 도표 분석을 통해 탈중앙화된 제어기가 안정적인 연결성을 유지하고 실시간으로 모든 작업 이정표를 달성함을 확인하였다.
• 이 방법은 동기화된 제품 시스템의 구축을 성공적으로 피함으로써, 전역 동기화 없이도 확장 가능하고 분산된 실행이 가능함을 입증하였다.