Resilient Output Containment under Undisclosed Leader Dynamics and Actuator Attacks

기술 요약: 미공개 리더 역학 및 액추에이터 공격 하에서의 탄력적 출력 포함(Resilient Output Containment)

문제 정의
본 연구는 유향 네트워크 토폴로지 상에서 작동하는 이종 선형 다중 에이전트 시스템(MAS)의 탄력적 출력 포함 문제를 다룬다. 목표는 네트워크 내 팔로워(follower)들의 물리적 출력이 여러 리더(leader)들에 의해 생성되는 시변 볼록 헐(time-varying convex hull)로 수렴하도록 보장하는 것이다. 이 문제는 두 가지 결정적인 제약 조건으로 인해 복잡해진다:

1. 미공개 리더 역학: 리더들은 유계인 국소 절대 연속 궤적을 생성하지만, 리더의 동역학 모델, 속도 상한 및 운동 포락선(motion envelopes)은 팔로워들에게 엄격히 미공개 상태이다. 이는 리더 외생계(exosystem) 파라미터를 재구성하는 데 의존하는 표준 분산 관측기 설계의 사용을 방지한다.
2. 액추에이터 사이버 공격: 팔로워들은 상태 상관 공격(state-correlated attacks), 입력 상관 공격(input-correlated attacks), 그리고 유계 외생적 허위 데이터 주입(bounded exogenous false-data injections)의 조합으로 모델링된 액추에이터 침해를 받는다. 이러한 공격은 명령 실행을 오염시키고 네트워크를 통해 전파될 가능성이 있다.

기존 솔루션들은 다음과 같은 한계에 직면해 있다: 분산 관측기는 미공개 제약 조건을 위반하며, 슬라이딩 모드 프로토콜은 채터링(chattering)을 유발하거나 리더 속도 상한에 대한 사전 지식을 요구하며, 연속 적응형 프로토콜은 일반적으로 무방향 그래프로 제한되거나 전체 상태 측정을 요구한다.

방법론
저자들은 네트워크 수준의 명령 생성과 로컬 실행 탄력성을 분리하도록 설계된 연속적인 2계층 적응형 제어 구조를 제안한다.

1. 네트워크 인터페이스 계층 (명령 생성):

   • 이 계층은 이웃 간에 교환되는 네트워크 인터페이스 상태와 사용 가능한 경우의 즉각적인 리더 신호만을 사용하여 태스크 공간 명령($\sigma_i$)을 생성한다.
   • 이 계층은 튜닝을 위해 전역 그래프 지식(예: 라플라시안의 고윳값)을 요구하지 않으며, 리더의 속도 상한이나 운동 포괄선에 대한 사전 지식도 필요로 하지 않는 새로운 적응형 상호작용 프로토콜을 채택한다.
   • 해당 프로토콜은 그래프가 리더를 루트로 하는 통합 스패닝 트리(united spanning tree)를 포함하는 경우, 명령 상태($\sigma_i$)의 점근적 포함을 증명하기 위해 비매끄러운 리아푸노프 분석(nonsmooth Lyapunov analysis)을 활용한다.

2. 로컬 가상 액추에이터 회복 계층 (실행 탄력성):

   • 이 계층는 액추에이터 공격에도 불구하고 물리적 팔로워가 생성된 명령을 추종하도록 보장한다.
   • 이 계층는 명목 제어기와 침해된 액추에이터 사이에 회복 블록을 삽입하는 "가상 액추에이터" 개념을 활용한다.
   • 설계에는 태스크 공간 명령을 팔로워의 동역학에 임베딩하기 위한 안정적인 로컬 명령 필터가 사용된다.
   • 연속 적응형 제어 법칙은 상태 상관, 입력 상관 및 외생적 공격을 보상한다. 결정적으로, 이 회복 메커니즘은 전체 상태 측정(특히 제로 다이내믹스 상태 $\eta_i$) 없이 외부 노멀 폼 상태($x_i$)만을 사용한다.
   • 안정성 분석은 비매끄러운 리아푸노프 함수와 리카티 기반 부등식을 사용하여 로컬 추적 오차의 점근적 수렴을 보장한다.

주요 기여

