Consensus Tracking of Perturbed Open Multi-Agent Systems with Repelling Antagonistic Interactions

기술적 요약: 반발적 적대적 상호작용을 가진 교란된 오픈 다중 에이전트 시스템의 합의 추적

문제 제기
본 연구는 이주로 인한 역경에 노출된 오픈 다중 에이전트 시스템 (OMASs) 의 합의 추적 문제를 다룹니다. 기존 다중 에이전트 시스템과 달리, OMAS 는 에이전트가 네트워크에 동적으로 합류하거나 이탈하는 특징을 가지며, 이로 인해 자연스럽게 스위칭되고 크기가 변하는 토폴로지가 발생합니다. 본 연구에서 조사된 구체적인 과제는 다음과 같습니다:

1. 소멸하지 않는 교란: 에이전트 이동으로 인한 연속 동역학/상태 교란과 임펄스적 상태 점프.
2. 반발적 적대적 상호작용: 네트워크를 불안정하게 만들 수 있는 상호작용으로, 부호화된 방향 그래프 (signed digraphs) 를 통해 모델링되며, 여기서 부정적 간선 (반발) 이 협력적 간선을 지배할 수 있습니다.
3. 간헐적으로 단절된 부호화된 방향 그래프: 네트워크 토폴로지는 방향성을 가질 수 있으며 특정 시점에서는 연결성이 결여될 수 있습니다.

핵심적인 어려움은 반발적 상호작용이 협력적 상호작용을 지배할 때, 네트워크 연결성과 무관하게 시스템이 불안정 하위 시스템을 생성하여 참조 리더에 대한 합의 추적을 달성하는 것을 복잡하게 만든다는 사실에 있습니다.

방법론
저자들은 OMAS 를 교란된 다중 모드 다차원 (M³D) 시스템으로 모델링합니다. 이 프레임워크는 에이전트의 합류/이탈로 인한 차원 변화와 소멸하지 않는 임펄스적 교란을 통합된 구조에 통합합니다.

주요 방법론적 단계는 다음과 같습니다:

• 시스템 공식화: 에이전트 동역학은 합의 추적 프로토콜을 가진 선형 방정식으로 기술됩니다. 네트워크 토폴로지는 스위칭 부호화된 방향 그래프 $\tilde{G}_{\sigma(t)}$로 표현됩니다. 저자들은 "반발 라플라시안" 행렬을 정의하며, 부정적 간선이 긍정적 간선보다 많을 경우 해당 행렬은 음의 실수부를 가진 고유값을 가지게 되어 불안정성이 초래됨을 지적합니다.
• 오차 동역학: 합의 추적 문제는 추적 오차 시스템의 안정성 분석으로 변환됩니다. 이 오차 시스템은 다음과 같은 특징을 가진 스위칭 시스템으로 특징지어집니다:
  • 행렬 $\tilde{A}_{\sigma(t)}$에 의해 지배되는 연속 동역학.
  • 에이전트 이동과 외부 임펄스로 인해 스위칭 시점 $t_k$에서 발생하는 이산 점프.
• 안정성 분석: 저자들은 M³D 시스템에 대한 안정성 이론을 확장합니다. 스위칭 모드를 안정 집합 ($P_s$) 과 불안정 집합 ($P_u$) 으로 분류합니다.
  • $P_s$의 모드는 리더를 루트로 하는 방향성 신장 트리 (directed spanning tree) 를 가진 긍정적 간선만 포함된 토폴로지에 해당합니다.
  • $P_u$의 모드는 신장 트리가 없는 긍정적 간선만 포함된 토폴로지, 또는 반발적 상호작용이 지배적인 토폴로지를 포함합니다.
• 스위칭 조건: 불안정 하위 시스템과 소멸하지 않는 교란에도 불구하고 안정성을 보장하기 위해, 저자들은 다음에 기반한 조건을 유도합니다:
  • 구간 평균 체류 시간 (ADT): 스위칭 빈도에 대한 제약.
  • 활성화 시간 비율: 안정 모드와 불안정 모드에서 보낸 시간의 비율에 대한 제약. 구체적으로, 반발적 상호작용의 불안정화 효과를 중화시키기 위해 안정화 방향 그래프가 충분히 오랫동안 활성화되어야 합니다.

주요 기여

1. 문제 확장: 본 연구는 상태 교란 하의 리더 없는 합의를 다루던 기존 OMAS 연구 (예: Xue et al., 2022) 를 소멸하지 않는 교란과 적대적 상호작용 하의 합의 추적으로 확장합니다.
2. 반발적 상호작용 분석: 본 논문은 반발적 상호작용이 협력적 상호작용을 지배할 경우, 네트워크 연결성과 무관하게 OMAS 가 불안정성을 나타낸다는 이론적 특성을 제공합니다. 이는 종종 순수한 협력적 또는 대립적 (이분) 상호작용을 가정해 온 기존 문헌의 공백을 메웁니다.
3. 새로운 M³D 분석 방법: 소멸하지 않는 교란과 불안정화 반발적 상호작용을 수용하는 새로운 분석 방법이 제안되었습니다. 기존 연구와 달리, 본 방법은 다음과 같은 특징을 가집니다:
   • "교대 스위칭" 조건을 요구하지 않음.
   • 방향성이 있고 간헐적으로 단절된 부호화된 그래프에 적용 가능.
   • 상태 무관 및 상태 의존 임펄스 모두를 처리.

결과
이론적 분석은 다음과 같은 결과를 도출합니다:

• 최종 유계성: 소멸하지 않는 교란과 상태 무관 임펄스 하에서, 시스템은 최종 유계 합의 추적을 달성합니다. 최종 유계는 교란의 크기와 스위칭 매개변수에 의존합니다.
• 점근적 추적: 교란이 소멸하는 경우 (즉, 외부 교란이 없고 오차가 소멸함에 따라 소멸하는 상태 의존 임펄스만 존재하는 경우), 점근적 합의 추적이 달성됩니다.
• 스위칭 조건: 결과는 합의가 스위칭 신호가 특정 구간 ADT 및 활성화 시간 비율 조건을 만족할 경우 달성 가능함을 확립합니다. 이러한 조건은 불안정화 모드와 교란을 상쇄하기에 충분히 안정화 모드가 활성화되도록 보장합니다.

의의
본 논문은 OMAS 에서 이주로 인한 역경에 초점을 맞춤으로써 이론적 및 실용적 의의를 주장합니다. 이는 에이전트 이동이 갑작스러운 교란을 유발하고 협력적 상호작용을 적대적 상호작용으로 전환시킬 수 있음을 강조합니다 (예: 트로이 목마 장치와 같은 사이버 - 물리적 공격으로 인한 경우). 반발적 상호작용이 지배하더라도 특정 스위칭 조건이 충족된다면 합의를 유지할 수 있음을 입증함으로써, 본 연구는 모바일 애드혹 네트워크나 동적 자원 고갈에 노출된 시스템과 같은 열악한 환경에서 유연한 네트워크를 제어하기 위한 강력한 프레임워크를 제공합니다. 시뮬레이션 예제는 유도된 조건이 지속적 교란 하에서 유계 추적을 달성하고, 교란이 소멸할 때 점근적 추적을 달성할 수 있음을 검증합니다.