[논문 리뷰] Controllability of LTI Networked Systems with Heterogeneous Dynamics

Abhijith Ajayakumar, Raju K. George|arXiv (Cornell University)|2020. 12. 19.

Neural Networks Stability and Synchronization참고 문헌 45인용 수 9

한 줄 요약

이 논문은 방향성 있고 가중치가 부여된 구조를 가진 이질적인 선형 시간 불변(LTI) 동역학을 가진 네트워크 시스템의 가용성에 대한 必요하고 충분한 조건을 수립한다. 행렬 질량 조건과 구조 분석을 활용하여 이전의 동일한 동역학을 가진 시스템에 대한 결과를 일반화함으로써, 복잡한 행렬 방정식을 풀지 않고도 효율적으로 검증할 수 있으며, 고립된 노드나 출구 간선이 없는 경우와 같은 특정 구조에서의 비가용성 조건을 유도한다.

ABSTRACT

In this paper, a necessary and sufficient condition for the controllability of networked systems with heterogeneous dynamics is established where the nodes are higher dimensional linear time invariant systems and the network topology is directed and weighted. The controllability of networked system over some specific topologies are also examined and some non-controllability results are obtained. The theoretical results are demonstrated with examples.

연구 동기 및 목표

• 이질적인 LTI 동역학을 가진 네트워크 시스템의 가용성에 대한 必요하고 충분한 조건을 수립하기 위해.
• 기존의 동일한 동역학을 가진 네트워크 시스템에 대한 결과를 더 일반적인 이질적 노드 동역학의 경우로 일반화하기 위해.
• 이전의 접근 방식과 달리 행렬 방정식을 풀지 않는 계산적으로 효율적인 기준을 제공하기 위해.
• 입력 또는 출력 간선이 없는 노드가 포함된 특수한 구조에서의 가용성 분석을 위해.
• 특정 구조적 제약 조건 하에서 개별 노드의 가용성이 전체 네트워크 시스템의 가용성에 필수적인지 조사하기 위해.

제안 방법

• 네트워크 시스템을 블록 구조를 가진 상태 행렬 F = A + C ⊗ H를 가진 대규모 LTI 시스템으로 수식화하며, 여기서 A는 블록 대각 행렬이고 C는 가중치가 부여된 방향성 구조를 나타낸다.
• 가용성에 대한 필요 및 충분 조건을 유도하기 위해 Popov-Belevitch-Hautus(PBH) 질량 조건을 적용하여 [F - λI, D ⊗ B]의 질량에 기반한 조건을 도출한다.
• 구조 분해를 통해 구조가 가용성에 미치는 영향을 분석하며, 특히 들어오는 간선이 없는 노드에 초점을 맞춘다.
• 개별 노드가 가용성이 없는 경우 비가용성에 대한 필요 조건을 도출하기 위해 왼쪽 고유벡터 분석을 활용한다.
• 노드 동역학과 구조 행렬 간의 행렬 교환 조건을 도입하여 분석을 단순화한다.
• 구체적인 구조에서의 가용성과 비가용성을 보여주는 수치 예제를 통해 이론적 결과를 검증한다.

실험 결과

연구 질문

• RQ1 방향성 있고 가중치가 부여된 구조를 가진 이질적인 네트워크 시스템의 LTI 동역학에 대해 가용성에 대한 필요 및 충분 조건은 무엇인가?
• RQ2 개별 노드의 가용성이 전체 네트워크 시스템의 가용성에 필수적인 조건는 무엇인가?
• RQ3 노드에 들어오는 간선이 없는 경우 전체 시스템의 가용성에 어떤 영향을 미치는가?
• RQ4 출구 간선이 없는 노드의 가용성이 시스템의 가용성에 필수적인 경우는 언제인가?
• RQ5 이전의 연구들에서처럼 행렬 방정식을 풀지 않고도 가용성 조건을 검증할 수 있는가?

주요 결과

• 시스템의 상태 행렬과 입력 행렬로부터 구성된 행렬의 질량에 기반한 필요 및 충분한 가용성 조건이 도출되었으며, 이는 행렬 방정식을 풀지 않고도 효율적으로 검증할 수 있다.
• 노드에 들어오는 간선이 없는 경우, 그 노드의 부분시스템(Aj, B)의 가용성은 전체 네트워크 시스템의 가용성에 필수적인 조건이다.
• 출구 간선이 없는 노드의 경우, 개별 노드의 가용성이 항상 필수적인 것은 아니지만, Aj의 모든 왼쪽 고유벡터가 ξiH = 0를 만족할 경우 필수 조건이 된다.
• 이 조건은 Hao 등(2018)의 동일한 동역학을 가진 시스템에 대한 이전 결과를 이질적 경우로 일반화한다.
• 특정 구조에서의 가용성 및 비가용성 구성 요소를 보여주는 예제를 통해 이론적 결과가 확인되었다.
• 고립된 노드 또는 특정 고유벡터 조건을 가진 구조는 개별 노드가 가용성조차도 전체 시스템의 가용성이 실패할 수 있음을 밝혀냈다.