[논문 리뷰] Sparse Linear Ensemble Systems and Structural Controllability

Xudong Chen|arXiv (Cornell University)|2020. 04. 06.

Gene Regulatory Network Analysis참고 문헌 27인용 수 4

한 줄 요약

이 논문은 모든 개별 시스템이 동일한 희소성 패턴을 공유하고 닫힌 구간에서 연속적인 파라미터 변화에 의해 지배되는 희소 선형 엔sembles 시스템의 구조적 가측성에 대해 필수적이고 충분한 그래프 조건을 수립한다. 주요 기여는 고유값 단조성과 사이클 기반의 구조적 성질을 활용하여 균일한 가측성을 보장하는 최소 희소성 패턴을 특성화한 것으로, 이는 대규모 상호연결된 시스템 집단의 확장 가능하고 내성 있는 제어를 가능하게 한다.

ABSTRACT

The paper introduces and solves a structural controllability problem for continuum ensembles of linear time-invariant systems. All the individual linear systems of an ensemble are sparse, governed by the same sparsity pattern. Controllability of an ensemble system is, by convention, the capability of using a common control input to simultaneously steer every individual systems in it. A sparsity pattern is structurally controllable if it admits a controllable linear ensemble system. A main contribution of the paper is to provide a graphical condition that is necessary and sufficient for a sparsity pattern to be structurally controllable. Like other structural problems, the property of being structural controllable is monotone. We provide a complete characterization of minimal sparsity patterns as well.

연구 동기 및 목표

• 공유하는 희소성 패턴을 가진 선형 시간 불변 시스템의 연속 엔sembles에 대한 구조적 가측성 문제를 다루기 위해.
• 동일한 제어 입력을 사용할 때 전체 엔sembles의 균일한 가측성을 보장하는 데 필요한 및 충분한 조건을 규명하기 위해.
• 최소한의 비영원소를 포함하면서도 엔sembles 가측성을 유지하는 최소 희소성 패턴을 특성화하기 위해.
• 소규모의 협력적 네트워크화된 에이전트를 제어하는 방식으로 대규모이고 취약한 구조보다도 확장 가능하고 내성 있는 다중 에이전트 시스템의 프레임워크를 구축하기 위해.

제안 방법

• 닫힌 구간 Σ에서 매개변수화된 선형 시스템의 연속적 가족으로서 엔셈블 제어 문제를 수립하며, A(σ)와 B(σ)는 고정된 희소성 패턴을 공유하는 연속 행렬 함수이다.
• 희소성 패턴에 대한 구조적 가측성 개념을 도입하여, 패턴을 충족하는 최소한 하나의 연속적인 (A,B) 쌍이 균일하게 가측 가능할 경우를 가측성으로 정의한다.
• 희소성 패턴을 방향성 그래프 G로 모델링하기 위해 그래프 이론적 도구를 적용하고, 특히 상호배타적 사이클과 도달 가능성에 관여하는 G의 구조 조건을 도출하여 구조적 가측성을 위한 조건을 유도한다.
• A(σ)의 고유값이 연속 분지에 따라 단조성을 보장함으로써 균일한 가측성을 확보하며, 교차하지 않는 고유값과 단조 변화하는 고유값이 불가측 모드를 방지함을 활용한다.
• 최소 패턴에서 명시적인 (A,B) 쌍을 구성하기 위한 구축적 접근을 사용하며, ρ(σ) = σ + 1과 같은 스칼라 함수를 활용하여 고유값 분리와 σ ∈ Σ 전역에서의 가측성을 보장한다.
• 구조적 가측성 성질의 단조성 증명: 어떤 패턴이 구조적으로 가측 가능하면, 그 슈퍼패턴 역시 마찬가지로 가측 가능하므로, 최소 패턴의 계층적 구조를 가능하게 한다.

실험 결과

연구 질문

• RQ1 공통 제어 입력을 사용하는 균일하게 가측 가능한 선형 엔셈블 시스템이 존재하기 위해 필요한 및 충분한 그래프 조건은 무엇인가?
• RQ2 어떤 조건에서 최소 희소성 패턴이 구조적으로 가측 가능하지만, 비영원소 하나를 제거하면 이 성질을 상실하는가?
• RQ3 A(σ)의 고유값이 연속성과 단조성을 보일 때, 어떤 조건에서 엔셈블 시스템의 균일한 가측성이 보장되는가?
• RQ4 유한한 부분집합 엔셈블에 대해서도 희소성 패턴의 구조적 가측성이 유지되는가? 이는 확장 가능성과 어떻게 관련되는가?
• RQ5 엔셈블 시스템에서 구조적 가측성에 필수적인 기초 디그래프의 위상적 성질(예: 사이클 구조, 도달 가능성)은 무엇인가?

주요 결과

• 희소성 패턴이 구조적으로 가측 가능할 조건은 그에 대응하는 방향성 그래프가 조건-A를 만족할 때이다: 모든 정점이 루트 정점으로부터 도달 가능하며, 그래프는 모든 정점을 덮는 상호배타적 사이클의 집합을 포함한다.
• 최소 구조적 가측 패턴은 조건-B로 완전히 특성화된다: 그래프는 정점 수와 정확히 일치하는 하나의 사이클을 포함하며, 사이클은 상호배타적이며 모든 정점을 덮고, 여분의 간선이 존재하지 않는다.
• 모든 구조적으로 가측 가능한 패턴에 대해 선형 매개변수화 ρ(σ) = σ + 1를 사용하여 명시적인 (A,B) 쌍을 구성하였으며, 이는 σ ∈ [0,1] 전역에서 고유값 단조성과 교차하지 않는 스펙트럼을 보장한다.
• n=4인 구성된 예제에서, controllability matrix C(A(0),b(0))는 비특이행렬이며, A(σ)의 고유값은 ±(1+σ)와 ±3(1+σ)로, 모두 중복도가 1이며 스펙트럼 겹침이 없다.
• 균일한 가측성은 고유값 분지의 단조성과 스펙트럼 교차의 부재로 인해 보장되며, 이는 모든 σ에서 가측성 그라미안이 항상 최대로 질서를 유지함을 보장한다.
• 구조적 가측성 성질은 단조적이다: 어떤 패턴이 구조적으로 가측 가능하면, 그 슈퍼패턴 역시 마찬가지로 가측 가능하며, 최소 패턴은 간선 하나를 제거하면 더 이상 가측성이 상실되는 패턴이다.