• 유향 그래프를 위한 연속 적응형 프로토콜: 본 논문은 리더 모델 재구성, 알려진 리더 운동 상한 또는 전역 그래프 파라미터를 요구하지 않고 일반적인 유향 리더 루트 그래프에서 점근적 명령 포함을 달성하는 연속 적응형 프로토콜을 제안한다.
• 비매끄러운 리아푸노프 분석: 불연속 슬라이딩 모드 제어의 채터링 문제나 경계층 근사의 최종 유계(ultimate boundedness) 제한을 피하기 위해, 제안된 프로토콜의 점근적 결과를 확립하는 데 새로운 비매끄러운 리아푸노프 분석이 사용되었다.
• 부분 상태 가상 액추에이터 회복: 전체 상태 측정을 필요로 하는 기존 결과와 대조적으로, 부분 상태 측정만을 사용하여 광범위한 액추에이터 공격(상태 상관, 입력 상관 및 외생적 공격)을 점근적으로 보상하는 연속 적응형 가상 액추에이터 계층이 개발되었다.
• 잔차 분석을 통한 실용적 포함: 본 연구는 명령 수준의 포함(점근적)과 물리적 출력 포함(실용적)을 구분한다. 물리적 출력의 잔차 오차를 엄격하게 규명하며, 이를 제안된 제어 전략의 실패가 아닌 이동하는 명령과 안정적인 로컬 명령 필터 사이의 불일치에 기인한 것으로 설명한다.

시뮬레이션 결과
본 아키텍처는 케이블 현수 하중(벡터 상대 차수 [4,4])을 운반하는 6대의 이종 쿼드로터 네트워크와 복잡하게 움직이고 회전하며 크기가 변하는 볼록 헐을 생성하는 3대의 리더를 포함하는 수치 시뮬레이션을 통해 검증되었다.

• 공격 시나리오: 두 대의 팔로워가 상태 상관, 입력 상관 및 외생적 성분이 결합된 심각하고 지속적인 액추에이터 공격을 받았다.
• 성능:
  • 네트워크 인터페이스는 명령 상태($\sigma_i$)를 리더의 볼록 헐로 매우 적은 오차(볼록 헐 직경 대비 $< 10^{-6}$ m)로 성공적으로 유도하였다.
  • 로컬 회복 계층은 유계된 신호를 유지하고 물리적 출력이 볼록 헐의 작은 실용적 잔차(최대 거리 $\approx 7.23$ m, 또는 헐 직경의 $\approx 1\%$) 내에 머물도록 보장하였다.
  • 물리적 잔차의 주요 원인은 제안된 네트워크 포함 오류가 아니라, 명령 필터 구현의 오류(고차 미분값 없이 임의의 이동 명령을 완벽하게 추종할 수 없는 안정적 필터의 특성 때문)로 식별되었다.
  • 비탄력적 베이스라인과의 비교를 통해, 제안된 아키텍처가 공격으로부터 효과적으로 회복하는 반면 베이스라인은 포함 유지를 실패함을 보여주었다.

의의 및 주장
본 논문은 미공개 리더 역학 및 액추에이터 공격 하의 이종 MAS를 위한 연속적 점근적 포함에 관한 문헌의 공백을 메운다고 주장한다. 그 의의는 다음과 같다:

1. 민감한 리더 모델 정보 없이 작동하여, 은밀한 공격을 위한 적대적 합성으로부터 보안성을 높인다.
2. 채터링을 유발하는 불연속 제어 동작에 의존하지 않고 복잡한 액추에이터 침해에 대해 탄력성을 유지한다.
3. 조정 계층(명령)의 점근적 수렴을 달면서 물리 계층의 실용적 포함 오차에 대한 엄격한 경계를 제공한다.

저자들은 물리적 출력 포함이 점근적이 아닌 "실용적"(잔차로 수렴)이라는 점을 강조하며, 이는 제안된 제어 전략의 실패가 아니라 정보 패턴(고차 명령 미분값의 부재)과 안정적인 로컬 필터 사용에 내재된 한계임을 밝힌다. 본 연구는 네트워크 인터페이스와 로컬 실행 계층을 분리함으로써 액추에이터 공격을 효과적으로 격리하여, 공격이 조정 계층으로 전파되는 것을 방지할 수 있음을 입증한다.