[논문 리뷰] Stability of leaderless multi-agent systems. Extension of a result by Moreau

David Angeli, Pierre‐Alexandre Bliman|arXiv (Cornell University)|2004. 11. 15.

Distributed Control Multi-Agent Systems참고 문헌 10인용 수 27

한 줄 요약

이 논문은 Moreau의 리더 없는 다중 에이전트 시스템에 대한 기초적인 연구를 확장하여, 임의의 유한한 시간 지연이 존재하더라도 전역 점근적 안정성이 유지됨을 증명한다. 또한 상태 전이 맵의 볼록성 조건이 필요하지 않다. 저자들은 집합값 함수 형태의 리아푸노프 함수와 일반화된 안정성 프레임워크를 도입하여, 상호작용 그래프의 연결성에 기반해 모든 에이전트가 공통된 평형점으로 수렴함을 보장한다. 이는 비볼록 상태 공간과 지연된 통신 조건 하에서도 성립한다.

ABSTRACT

The paper presents a result which relates connectedness of the interaction graphs in a multi-agent systems with the capability for global convergence to a common equilibrium of the system. In particular we extend a previously known result by Moreau by including the possibility of arbitrary bounded time-delays in the communication channels and relaxing the convexity of the allowed regions for the state transition map of each agent.

연구 동기 및 목표

• 리더 없는 다중 에이전트 시스템에 대한 Moreau의 안정성 결과를 임의의 유한한 통신 지연을 허용하도록 일반화하기 위해.
• 이전에 Moreau의 연구에서 가정된 상태 전이 맵의 볼록성 조건을 완화하여, 토러스나 부분적으로 차단된 유클리드 공간과 같은 비볼록 또는 제약 조건이 있는 상태 공간으로의 적용을 가능하게 하기 위해.
• 시간에 따라 변하는 상호작용 그래프와 지연된 정보 교환 조건 하에서 시스템의 균일한 전역 점근적 안정성을 확보하기 위한 충분조건을 설정하기 위해.
• 중앙 집중식 조정이나 리더 노드가 필요 없이 에이전트의 집합적 행동을 분석할 수 있는 집합값 리아푸노프 함수에 기반한 안정성 프레임워크를 개발하기 위해.

제안 방법

• 각 에이전트 상태에 대해 상태 공간 내의 컴acts 집합을 할당하는 집합값 함수 $\sigma$ (논문에서 $V$ 로 표기) 를 도입하여 일반화된 리아푸노프 함수로 사용한다.
• 각 에이전트 $k$ 에 대해 집합값 업데이트 함수 $e_k$ 를 정의하여, 새로운 상태가 리아푸노프 함수의 이미지 내에 유지되도록 보장함으로써 안정성 성질을 유지한다.
• 유한한 지연이 존재하는 시스템을 모델링하기 위해 시간 지연된 상태 표현 $\tilde{x}(t) \in X^{hn}$ 을 사용한다. 이는 최대 $h$ 단계까지의 유한한 지연을 수용한다.
• 함수 $\mu$ 와 정의된 양함수 $\beta$ 를 사용하여 안정성을 확립한다. 이는 궤적을 따라 $\mu(V(y)) - \mu(V(x)) \leq -\beta(x)$ 를 만족시키며, 리아푸노프 측도의 감쇠를 보장한다.
• 함수 $V$ 와 $\mu$ 에 대해 상한 연속성과 유계성 조건을 적용하여 균일한 안정성과 전역 흡인성을 보장한다.
• 연결성 조건과 감쇠 조건의 병합 작용 하에서 궤적들이 평형 집합 $\Phi$ 의 임의의 작은 이웃 영역 내로 진입하고 그 안에 머무르게 됨을 보여, 균일한 전역 점근적 안정성을 증명한다.

실험 결과

연구 질문

• RQ1 임의의 유한한 지연이 존재하는 상황에서 리더 없는 다중 에이전트 시스템의 안정성이 유지되는가? 특히 지연이 임의적이고 유한할 경우에도 말이다?
• RQ2 Moreau의 연구에서 이전에 가정된 상태 전이 맵의 볼록성 조건은 전역 수렴을 위한 필수 조건인가?
• RQ3 토러스나 장애물이 있는 공간과 같은 비볼록 상태 공간으로의 일반화된 리아푸노프 기반 프레임워크는 가능한가?
• RQ4 상호작용 그래프의 구조와 업데이트 규칙에 어떤 조건이 필요하면, 리더 없이도 모든 에이전트가 공통된 평형점으로 수렴하는가?
• RQ5 지연 및 시간에 따라 변하는 상호작용 조건이 존재하는 시스템에서 집합값 리아푸노프 함수는 어떻게 안정성 분석에 활용될 수 있는가?

주요 결과

• 논문은 리더 없는 다중 에이전트 시스템의 전역 점근적 안정성이, 상호작용 그래프가 시간에 따라 연결되어 있는 한, 임의의 유한한 통신 지연이 존재하더라도 유지됨을 증명한다.
• 상태 전이 맵에 대한 볼록성 가정이 제거되어, 토러스나 부분적으로 차단된 공간에서의 진동을 포함한 비볼록 다양체 위에서의 시스템으로의 적용이 가능해진다.
• 모든 $y \in e(t,x)$ 에 대해 $V(x) \subseteq V(y)$ 를 만족하는 집합값 리아푸노프 함수 $V$ 가 구성되며, 이는 시스템 상태가 유계이고 흡인되는 집합 내에 유지됨을 보장한다.
• 함수 $\mu$ 와 정의된 양함수 $\beta$ 가 존재하여 $\sup_{y \in e(t,x)} \mu(V(y)) - \mu(V(x)) \leq -\beta(x)$ 를 만족하면, 균일한 전역 점근적 안정성이 보장된다.
• 증명 과정에서, 평형 집합 $\Phi$ 의 유계 이웃 영역에 존재하는 모든 궤적이 결국 주어진 $\varepsilon$-이웃 영역 내로 진입하고 그 안에 머물게 되며, 이는 궤적을 따라 $\mu$ 가 엄격하게 감쇠하기 때문이다.
• 감쇠 조건이 점별로 적용되는 것 외에도 유한한 시간 창 $\tau$ 동안 적용될 수 있어, 소음과 지연에 대한 내성 강화가 가능하다.