[논문 리뷰] Finite-time Guarantees for Byzantine-Resilient Distributed State Estimation with Noisy Measurements

Lili Su, Shahin Shahrampour|arXiv (Cornell University)|2018. 10. 16.

Distributed Control Multi-Agent Systems참고 문헌 28인용 수 11

한 줄 요약

이 논문은 기울기 하강법과 좌표별 잘라낸 평균 집계를 사용하여 노이즈가 있는 측정치와 임의의 바르카시안 결함을 견딜 수 있도록 강력하게 설계된 계산적으로 효율적인 분산 상태 추정 알고리즘을 제안한다. 거의 확실한 점근적 수렴성을 확립하고, 네트워크 구조에 따라 달라지는 고확률 유한시간 수렴 속도를 제공한다.

ABSTRACT

This work considers resilient, cooperative state estimation in unreliable multi-agent networks. A network of agents aims to collaboratively estimate the value of an unknown vector parameter, while an {\em unknown} subset of agents suffer Byzantine faults. Faulty agents malfunction arbitrarily and may send out {\em highly unstructured} messages to other agents in the network. As opposed to fault-free networks, reaching agreement in the presence of Byzantine faults is far from trivial. In this paper, we propose a computationally-efficient algorithm that is provably robust to Byzantine faults. At each iteration of the algorithm, a good agent (1) performs a gradient descent update based on noisy local measurements, (2) exchanges its update with other agents in its neighborhood, and (3) robustly aggregates the received messages using coordinate-wise trimmed means. Under mild technical assumptions, we establish that good agents learn the true parameter asymptotically in almost sure sense. We further complement our analysis by proving (high probability) {\em finite-time} convergence rate, encapsulating network characteristics.

연구 동기 및 목표

• 다중 에이전트 네트워크에서 바르카시안 결함과 노이즈가 있는 국부 측정치를 고려한 내성적이고 협동적인 상태 추정 문제를 해결하기 위해.
• 손상된 에이전트에서 오는 임의의 비정형 악성 메시지에 대해 강건성을 유지하면서도 계산적으로 효율적인 알고리즘을 개발하기 위해.
• 네트워크 특성에 맞는 고유한 특성을 반영한 고확률 유한시간 수렴 보장을 제공하기 위해.
• 완전 그래프에서의 이론적 결과를 충분한 공감 조건 하에 일반적인 희박한 네트워크로 확장하기 위해.
• 기존의 점근적 분석을 보완하여 정량화된 유한시간 성능 경계를 제공하기 위해.

제안 방법

• 각 에이전트는 반복마다 자신의 노이즈가 있는 측정치를 사용하여 국부 기울기 하강법을 수행한다.
• 에이전트들은 네트워크 내 이웃과 현재 상태 추정치를 교환한다.
• 바르카시안 에이전트로부터 오는 악성 메시지를 걸러내기 위해 좌표별 잘라낸 평균을 통해 강건한 집계를 달성한다.
• 알고리즘은 처음으로 완전히 연결된 네트워크에서 분석된 후, 스칼라 입력에 대해 바르카시안에 강건한 공감을 보장하는 조건 하에 일반 그래프로 일반화된다.
• 메시지 전파와 수렴 동역학을 모델링하기 위해 샤로우 그래프와 행렬 곱 분석을 사용한다.
• 수렴은 샤로우 그래프에서 이웃의 순서에 대한 귀납법을 통해 증명되며, 오차 감쇠 속도에 대한 경계가 유도된다.

실험 결과

연구 질문

• RQ1 바르카시안 결함과 노이즈가 있는 측정치 하에서 분산 상태 추정 알고리즘이 유한시간 수렴 보장을 달성할 수 있는가?
• RQ2 네트워크 토폴로지가 내성적 분산 추정의 수렴 속도에 어떤 영향을 미치는가?
• RQ3 좌표별 잘라낸 평균 집계가 다중 에이전트 시스템에서 임의의 바르카시안 공격을 효과적으로 완화할 수 있는가?
• RQ4 벡터 입력에 대해 바르카시안에 강건한 공감을 달성하기 위해 필요한 충분한 네트워크 연결 조건은 무엇인가?
• RQ5 수렴 속도는 바르카시안 에이전트 비율과 네트워크 확장 성질 등의 시스템 파라미터에 어떻게 의존하는가?

주요 결과

• 제안된 알고리즘은 약한 기술적 가정 하에 진짜 파라미터 값으로 거의 확실하게 점근적으로 수렴한다.
• 유한시간 수렴은 고확률로 확립되며, 수렴 속도는 확장성과 지름과 같은 네트워크 특성에 명시적으로 의존한다.
• 모든 에이전트에 대해 오차는 네트워크의 확장성 파라미터의 거듭제곱의 역수 비례 항으로 제한되는 비율로 감쇠한다.
• 샤로우 그래프에서 j번째 순서의 이웃에 대해 수렴 속도는 $1 - \frac{1 - \rho_0}{(2(\phi - b))^{\Delta_j}}$ 로 정량화되며, 여기서 $\phi$는 에이전트 수이고 $b$는 바르카시안 에이전트 수이다.
• 분석 결과 바르카시안 에이전트가 서로 다른 이웃에게 충돌하는 메시지를 보낼 때에도 알고리즘이 강건함을 보여준다.
• 수치 시뮬레이션은 이론적 수렴 속도를 검증하고, 악성 조건 하에서의 유한시간 추정에서 알고리즘의 효과성을 입증한다.