[논문 리뷰] On Resilient Control of Nonlinear Systems under Denial-of-Service

Claudio De Persis, Pietro Tesi|arXiv (Cornell University)|2014. 04. 07.

Smart Grid Security and Resilience인용 수 7

한 줄 요약

이 논문은 비선형 시스템에 대한 이벤트 기반 제어 전략을 제안하며, 통신 장애가 간헐적으로 발생하는 거부행위(DoS) 공격 상황에서도 반응성 안정성(semi-global asymptotic stability)을 확보하기 위해 ISS-리아푸노프 함수를 활용한다. 주요 기여는 안정성이 유지되는 조건 하에서 허용 가능한 최대 DoS 지속 시간을 특성화한 것으로, 이는 시간 분율 τ와 최소 간섭 간격 εR로 정량화되며, 시스템 동역학과 공격 매개변수로부터 명시적인 경계가 유도된다.

ABSTRACT

We analyze and design a control strategy for nonlinear systems under Denial-of-Service attacks. Based on an ISS-Lyapunov function analysis, we provide a characterization of the maximal percentage of time during which feedback information can be lost without resulting in the instability of the system. Motivated by the presence of a digital channel we consider event-based controllers for which a minimal inter-sampling time is explicitly characterized.

연구 동기 및 목표

• 악성 거부행위(DoS) 공격으로 인해 피드백 정보가 간헐적으로 손실될 경우 비선형 시스템을 안정화하는 데 도전하는 문제를 다루기 위해.
• 선형 시스템에 대한 내성적 제어 원리를 비선형 시스템으로 확장하며, 특히 공격 패tern에 대한 사전 지식이 없는 일반적인 DoS 신호 모델 하에서 적용 가능하도록 하기 위해.
• DoS 공격이 통신을 방해할 수 있는 최대 시간 비율을 특성화하여, 닫힌 루프 시스템이 안정성을 유지할 수 있는 조건을 규명하기 위해.
• DoS 공격 하에서도 안정성이 유지되기 위해 필요한 최소 간섭 간격을 명시적으로 결정함으로써 실용적인 구현 가능성을 확보하기 위해.
• 장기적인 DoS 간격 동안 유한 탈출 시간 위험 존재에도 불구하고 반응성 안정성이 유지되는 조건을 설정하기 위해.

제안 방법

• DoS로 인한 통신 장애로 발생하는 측정 오차 하에서의 안정성 분석을 위해 ISS-리아푸노프 함수 프레임워크를 사용한다.
• 실시간 이벤트 트리거링 논리를 도입하여 DoS 발생 여부에 따라 샘플링 시간을 조정함으로써, 시간에 따라 변하는 통신 가용성 하에서도 안정성을 확보한다.
• 안정성이 유지되는 최대 시간 분율 τ에 대한 경계를 도출하며, 이는 시스템 매개변수와 리아푸노프 함수의 감쇠 속도에 기반한다.
• 최소 간섭 간격의 하한 εR을 설정하며, 이는 시스템의 리프시츠 상수 L과 DoS 공격 매개변수 σ에 명시적으로 의존한다.
• 리아푸노프 함수가 통신 간격 동안 지수적으로 감쇠하고 DoS 간격 동안 증가하는 하이브리드 시스템 분석을 적용하며, 감쇠가 지배할 경우 전체 안정성이 보장된다.
• 장기적인 DoS 간격 동안 유한 탈출 시간을 방지하기 위해 가정 2를 도입함으로써, 시스템의 클래스를 제한하지만 안정성 분석의 실현 가능성을 높인다.

실험 결과

연구 질문

• RQ1 이벤트 기반 제어 하에서 비선형 시스템이 안정성을 잃지 않도록 하기 위해 DoS 공격이 통신을 방해할 수 있는 최대 시간 비율은 얼마인가?
• RQ2 DoS 공격 하에서도 안정성을 확보하기 위해 최소 간섭 간격을 어떻게 명시적으로 특성화할 수 있는가?
• RQ3 DoS 간격 동안 피드백이 존재하지 않더라도 반응성 안정성이 유지되는 조건은 무엇인가?
• RQ4 리프시츠 상수와 리아푸노프 함수 성질과 같은 시스템 고유 매개변수들이 DoS 신호 특성과 어떻게 상호작용하여 안정성 여유를 결정하는가?
• RQ5 모르는 에너지 제약이 있는 DoS 공격 하에서도 이벤트 기반 제어의 내성성은 비선형 시스템으로까지 확장될 수 있는가?

주요 결과

• DoS가 발생하는 시간 비율이 τ < (ω₁ − ω₂)/ (ω₁ + ω₂) 이하일 경우 시스템은 반응성 안정성을 유지한다. 여기서 ω₁과 ω₂는 각각 리아푸노프 감쇠 속도와 증가 속도이다.
• 최소 간섭 간격 εR은 εR = (1/(2L)) ln((3σ + 1)/(σ + 1)) 로 명시적으로 특성화되며, 이는 시스템의 리프시츠 상수 L과 DoS 매개변수 σ에 의존한다.
• 샘플링 주기와 DoS 내성성 사이에 상충 관계가 존재한다: σ가 크면(초기 DoS 간격이 길면) 최소 간섭 간격이 감소하여 통신 부담이 증가한다.
• τ에 대한 경계는 시스템의 내재적 동역학(λ 및 V를 통해)과 DoS 신호의 특성(κ 및 τ를 통해)에 모두 의존하므로, 공격 프로파일과 안정성 여유 간의 직접적인 연결 고리를 보여준다.
• 분석 결과, 에너지 제약이 있는 알려지지 않은 DoS 공격 하에서도, 방해 시간 비율이 시스템에 따라 결정되는 임계값 이하일 경우 안정성이 유지됨을 확인하였다.
• 제안된 방법은 유도된 조건 하에서 전역 지수 안정성을 보장하며, 수렴 속도는 리아푸노프 감쇠 매개변수 λ에 의해 명시적으로 경계된다.