[論文レビュー] A Spectral Expression for the Frequency-Limited H2-norm

Pierre Vuillemin, Charles Poussot-Vassal+1 more|arXiv (Cornell University)|Nov 8, 2012

Model Reduction and Neural Networks参考文献 8被引用数 10

ひとこと要約

本稿では、線形時不変（LTI）システムの周波数制限付きℋ₂ノルム（ℋ₂,ω）の新しいスペクトル表現を導入し、リャプノフ方程式を解くのではなく、システムの固有値と固有ベクトルから直接計算する手法を提示する。この手法により、大規模システムにおいてより高速かつスケーラブルな計算が可能となり、虚軸上に極をもつシステムへの適用可能性も拡張され、ℋ₂,ωに基づく制御設計およびモデル還元のための新しい理論的・計算的枠組みが提供される。

ABSTRACT

In this paper, a new simple but yet efficient spectral expression of the frequency-limited H2-norm, denoted H2w-norm, is introduced. The proposed new formulation requires the computation of the system eigenvalues and eigenvectors only, and provides thus an alternative to the well established Gramian-based approach. The interest of this new formulation is in three-folds: (i) it provides a new theoretical framework for the H2w-norm-based optimization approach, such as controller synthesis, filter design and model approximation, (ii) it improves the H2w-norm computation velocity and it applicability to models of higher dimension, and (iii) under some conditions, it allows to handle systems with poles on the imaginary axis. Both mathematical proofs and numerical illustrations are provided to assess this new H2w-norm expression.

研究の動機と目的

• MIMO LTIシステムにおける周波数制限付きℋ₂ノルム（ℋ₂,ω）の新たな、計算的に効率的な定式化を開発すること。
• リャプノフ方程式を解く必要がある従来のグラミアンベースのアプローチの代替を提供すること。
• 固有値および固有ベクトルの計算を活用することで、大規模システムにおけるℋ₂,ωノルムの計算を可能にすること。
• 従来のグラミアン手法が定義不能となる虚軸上に極をもつシステムへの適用可能性を拡張すること。
• ℋ₂,ωに基づくコントローラー設計、フィルタ設計、およびモデル近似のための新しいスペクトル的枠組みを確立すること。

提案手法

• システムの固有値と固有ベクトルのみを用いたℋ₂,ωノルムの新しいスペクトル的表現を提案する。
• 主値の複素対数関数、逆正 tangent 関数、逆余割線関数を含む複素関数論を用いてノルムを導出する。この際、一貫性のある分岐切断の規約を採用する。
• 各極における伝達関数の留数を用いて、トレースに基づくスペクトル的表現としてノルムを表現する。
• 複素平面における解析的一致性を保証するため、複素対数関数および逆正 tangent 関数の主値を用いる。
• ℋ₂,ωノルムを[0, ω]上の積分として定式化し、グラミアン計算を回避するためのスペクトル分解を用いる。
• 数学的証明およびベンチマーク系における数値的図示を通じて、定式化の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 リャプノフ方程式を解かずに、システムの固有値と固有ベクトルから周波数制限付きℋ₂ノルムを直接表現できるか？
• RQ2 提案されたスペクトル的定式化は、大規模システムにおいて計算効率とスケーラビリティを向上させるか？
• RQ3 従来のグラミアン手法が定義不能となる虚軸上に極をもつシステムに対しても、新しい定式化は対応可能か？
• RQ4 スペクトル的アプローチは、古典的グラミアンベースの手法と比較して、精度と速度の点で優れているか？
• RQ5 ℋ₂,ωに基づく最適化における制御設計において、スペクトル的定式化はどのような理論的・計算的利点を提供するか？

主な発見

• 提案されたℋ₂,ωノルム定式化は、リャプノフ方程式を解く必要がなく、固有値と固有ベクトルの計算のみで実現可能である。
• 虚軸上に極をもつシステムに対しても、一定の条件下でℋ₂,ωノルムの計算が可能になる。
• スペクトル的アプローチは、特にスパarsityを利用可能な大規模システムにおいて、グラミアンベースの手法よりも計算的に効率的である。
• 数値的図示により、さまざまなシステムタイプおよび周波数範囲において、新しい定式化の正しさと頑健性が確認された。
• 定式化は、スペクトル的システム特性に基づくℋ₂,ωに基づくコントローラー設計およびモデル順序低減のための新たな理論的基盤を提供する。
• 逆正 tangent 関数や対数関数などの複素関数の使用は、一貫性のある分岐切断処理を伴い、解析的妥当性を保証する形で厳密に定義されている。