[논문 리뷰] Robust Connectivity Analysis for Multi-Agent Systems

Dimitris Boskos, Dimos V. Dimarogonas|arXiv (Cornell University)|2015. 03. 24.

Distributed Control Multi-Agent Systems참고 문헌 13인용 수 5

한 줄 요약

이 논문은 외부 교란이 유계일 경우 네트워크 연결성을 보장하는 분산형 내성 제어 프레임워크를 제안한다. 분산 피드백 제어 법칙과 유계 자유 입력 항을 조합함으로써, 초기 간격과 입력 한계가 특정 조건을 만족할 경우 모든 향후 시간에 연결성이 유지됨을 보장하며, 이는 유한 추상화를 통한 신뢰성 있는 운동 계획을 가능하게 한다.

ABSTRACT

In this report we provide a decentralized robust control approach, which guarantees that connectivity of a multi-agent network is maintained when certain bounded input terms are added to the control strategy. Our main motivation for this framework is to determine abstractions for multi-agent systems under coupled constraints which are further exploited for high level plan generation.

연구 동기 및 목표

• 유계 외부 입력이 존재하는 상황에서도 다중 에이전트 시스템의 네트워크 연결성을 유지하는 분산 제어 전략을 개발하는 것.
• 결합된 제약 조건 하에서 다중 에이전트 시스템에 대해 잘 정의된 유한 추상화를 구축하는 것.
• 유계 교란 하에서도 내성 연결성과 불변성을 보장함으로써 고수준 운동 계획을 지원하는 것.
• 경계 근처에 반발 벡터장 추가를 통해 구형 영역으로의 프레임워크 확장을 이루는 것.
• 모든 향후 시간에 연결성이 보장되도록 초기 상대 거리와 입력 한계에 대한 명시적 조건을 제공하는 것.

제안 방법

• 유계 자유 입력 $ v_i $ 를 포함한 제어 법칙 $ u_i = k_i(x_i, x_{j_1}, \dots, x_{j_{|\mathcal{N}_i|}}) + v_i $ 의 형태로 설계한다.
• 네트워크 연결성의 특성화 및 상대 에이전트 간 거리의 한계 도출을 위해 그래프 라플라시안 고유값 $ \lambda_2(\mathcal{G}) $ 를 사용한다.
• 코시-슈바르츠 부등식과 평균 및 편차 성분으로의 벡터 분해를 적용하여 에이전트 간 거리의 상한을 도출한다.
• 해결 집합의 불변성을 유지하면서 내성 연결성도 유지하기 위해 구형 영역 경계 근처에 반발 벡터장을 도입한다.
• 모든 향후 시간에 연결성이 보장되도록 초기 상대 거리와 입력 크기 한계에 대한 충분한 조건을 수립한다.
• 라플라시안 행렬의 스펙트럼 성질과 에이전트 상태의 직교 분해를 활용하여 내성성 한계를 도출한다.

실험 결과

연구 질문

• RQ1 다중 에이전트 시스템에서 초기 상대 거리와 유계 외부 입력에 어떤 조건이 만족되어야 모든 향후 시간에 네트워크 연결성이 유지되는가?
• RQ2 임의의 유계 교란 하에서도 내성적으로 연결성을 유지할 수 있도록 분산 제어 법칙을 어떻게 설계할 수 있는가?
• RQ3 에이전트가 유계 구형 영역에 제약을 받는 경우 내성 연결성 특성이 유지되는가?
• RQ4 유계 영역에서 불변성과 내성 연결성을 모두 확보하기 위해 제어 법칙에 어떤 수정이 필요한가?
• RQ5 이 내성 프레임워크를 활용하여 결합 제약 조건이 있는 다중 에이전트 시스템에 대해 어떻게 유한 추상화를 구성할 수 있는가?

주요 결과

• 연결된 에이전트 간의 초기 상대 거리와 자유 입력 항의 크기가 적절한 상한 이내에 있을 경우, 모든 향후 시간에 네트워크 연결성이 보장된다.
• 자신의 입력 크기 한계에 비해 초기 상대 거리가 충분히 크다면, 모든 유계 입력 신호 $ v_i $ 에 대해 내성 연결성 특성이 유지된다.
• 구형 영역 경계 근처에 도입된 반발 벡터장은 해결 집합의 불변성을 보장하면서도 내성 연결성을 유지한다.
• 이 프레임워크는 단일 통합 다중 에이전트 시스템에 대해 유한 추상화를 구축할 수 있게 하여 고수준 운동 계획을 가능하게 한다.
• 스펙트럼 그래프 이론과 벡터 분해 기법을 활용하여 제어 입력과 초기 조건에 대한 명시적 상한을 도출한다.
• 핵심 결과는 라플라시안의 두 번째로 작은 고유값인 $ \lambda_2(\mathcal{G}) $ 가 교란 하에서 연결성 내성성의 중요한 척도가 된다는 것이다.