[논문 리뷰] Consensus for switched networks with unknown but bounded disturbances

Dario Bauso, L. Giarré외 1명|ArXiv.org|2006. 12. 28.

Distributed Control Multi-Agent Systems참고 문헌 14인용 수 6

한 줄 요약

이 논문은 알려지지 않은 그러나 유계된(UBB) 외란이 존재하는 스위치형 네트워크에서 $ε$-공동합의 문제를 제안하고 해결한다. 여기서 에이전트는 정확한 공통값이 아닌 반경 $ε$의 튜브로 수렴한다. 선형 정적 프로토콜과 평균 추정을 위한 '게으름 규칙(lazy rule)'을 사용하여, 모든 가능한 위상에 대해 최소 반경으로 정의된 튜브로 유한 시간 내 수렴함을 증명한다. 수렴은 최소 체류 시간과 유계 외란 크기 조건 하에서 보장된다.

ABSTRACT

We consider stationary consensus protocols for networks of dynamic agents with switching topologies. The measure of the neighbors' state is affected by Unknown But Bounded disturbances. Here the main contribution is the formulation and solution of what we call the $ε$-consensus problem, where the states are required to converge in a tube of ray $ε$ asymptotically or in finite time.

연구 동기 및 목표

• 교환 위상과 알려지지 않은 그러나 유계된(UBB) 측정 외란이 존재하는 다중 에이전트 네트워크에서 공동합의를 달성하는 데 도전하는 문제를 다루기.
• 정확한 공동합의의 완화로 간주되는 $ε$-공동합의 문제를 정의하여, 에이전트가 공통값이 아닌 반경 $ε$의 튜브로 수렴하도록 한다.
• 정확한 공동합의가 외란으로 인해 이룰 수 없을 경우, 최소 반경 튜브로의 유한 시간 수렴 조건을 제공한다.
• 외란 범위와 스위칭 체류 시간이 수렴 튜브의 가능 반경에 미치는 영향을 분석한다.
• 고정 위상 결과를 스위치형 네트워크로 확장하여, 끝없는 수렴을 보장하는 최소 체류 시간을 유도한다.

제안 방법

• 시간에 따라 변화하는 무방향 연결 위상을 갖는 스위치형 시스템으로 네트워크를 모델링하며, 스위칭 함수 $σ(t)$와 최소 체류 시간 $\tau > 0$을 사용한다.
• 상태 벡터의 지름을 측정하는 리아푸노프 함수 $\mathcal{V}(x) = \max_i x_i - \min_i x_i$를 도입하며, 이는 프로토콜 하에서 비증가함을 보장한다.
• 평형점의 다면체 $P(Q, E_k)$와 튜브 $S(Q, E_k, \nu)$를 정의하며, 여기서 최대 성분 차이가 $L(Q, E_k) + 2\nu$ 이하가 되도록 하며, $\nu$는 외란의 유계성과 관련된다.
• 각 에이전트가 유한한 후보 집합에서 현재 상태에 가장 가까운 것을 선택하는 '게으름 규칙'을 제안한다.
• 주어진 외란 유계값 $\nu$에 대해, 체류 시간이 $\tau(\nu, \gamma) = \max_k q_k(\nu, \gamma)$를 초과할 경우, 시스템은 $T = \bigcap_{E_k \in \mathcal{E}} S(D, E_k, \nu)$의 교차 튜브로 유한 시간 내에 수렴함을 증명한다.
• 수축 증명을 사용: $\mathcal{V}(x(t_{s+1})) \leq \gamma \mathcal{V}(x(t_s))$ 또는 $x(t_{s+1}) \in P(D, E_k) + \nu$이면, $\mathcal{V}(x(t))$는 결국 $L(Q, E_k) + 2\nu$ 이하로 유지된다.

실험 결과

연구 질문

• RQ1 이웃 에이전트의 상태 측정값이 알려지지 않은 그러나 유계된 외란에 의해 오염될 경우, 스위치형 네트워크에서 공동합의를 달성할 수 있는가?
• RQ2 외란 유계값과 네트워크 위상이 주어졌을 때, 에이전트가 수렴할 수 있는 최소 반경 $\epsilon$의 튜브는 무엇인가?
• RQ3 스위치형 네트워크에서 최소 체류 시간은 수렴 튜브의 가능 반경에 어떤 영향을 미치는가?
• RQ4 UBB 외란이 존재하는 상황에서 언제 $0$-공동합의(즉, 정확한 공동합의)를 달성할 수 있는가?
• RQ5 예를 들어 '게으름 규칙'과 같은 추정 규칙의 선택이 외란 존재 하에서 수렴 성질에 어떤 영향을 미치는가?

주요 결과

• 시스템은 $T = \bigcap_{E_k \in \mathcal{E}} S(D, E_k, \nu)$의 튜브로 유한 시간 내에 수렴하며, 여기서 $\nu$는 외란 유계값에서 유도되며, 이에 따라 $\epsilon = \min_k \{\text{radius of } S(D, E_k, \nu)\}$를 갖는 $\epsilon$-공동합의를 보장한다.
• 고정 위상의 경우, 수렴 튜브의 최소 달성 반경은 $L(Q, E_k) + 2\nu$이며, 여기서 $L(Q, E_k)$는 위상 $E_k$에 대한 평형점 집합의 지름이다.
• 체류 시간 $\hat{\tau}(\nu, \gamma)$이 $\max_k q_k(\nu, \gamma)$를 초과할 경우, 유한 시간 수렴이 보장된다. 여기서 $\gamma \in (0,1)$은 수축 속도를 제어한다.
• 더 높은 체류 시간은 더 작은 반경의 튜브로 수렴하게 하며, 스위칭 빈도와 공통합의 정확도 사이의 트레이드오프를 보여준다.
• 정확한 $0$-공동합의는 특정 외란 실현값(예: 대칭적이거나 평균이 0인 경우)에서만 가능하며, 일반적인 UBB 외란은 정확한 수렴을 방지한다.
• 스위칭으로 인해 시스템은 튜브 내에서 무한정으로 진동할 수 있으며, 예제 4에서 보듯이 궤적이 고정점에 도달하지 못한 채 세그먼트를 따라 진동함을 보여준다.