[논문 리뷰] Attack-resilient Estimation for Linear Discrete-time Stochastic Systems with Input and State Constraints

Wenbin Wan, Hunmin Kim외 2명|arXiv (Cornell University)|2019. 03. 19.

Fault Detection and Control Systems참고 문헌 26인용 수 4

한 줄 요약

이 논문은 상태 및 입력 제약 조건이 있는 선형 이산시간 스토케스틱 시스템을 대상으로 공격에 강건한 추정 알고리즘을 제안한다. 비제약 최적 추정치를 제약 가능한 해집합에 투영시킴으로써, 추정 오차와 오차 공분산을 감소시켜 공격 하에서 추정 오차의 실용적 지수 안정성을 보장한다.

ABSTRACT

In this paper, an attack-resilient estimation algorithm is presented for linear discrete-time stochastic systems with state and input constraints. It is shown that the state estimation errors of the proposed estimation algorithm are practically exponentially stable.

연구 동기 및 목표

• 시스템 제약 조건을 악용하는 도청적 악성 액추에이터 공격에 취약한 사이버-물리 시스템(CPS)의 취약성을 해결한다.
• 통계적 검정(예: χ² 검정)의 민감도를 향상시켜 공격 탐지 신뢰도를 높이기 위해 추정 오차 공분산을 최소화한다.
• 상태 및 입력에 대한 물리적 및 운영적 제약 조건을 동시에 이행하는 제약 조건이 있는 추정 프레임워크를 개발한다.
• 공격 하에서 추정 오차의 실용적 지수 안정성을 공식적으로 확립하여 장기적 내성 확보를 보장한다.
• 동적 제약 조건과 적대적 입력이 존재하는 다중 에이전트 시스템에서 알고리즘의 유효성을 입증한다.

제안 방법

• 표준 칼만 필터링 원리를 사용해 각 시간 단계에서 제약 조건이 없는 최적 선형 추정기를 설계한다.
• 상태 및 액추에이터 공격에 대한 부등식 제약 조건으로 정의된 탇가능 집합에 비제약 추정치를 투영한다.
• 투영을 통해 추정 오차와 오차 공분산을 감소시키며, 볼록 최적화를 활용해 계산의 실현 가능성을 유지한다.
• 상태 및 입력 변수에 대한 선형 부등식 제약 조건을 갖는 볼록 최적화 문제로 제약 조건이 있는 추정을 수립한다.
• 시간 순환 추정 프레임워크에 투영 단계를 통합하여 실시간 적용 가능성을 유지한다.
• 위치, 속도, 가속도 제약 조건이 존재하는 다중 에이전트 로봇 시스템에 알고리즘을 적용하여 성능을 검증한다.

실험 결과

연구 질문

• RQ1 상태 및 입력 제약 조건 하에서 액추에이터 공격가 존재할 경우 추정 오차와 오차 공분산을 어떻게 최소화할 수 있는가?
• RQ2 제약 조건이 있는 추정이 통계적 임계값이 제한된 스토케스틱 시스템에서 공격 탐지의 신뢰도를 향상시킬 수 있는가?
• RQ3 투영을 통해 제약 조건이 강제로 적용되었을 때 추정 오차의 안정성 행동은 어떠한가?
• RQ4 오차 감소 및 탐지 성능 측면에서 제약 조건이 있는 추정 알고리즘은 비제약 추정과 어떻게 비교되는가?
• RQ5 제안된 방법은 상호 연결된 물리적 제약 조건과 적대적 입력이 존재하는 다중 에이전트 시스템에서도 내성 유지가 가능한가?

주요 결과

• 제약 조건이 있는 추정 알고리즘이 비제약 추정에 비해 추정 오차와 오차 공분산을 모두 감소시킨다.
• 추정 오차는 실용적으로 지수 안정적이며, 공격 조건 하에서도 오차 성장이 유한하게 유지됨을 보장한다.
• 투영 기반 방법은 물리적 및 운영적 제약 조건을 이행함으로써 추정 정확도를 체계적으로 향상시킨다.
• 다중 에이전트 시스템에서의 수치 시뮬레이션 결과, 제약 조건이 있는 추정치는 비제약 추정치보다 유의미하게 낮은 오차 공분산을 달성한다.
• 오차 공분산 감소로 인해 정규화된 χ² 검정 통계량이 증가함에 따라 공격 탐지가 효과적으로 이루어진다.
• 주기적인 액추에이터 공격 및 에이전트 간 거리 제약 조건이 존재하는 시나리오에서도 방법이 강건성을 유지한다.