[논문 리뷰] Robust State Estimation against Sparse Integrity Attacks

Duo Han, Yilin Mo외 1명|arXiv (Cornell University)|2016. 01. 16.

Fault Detection and Control Systems참고 문헌 10인용 수 5

한 줄 요약

이 논문은 최대 $ p $개의 센서가 손상된 희박한 무결성 공격 하에서 선형 정적 시스템에 대한 강건한 상태 추정 프레임워크를 제안한다. $ L_1 $ 정규화를 사용하는 볼록 최적화 문제를 통해 $ p < m/2 $ 조건에서 추정 오차가 유계임을 보장하며, 공격에 의한 편차에 대한 날카운 상한선을 제공한다.

ABSTRACT

We consider the problem of robust state estimation in the presence of integrity attacks. There are $m$ sensors monitoring a dynamical process. Subject to the integrity attacks, $p$ out of $m$ measurements can be arbitrarily manipulated. The classical approach such as the MMSE estimation in the literature may not provide a reliable estimate under this so-called $(p,m)$-sparse attack. In this work, we propose a robust estimation framework where distributed local measurements are computed first and fused at the estimator based on a convex optimization problem. We show the sufficient and necessary conditions for robustness of the proposed estimator. The sufficient and necessary conditions are shown to be tight, with a trivial gap. We also present an upper bound on the damage an attacker can cause when the sufficient condition is satisfied. Simulation results are also given to illustrate the effectiveness of the estimator.

연구 동기 및 목표

• 최대 $ p $개의 센서가 무결성 공격을 받는 상황에서 사이버-물리 시스템에서 신뢰할 수 없는 상태 추정 문제를 해결한다.
• 임의의 센서 조작 상황에서 실패하는 전통적 최소평균제곱오차(MMSE) 및 칼만 필터링의 한계를 극복한다.
• 지역 측정치를 볼록 최적화를 통해 융합하는 분산 추정 프레임워크를 개발하여 강건성을 확보한다.
• 강건성에 대한 필요 및 충분 조건을 밝혀내며, 이는 매우 좁은 틈만 존재하는 날카운 조건이다.
• 강건성 조건 하에서 공격자가 초래할 수 있는 최대 피해를 정량화하여 성능 상한선을 제시한다.

제안 방법

• 지역 추정치에서의 큰 편차를 방지하기 위해 $ L_1 $ 정규화를 적용한 볼록 최적화 문제를 설정하여 추정 오차를 최소화한다.
• 각 센서가 지역 추정치를 계산하고, 원격 추정기가 최적화 프레임워크를 통해 이를 융합하는 분산 아키텍처를 사용한다.
• 공격에 대한 강건성과 정상 조건에서의 최적성 사이의 균형을 맞추기 위해 펜alty 파라미터 $ \theta $ 를 도입한다.
• 손상된 센서 수 $ p $ 를 바탕으로 강건성에 대한 필요 및 충분 조건을 유도하며, $ p < m/2 $ 일 때 강건성이 유지됨을 보여준다.
• 라그랑주 이중성과 하향도 분석을 적용하여 최적 해를 특성화하고 추정 오차 갭에 대한 상한선을 유도한다.
• 도달 가능성 분석과 타원체 근사 기법을 활용하여 공격 하에서의 최악의 편차를 정량화하고, 추정 오차에 대한 상한선 $ \nu(\tilde{x}) $ 를 제공한다.

실험 결과

연구 질문

• RQ1 최대 $ p $개의 센서가 무결성 공격을 받는 상황에서 상태 추정기가 언제 강건성을 유지할 수 있는가?
• RQ2 제안된 $ L_1 $ 정규화를 적용한 볼록 최적화 프레임워크는 기존의 MMSE나 칼만 필터링에 비해 어떻게 강건성을 향상시키는가?
• RQ3 공격 시와 정상 시 사이의 추정 오차 갭에 대해 가장 날카운 상한선은 무엇인가?
• RQ4 펜alty 파라미터 $ \theta $ 의 선택은 공격 상황에서의 강건성과 공격 없이 정상 작동할 때의 최적성 사이의 상호 교환 관계에 어떻게 영향을 미치는가?
• RQ5 공격자가 상당 수의 센서를 제어하더라도 제안된 추정기는 유계 추정 오차를 보장할 수 있는가?

주요 결과

• 강건성에 대한 필요 및 충분 조건은 $ p < m/2 $ 이며, 이는 매우 좁은 틈만 존재하는 날카운 조건임이 입증되었다.
• $ p < m/2 $ 일 경우 제안된 추정기는 추정 오차가 유계임을 보장하며, 공격에 의한 최악의 편차는 명시적으로 유도된 상한선 $ \nu(\tilde{x}) $ 로 제한된다.
• $ p \to m/2 $ 에 가까워질수록 추정 오차 갭의 상한선이 증가하며, $ p > m/2 $ 일 경우 추정치는 유계가 아니게 되어 이론적 임계값이 확인된다.
• 시뮬레이션 결과, 더 작은 $ \theta $ 값(예: $ \theta = 0.1 $)은 공격에 의한 편차에 대한 더 날카운 상한선을 제공하여 더 뛰어난 강건성을 나타낸다.
• $ \theta = 10 $ 인 추정기는 정상 조건에서 칼만 필터에 매우 가까운 성능(98% 복구 확률)을 보이지만, 공격 상황에서는 성능이 떨어지며, 이는 강건성-최적성의 상호 교환 관계를 잘 보여준다.
• 실제 오차 갭 $ \|g(\tilde{x}) - g(z)\|_1 $ 이 유도된 상한선 $ \mu(\tilde{x}) $ 와 매우 유사하게 변화하며, 이는 이론적 성능 상한선의 타당성을 검증한다.