[論文レビュー] Sparse Linear Ensemble Systems and Structural Controllability

Xudong Chen|arXiv (Cornell University)|Apr 6, 2020

Gene Regulatory Network Analysis参考文献 27被引用数 4

ひとこと要約

本稿は、同一のスパarsityパターンを共有し、閉区間上で連続的なパラメータ変動に従うスパース線形アンサンブル系の構造的可制御性について、必要十分な図的条件を確立する。主な貢献は、固有値の単調性およびサイクルに基づく構造的性質を用いて、一様可制御性を保証する最小スパarsityパターンの特徴付けであり、これにより大規模な相互接続されたシステム集団のスケーラブルでレジリエントな制御が可能になる。

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.

研究の動機と目的

• スパarsityパターンを共有する線形時不変系の連続的アンサンブルに対する構造的可制御性問題に取り組む。
• 同じ制御入力を用いて、すべてのシステムが一様に可制御となるようなスパarsityパターンが満たすべき必要十分条件を同定する。
• 最小スパarsityパターンを特徴付け、可能な限り少ない非ゼロ要素を保ちつつアンサンブル可制御性を維持する。
• 小規模で協力的なネットワーキングエージェントを制御することにより、大規模で壊れやすいトポロジーよりもスケーラビリティとレジリエンスを支援するフレームワークを構築する。

提案手法

• スパarsityパターンが固定された閉区間 Σ 上でパrameter化された連続的な線形システム族としてアンサンブル制御問題を定式化し、A(σ) および B(σ) を連続的な行列関数とし、同じスパarsityパターンを持つものとする。
• スパarsityパターンに対する構造的可制御性の概念を導入し、パターンに適合する少なくとも1つの連続的 (A,B) 組が一様可制御である場合に、そのパターンは構造的可制御であると定義する。
• スパarsityパターンを有向グラフ G としてモデル化し、図的性質（特に、互いに素なサイクルと到達可能性）に関する条件を導出し、構造的可制御性の条件を導出する。
• A(σ) の固有値が連続的ブランチに沿って単調に変化することを用いて一様可制御性を保証し、非交差する固有値と単調変化が、不可制御モードの発生を防ぐ。
• 最小パターンから明示的な (A,B) 組を構成する構成的アプローチを採用し、ρ(σ) = σ + 1 などのスカラー関数を用いて、σ ∈ Σ における固有値の分離と可制御性を保証する。
• 構造的可制御性の単調性を証明する：あるパターンが構造的可制御であれば、そのすべてのスーパーパターンに対しても同様に可制御であり、これにより最小パターンの階層が得られる。

実験結果

リサーチクエスチョン

• RQ1 スパarsityパターンに関するどのような図的条件が、共通の制御入力を用いた一様可制御な線形アンサンブル系の存在に必要な十分条件となるか？
• RQ2 どのようないくつかの非ゼロ要素を削除すると可制御性を失う最小スパarsityパターンは、どのように特徴付けられるか？
• RQ3 A(σ) の固有値の連続性および単調性が、アンサンブル系の一様可制御性を保証する条件は何か？
• RQ4 有限な部分アンサンブルにおいて、スパarsityパターンの構造的可制御性は保持されるか？ また、スケーラビリティとはどのように関係するか？
• RQ5 アンサンブル系における構造的可制御性に本質的な、有向グラフ（例：サイクル構造、到達可能性）のトポロジカル性質は何か？

主な発見

• スパarsityパターンが構造的可制御であるための必要十分条件は、関連する有向グラフが条件-Aを満たすことである：すべてのノードがルートノードから到達可能であり、すべてのノードをカバーする互いに素なサイクルの集合が存在する。
• 最小構造的可制御パターンは、条件-Bによって完全に特徴付けられる：グラフは各ノードに対してちょうど1つのサイクルを持ち、サイクルは互いに素ですべてのノードをカバーし、余分なエッジは存在しない。
• 本稿では、線形パラメータ化 ρ(σ) = σ + 1 を用いて、任意の構造的可制御パターンに対して明示的な (A,B) 組を構成し、σ ∈ [0,1] における固有値の単調性と非交差スペクトルを保証する。
• n=4 の構成例において、可制御性行列 C(A(0),b(0)) は正則であり、A(σ) の固有値は ±(1+σ) および ±3(1+σ) であり、すべての重複度が1で、スペクトルの重複は生じない。
• 固有値ブランチの単調性とスペクトルの交差なしにより、アンサンブルの均一可制御性が保証され、すべての σ においてコントロールグラミアンがフルランクを維持する。
• 構造的可制御性は単調である：あるパターンが構造的可制御であれば、そのすべてのスーパーパターンに対しても同様に可制御であり、最小パターンは、任意のエッジの削除によって可制御性を失うようなパターンである。