[논문 리뷰] Event-Triggered Control over Unreliable Networks Subject to Jamming Attacks

Ahmet Cetinkaya, Hideaki Ishii외 1명|arXiv (Cornell University)|2015. 03. 24.

Stability and Control of Uncertain Systems참고 문헌 7인용 수 5

한 줄 요약

이 논문은 랜덤 패킷 손실과 지능형 방해 공격을 동반하는 신뢰성 없는 통신 채널을 가진 선형 네트워크화된 시스템에 대한 이벤트 트리거드 제어 프레임워크를 제안한다. 랜덤 손실은 시간에 따라 변하는 마르코프 체인을 사용하여 확률적으로 모델링하고, 방해 공격은 임의의 유한한 상한을 가진 공격 모델로 설정함으로써, 리아푸노프 유사 함수와 尾확률 부등식을 이용해 거의 확실한 점근적 안정성에 대한 충분조건을 유도한다. 이를 통해 볼록 최적화를 통한 안정화 피드백 이득과 트리거링 파라미터 설계가 가능해진다.

ABSTRACT

Event-triggered networked control of a linear dynamical system is investigated. Specifically, the dynamical system and the controller are assumed to be connected through a communication channel. State and control input information packets between the system and the controller are attempted to be exchanged over the network only at time instants when certain triggering conditions are satisfied. We provide a probabilistic characterization for the link failures which allows us to model random packet losses due to unreliability in transmissions as well as those caused by malicious jamming attacks. We obtain conditions for the almost sure stability of the closed-loop system, and we illustrate the efficacy of our approach with a numerical example.

연구 동기 및 목표

• 랜덤 패킷 손실과 지능형 방해 공격이 동시에 발생하는 상황에서 선형 네트워크 제어 시스템을 안정화하는 데 도전 과제를 해결하기 위해.
• 신뢰성 없는 네트워크에서 랜덤 및 악성 전송 실패를 모두 포괄하는 확률적 모델을 개발하기 위해.
• 통신을 최소화하면서도 적대적 및 확률적 교란 상황에서도 시스템 안정성을 보장하는 이벤트 트리거드 제어 메커니즘을 설계하기 위해.
• 제안된 프레임워크 하에서 폐루프 시스템의 거의 확실한 점근적 안정성에 대한 충분조건을 도출하기 위해.
• 제안된 모델 하에서 안정화 피드백 이득과 이벤트 트리거링 파라미터를 계산할 수 있는 수치적 절차를 제공하기 위해.

제안 방법

• 상태에 의존하는 전이 확률을 가진 시간에 따라 변하는 마르코프 체인을 사용하여 랜덤 패킷 손실을 모델링한다.
• 방해 공격을 총 시도 횟수에 대한 비율로 유한한 상한을 가진 임의의 수열로 특성화하여 거의 확실한 유한한 실패 수를 보장한다.
• 의존적인 과정의 합에 대한 尾확률 부등식을 사용하여 랜덤 손실과 방해 손실을 통합된 실패 과정으로 통합한다.
• 제어 신호 전송 이전 상태 성장률을 제한하는 리아푸노프 유사 함수 기반의 이벤트 트리거링 조건을 정의한다.
• 리아푸노프 유사 함수를 사용하여 제어 업데이트가 필요한 경우에만 발생하도록 보장함으로써, 안정성을 유지하면서도 통신 횟수를 줄인다.
• 선형 행렬 부등식(LMIs)을 통한 안정성 조건을 제시하고, 피드백 이득과 트리거링 파라미터를 수치적으로 해석한다.

실험 결과

연구 질문

• RQ1 이벤트 트리거드 제어는 랜덤 패킷 손실과 지능형 방해 공격이 동시에 발생하는 상황에서 선형 시스템을 안정화할 수 있는가?
• RQ2 랜덤 및 악성 패킷 손실을 안정성 분석에 적합한 확률적 프레임워크에서 공동으로 모델링할 수 있는가?
• RQ3 이러한 실패 모델 하에서 폐루프 시스템의 거의 확실한 점근적 안정성을 보장하는 조건은 무엇인가?
• RQ4 통신 횟수를 최소화하면서도 안정성을 유지할 수 있도록 이벤트 트리거링 메커니즘은 어떻게 설계할 수 있는가?
• RQ5 제안된 모델 하에서 안정화 피드백 이득과 트리거링 파라미터를 계산할 수 있는 수치 절차는 무엇인가?

주요 결과

• 제안된 프레임워크는 독립적 및 상관된 랜덤 손실과 방해 손실 상황에서도 영해의 거의 확실한 점근적 안정성을 보장한다.
• 리아푸노프 유사 함수와 손실 과정의 합에 대한 尾확률 부등식을 사용하여 안정성에 대한 충분조건가 도출되었다.
• 수치 예제에서 안정화 피드백 이득 $ K = MQ^{-1} $ 와 트리거링 파라미터 $ heta = 1000 $ 이 계산되었으며, 이는 250개의 샘플 경로에서 $ \|x(t)\| $ 가 0으로 수렴함을 보장한다.
• 리아푸노프 유사 함수 $ V(x(t)) $ 는 랜덤 또는 방해로 인한 패킷 전송 실패가 발생하더라도 시간이 지남에 따라 0으로 수렴하는 것으로 나타났다.
• 제어 입력이 실패한 전송 시도 동안 0으로 유지되더라도, 이벤트 트리거링 메커니즘이 적시 업데이트를 통해 안정성을 복구할 수 있어 시스템은 여전히 안정하다.
• 총 시도 횟수에 대한 비율로 실패 시도 수가 거의 확실하게 유한한 한계를 가지는 한, 임의의 방해 패턴을 허용하므로 지능형 공격자에 대한 강건성을 확보할 수 있다.