[논문 리뷰] Resilient Continuous-Time Consensus in Fractional Robust Networks

Heath J. LeBlanc, Haotian Zhang외 2명|arXiv (Cornell University)|2013. 03. 11.

Distributed Control Multi-Agent Systems참고 문헌 22인용 수 4

한 줄 요약

이 논문은 정규 에이전트의 이웃 중 최대 분율 $f$가 악성일 수 있는 분수적 적대자 모델 하에서 다중 에이전트 네트워크를 위한 연속시간 내성 공감 프로토콜 ARC-P를 제안한다. 새로운 그래프 이론적 지표인 분수적 강건성(fractional robustness)을 사용하여, 네트워크가 $2f$-분수 강건할 경우 공감이 달성됨을 증명한다(충분 조건) 및 $f$-분수 강건할 경우 필수 조건임을 입증한다. 이는 시간에 따라 변하는 네트워크 구조와 체류 시간 제약 조건 하에서 성립한다.

ABSTRACT

In this paper, we study the continuous-time consensus problem in the presence of adversaries. The networked multi-agent system is modeled as a switched system, where the normal agents have integrator dynamics and the switching signal determines the topology of the network. We consider several models of omniscient adversaries under the assumption that at most a fraction of any normal agent's neighbors may be adversaries. Under this fractional assumption on the interaction between normal and adversary agents, we show that a novel graph theoretic metric, called fractional robustness, is useful for analyzing the network topologies under which the normal agents achieve consensus.

연구 동기 및 목표

• 분수적 적대자 모델 하에서 연속시간 시스템의 내성 공감을 위한 위상 조건의 부족을 해결한다.
• 기존의 연결성과 같은 전통적 그래프 지표가 극단적인 값 제거 상황에서의 정보 흐름의 재현성을 포착하지 못하는 한계를 극복한다.
• 지역 정보와 분수적 적대자 가정 하에서 작동하는 연속시간 MSR 알고리즘의 버전인 ARC-P를 개발한다.
• 시간에 따라 변하는 네트워크 구조에 맞게 조정된 분수적 강건성 지표를 사용하여 내성 공감을 위한 필요 및 충분 조건을 설정한다.
• 세 가지 적대자 모델—Byzantine, 악성, 고장—하에서, 각 정규 에이전트의 이웃 중 최대 분율 $f$가 손상된 경우에 대해 수렴성을 분석한다.

제안 방법

• 네트워크를 시간에 따라 변하는 방향 그래프 $\mathcal{D}(t)$로 모델링하고, 조각별로 일정한 스위칭 신호 $\sigma(t)$에 의해 제어되는 스위치드 시스템으로 간주한다.
• ARC-P 프로토콜을 연속시간으로 적응시켜, 각 정규 에이전트가 극단적 값을 제거한 후 이웃 에이전트 상태의 가중 평균을 기반으로 상태를 갱신하도록 한다.
• 분수적 강건성 지표인 $p$-분수 강건성($p > 2f$)을 도입하여, $f$-분수 적대자 모델 하에서 네트워크의 강건성을 특성화한다.
• 최대 및 최소 정규 에이전트 상태의 변화를 기반으로 한 모순 추론을 사용하여, 이산 시간 간격 $\Delta$ 동안 극단적 값이 있는 에이전트 집합의 감소를 추적한다.
• 스위칭 간격이 최소 체류 시간 $\tau$ 이상이 되도록 보장하기 위해 체류 시간 가정($t_{k+1} - t_k \geq \tau$)을 적용한다.
• 정규 에이전트들 사이의 최대값과 최소값 간의 격리인 $\Psi(t) = M_{\mathcal{N}}(t) - m_{\mathcal{N}}(t)$를 정의하고, 강건성 조건 하에서 이 값이 시간 간격 동안 엄격히 감소함을 보인다.

실험 결과

연구 질문

• RQ1 각 정규 에이전트의 이웃 중 분율 $f$가 적대자일 경우, 연속시간 다중 에이전트 시스템에서 내성 공감을 보장하는 위상 조건은 무엇인가?
• RQ2 분수적 강건성 지표는 시간에 따라 변하는 네트워크 구조에서 ARC-P 프로토콜의 수렴성과 어떻게 관련이 있는가?
• RQ3 연속시간 시스템에서 $f$-분수 적대자 모델 하에 내성 공감을 위한 필요 및 충분 조건을 설정할 수 있는가?
• RQ4 Byzantine, 악성, 고장 적대자 모델은 분수적 위협 가정 하에서 공감 프로토콜의 강건성에 어떻게 영향을 미치는가?
• RQ5 시간에 따라 변하는 네트워크에서 네트워크 스위칭 간의 체류 시간은 수렴 보장에 어떤 역할을 하는가?

주요 결과

• 네트워크가 $2f$-분수 강건할 경우 ARC-P 프로토콜은 연속시간 내성 공감을 달성하며, 이는 수렴에 대한 충분 조건이다.
• 내성 공감을 위한 필수 조건은 네트워크가 $f$-분수 강건해야 한다는 것이며, 이는 주어진 적대자 모델 하에서 경계의 날카로움(tightness)을 입증한다.
• 프로토콜은 정규 에이전트들 사이의 최대값과 최소값 간 격리인 $\Psi(t) = M_{\mathcal{N}}(t) - m_{\mathcal{N}}(t)$ 가 시간 간격 $\Delta$ 동안 엄격히 감소함을 보장하여 공감으로 이어진다.
• 시간에 따라 변하는 네트워크에서는 스위칭 간격이 최소 체류 시간 $\tau$ 이상이면, 모든 $t \geq t'$ 에서 $p$-분수 강건성($2f < p \leq 1$)이 확보된 경우 수렴이 보장된다.
• 적대자가 전지적일지라도, 각 정규 에이전트의 이웃 중 손상된 비율이 $f < 1/2$ 이하로 제한된다면 프로토콜은 여전히 강건성을 유지한다.
• 분석 결과, 극단적 값이 있는 에이전트의 수($\mathcal{X}_M^j$ 및 $\mathcal{X}_m^j$)는 시간이 지남에 따라 감소하며, 이는 $\Psi(t)$ 가 임의의 $\epsilon > 0$ 이하로 떨어지게 함을 의미하며, 이는 공감을 의미한다.