[論文レビュー] Port-Hamiltonian systems on graphs

Arjan van der Schaft, Bernhard Maschke|arXiv (Cornell University)|Jul 11, 2011

Complex Network Analysis Techniques被引用数 4

ひとこと要約

本稿では、有向グラフ上のポート・ハミルトニアン系として物理的ネットワークダイナミクスをモデル化する幾何的枠組みを導入し、グラフの接続行列を用いて保存則を符号化するディラック構造を定義する。主な貢献は、機械的・電気的・コンSENSUSネットワークなど多様な系に共通するハミルトニアン構造を明らかにする統一的かつ構成的拡張可能な形式的枠組みを提供することである。これにより、エネルギーに基づく手法による体系的な解析と制御が可能になる。

ABSTRACT

In this paper we present a unifying geometric and compositional framework for modeling complex physical network dynamics as port-Hamiltonian systems on open graphs. Basic idea is to associate with the incidence matrix of the graph a Dirac structure relating the flow and effort variables associated to the edges, internal vertices, as well as boundary vertices of the graph, and to formulate energy-storing or energy-dissipating relations between the flow and effort variables of the edges and internal vertices. This allows for state variables associated to the edges, and formalizes the interconnection of networks. Examples from different origins such as consensus algorithms are shown to share the same structure. It is shown how the identified Hamiltonian structure offers systematic tools for the analysis of the resulting dynamics.

研究の動機と目的

• 複雑な物理的ネットワークダイナミクスをオープングラフ上のポート・ハミルトニアン系として統一的かつ幾何的に、構成的にモデル化する枠組みを構築すること。
• グラフの接続行列から導出されるディラック構造を用いて、ネットワーク部品の接続を形式化し、保存則とエネルギーの流れを捉えること。
• 機械的質量・ばね・ダンパー系からコンセンサスアルゴリズムに至るまで、多様な系が同じ基本的なポート・ハミルトニアン構造を持つことを示すこと。
• ポート・ハミルトニアン系のエネルギーに基づく構造を活用して、ネットワークダイナミクスの体系的解析と制御のためのツールを提供すること。
• この枠組みを高次元のk-複体へと拡張し、偏微分方程式の構造保存的空間離散化に応用する基盤を築くこと。

提案手法

• 有向グラフの接続行列を用いて、頂点、辺、境界空間に3つの標準的ディラック構造を定義し、保存則と接続制約を符号化する。
• 辺および内部頂点におけるフロー変数とエフェクト変数の間で、エネルギー貯蔵またはエネルギー散逸関係を定式化し、全エネルギーが外部入力の仕事と散逸の和を含む保存則を満たす。
• ディラック構造はシンプレクティック構造やポアソン構造を一般化し、頂点にエネルギー貯蔵や散逸がない場合に対応するキルヒホッフ・ディラック構造が、キルヒホッフの電流則に類似している。
• 質量・ばね・ダンパー系、電気回路、水力ネットワークなどの物理的例に本手法を適用し、一貫したポート・ハミルトニアン構造が得られることを示した。
• 本手法はコンセンサスおよびクラスタリングアルゴリズムへと拡張され、それらの共通するポート・ハミルトニアン性が明らかになり、古典的ハミルトニアン技法による解析が可能になった。
• 本手法は構成的である：グラフ上のポート・ハミルトニアン系を接続すると、再びポート・ハミルトニアン系が得られ、異種的かつ多スケールネットワークのスケーラブルなモデル化を可能にする。

実験結果

リサーチクエスチョン

• RQ1 有向グラフ上の物理的ネットワークダイナミクスを、幾何的構造を用いてどのように体系的にポート・ハミルトニアン系としてモデル化できるか？
• RQ2 グラフの接続行列が、保存則と接続ルールを符号化するディラック構造を定義する上で果たす役割は何か？
• RQ3 機械的・電気的・コンセンサスネットワークなど、物理的起源が異なる多様な系が、なぜ同じポート・ハミルトニアン構造を共有するのか？
• RQ4 同定されたハミルトニアン構造が、従来の手法を超えてネットワークダイナミクスの体系的解析と制御をどのように可能にするか？
• RQ5 本枠組みを高次元のk-複体へと拡張することで、偏微分方程式の構造保存的空間離散化にどのような可能性が開かれるか？

主な発見

• 有向グラフの接続行列は、頂点、辺、境界空間に3つの標準的ディラック構造を生じさせ、キルヒホッフ・ディラック構造は頂点にエネルギー貯蔵や散逸がない場合に対応する。
• 本枠組みは、機械的・電気的・水力的・コンセンサスアルゴリズムといった多様な物理的系を、共通のポート・ハミルトニアン構造の下に統一し、共通の解析・制御ツールの利用を可能にする。
• 系全体のエネルギーは保存則を満たす：時間微分は外部入力の仕事から散逸したエネルギーを差し引いたものに等しい。これはハミルトニアンおよび散逸関係の直接的結果である。
• 保存された幾何的構造のおかげで、安定性解析やエネルギーに基づく制御といった古典的ハミルトニアン技法によるネットワークダイナミクスの体系的解析が可能になる。
• 本枠組みは構成的閉包性を有する：グラフ上のポート・ハミルトニアン系を接続すると、再びポート・ハミルトニアン系が得られ、スケーラビリティと多スケールモデリングを支援する。
• 本手法は、k-複体への拡張を通じて、分布定数系の構造保存的空間離散化の基盤を提供する。これは併論で検討されている。