[論文レビュー] Meanings and Applications of Structure in Networks of Dynamic Systems

Vasu Chetty, Sean Warnick|arXiv (Cornell University)|Jun 7, 2014

Gene Regulatory Network Analysis被引用数 5

ひとこと要約

本稿は、線形時不変（LTI）ダイナミックシステムのネットワークを分析・設計するための新しい枠組みとして、システムのダイナミカル構造関数の信号構造を導入する。この構造が、ネットワーク再構築、脆弱性解析、構造化されたコントローラ設計を可能にし、指定された構造を持つ安定化コントローラが存在するかどうかを体系的に判断する手法を提供する。主な結果として、サイクル型コントローラは、検出可能かつ安定化可能である限り、いかなるシステムをも安定化できることを示しており、一方で、可観測性と可制御性が不一致である場合には、対角型コントローラは失敗することを示している。

ABSTRACT

This chapter reviews four notions of system structure, three of which are contextual and classic (i.e. the complete computational structure linked to a state space model, the sparsity pattern of a transfer function, and the interconnection of subsystems) and one which is relatively new (i.e. the signal structure of a system's dynamical structure function). Although each of these structural concepts apply to the nonlinear and stochastic setting, this work will focus on linear time invariant systems to distill the key concepts and make their relationships clear. We then discusses three applications of the newest structural form (the signal structure of a system's dynamical structure function): network reconstruction, vulnerability analysis, and a recent result in distributed control that guarantees the synthesis of a stabilizing controller with a specified structure or proves that no such controller exists.

研究の動機と目的

• 従来の表現を越えて、ダイナミックシステムのネットワークにおけるシステム構造を理解する統一的枠組みを構築すること。
• 特に分散型およびセキュアなサイバーフィジカルシステムにおいて、通信や制御構造に制約のある安定化コントローラを設計する課題に取り組むこと。
• 与えられた構造を持つ安定化コントローラが存在するかどうかを体系的に判断する手法を提供し、試行錯誤を避けること。
• 信号構造がネットワーク再構築およびダイナミックシステムの脆弱性解析に実用的に応用できる点を示すこと。

提案手法

• 本稿は、LTIシステムの新しい表現としてダイナミカル構造関数を導入し、信号レベルの相互作用を構造化された行列形式で捉える。
• 信号構造を、ダイナミカル構造関数のスパarsityパターンとして定義し、顕在信号がどのように直接的に互いに影響を与えるかを明らかにする。
• 二値的構造制約に基づいて、反復的にコントローラリンクを追加する手順を提案し、極零消滅が生じないよう保証するとともに、各段階で安定化可能性を検証する。
• 不安定モードの可制御性と可観測性を構造的制約下で評価するために、Popov-Belevitch-Hautus（PBH）テストを用いる。
• 構造的可制御性および可観測性の概念を応用し、与えられたコントローラ構造（例：対角型またはサイクル型）がシステムを安定化できるかどうかを判断する。
• 反復的設計手順に失敗した場合、指定された構造を持つ安定化コントローラは存在しないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 システムのダイナミカル構造関数の信号構造を、入出力データから元のネットワークトポロジーを再構築するために利用できるか？
• RQ2 不安定なLTIシステムに対して、指定された構造的制約のもとで安定化コントローラが保証的に存在する条件は何か？
• RQ3 信号構造とシステムダイナミクスの相互作用が、サイバーフィジカルシステムにおける攻撃や故障に対する脆弱性にどのように影響するか？
• RQ4 なぜ一部のコントローラ構造（例：対角型）は、システムが安定化可能であっても失敗するのか？また、なぜサイクル型コントローラなど他の構造では成功するのか、その構造的性質は何か？

主な発見

• 指定された構造を持つ安定化コントローラが存在するための必要十分条件は、構造的制約と極零消滅のない反復的設計手順が成功することである。
• 対角型コントローラは、各不安定モードがその対応する入力から可制御であり、かつその対応する出力から可観測である場合にのみ、システムを安定化できる。それ以外の場合は、そのようなコントローラは存在しない。
• サイクル型コントローラ構造は、すべてのモードに対して完全な可観測性と可制御性を保証できるため、安定化可能かつ検出可能ないかなるシステムに対しても安定化可能である。
• ダイナミカル構造関数の信号構造は、特に明確なサブシステム分解ができないシステムにおいて、システム相互作用を独自かつ情報豊かに明らかにする。
• ネットワーク再構築と脆弱性解析は、信号構造によって可能となり、従来のモデルでは明らかでない顕在変数間の依存関係を明らかにする。
• 本稿は、構造化されたコントローラ設計手順に失敗した場合、与えられた構造を持つ安定化コントローラは存在しないことを証明しており、完全な意思決定基準を提供する。