[論文レビュー] The Meaning of Structure in Interconnected Dynamic Systems

Enoch Yeung, Jorge Gonçalves+2 more|arXiv (Cornell University)|Aug 13, 2011

Fuel Cells and Related Materials参考文献 35被引用数 12

ひとこと要約

この論文は、矛盾による背理法を用いて、相互接続された動的システムにおける部分系構造の一意性を証明し、任意の2つの最大許容分割が同一であることを示している。主な貢献は、システムの強い部分構造が一意に定義されることを確立することで、複雑なシステムが重複のない動的に意味のある部分系に一貫して分解されることを保証することにある。

ABSTRACT

Interconnected dynamic systems are a pervasive component of our modern infrastructures. The complexity of such systems can be staggering, which motivates simplified representations for their manipulation and analysis. This work introduces the complete computational structure of a system as a common baseline for comparing different simplified representations. Linear systems are then used as a vehicle for comparing and contrasting distinct partial structure representations. Such representations simplify the description of a system's complete computational structure at various levels of fidelity while retaining a full description of the system's input-output dynamic behavior. Relationships between these various partial structure representations are detailed, and the landscape of new realization, minimality, and model reduction problems introduced by these representations is briefly surveyed.

研究の動機と目的

• 相互接続された動的システムにおける部分系構造の一意性を確立すること。
• 最大許容分割が同一であることを証明することで、システム分解のあいまいさを解消すること。
• 制御およびネットワーキングシステムにおける一貫した部分系同定の形式的基盤を提供すること。
• 構造的分解が分割選択に依存しないことを保証することで、信頼性の高いシステム解析を可能にすること。

提案手法

• 部分系構造 $\mathcal{S}$ を、システムの構成要素を重複のない動的に意味のある部分系に分割したものとして定義する。
• 2つの異なる最大許容分割 $\mathcal{S}$ および $\bar{\mathcal{S}}$ が存在すると仮定し、両方の基数が $q$ であるとする。
• すべての $S_i \in \mathcal{S}$ および $\bar{S}_j \in \bar{\mathcal{S}}$ に対して、$R_k = S_i \cap \bar{S}_j$ を用いて精錬された分割 $R$ を構成する。
• ダミー変数 $w$ を用いて入力を出力にマッピングすることで、$R$ におけるエッジを、顕在変数の接続に基づいて定義する。
• $\mathcal{S}$ または $\bar{\mathcal{S}}$ のいずれかを通じて接続性を確認することで、$R$ の各エッジが顕在変数に対応することを示す。
• $|V(R)| > q$ を証明する。具体的には、元の $q$ 個の集合でカバーされない、少なくとも1つの空でない交差 $R_{q+1} = \bar{S}_j \cap S_l$ を特定することで、最大性の矛盾を示す。

実験結果

リサーチクエスチョン

• RQ1 相互接続された動的システムの部分系構造は一意に定義されるか？
• RQ2 2つの異なる最大許容分割が矛盾を来さずに共存できるか？
• RQ3 複数の最大分割が存在する場合、それらは最大性を破るより大きな有効な分割を示唆するか？
• RQ4 システムの部分系への分解が分割選択に対して不変であるための条件は何か？

主な発見

• システム $G$ の部分系構造 $\mathcal{S}$ は一意に定まる。非一意性の仮定は、矛盾に導く。
• $\mathcal{S}$ および $\bar{\mathcal{S}}$ の交差を用いた精錬された分割 $R$ の構成により、$|V(R)| > q$ が得られ、元の分割の最大性に反する。
• 任意の $k=1,\dots,q$ に対して $R_k$ に含まれない非空の $R_{q+1} = \bar{S}_j \cap S_l$ の存在は、$\mathcal{S}$ および $\bar{\mathcal{S}}$ が両方とも最大であることは不可能であることを証明する。
• $R$ の各エッジは顕在変数に対応しており、精錬された分割が動的整合性を保持することを保証する。
• $\mathcal{S}$ および $\bar{\mathcal{S}}$ が両方とも最大かつ異なることは不可能であるため、一意性が証明される。
• 証明は $\mathcal{S} \neq \bar{\mathcal{S}}$ を仮定しており、異なる $\bar{S}_s$ および $\bar{S}_l$ が、それぞれの $R_i$ および $R_j$ を互いに素であることを根拠としている。