[論文レビュー] A tractable second-order cone certificate for external positivity with application to model order reduction

Christian Grußler, Anders Rantzer|arXiv (Cornell University)|Jun 14, 2019

Model Reduction and Neural Networks参考文献 49被引用数 5

ひとこと要約

本稿では、線形時不変(LTI)システムにおける外部正性を保証する計算可能な2次錐証明を提示し、2次錐不変性を維持するように変更されたバランストランセント法を導入することで、より優れた低次元モデルを一貫して得られるモデル次元削減手法を実現した。従来の内部正性の維持に特化した手法と比較して、本手法は優れた低次元モデルを生成する。

ABSTRACT

For linear time-invariant systems, a tractable certificate of external positivity based on second-order cones is presented. Further, we show how balanced truncation can be modified to preserve second-order cone invariance, which together with our certificate can be made into an external positivity preserving model reduction method. This method consistently yields better reduced models than approaches that intend to preserve internal positivity.

研究の動機と目的

• 線形時不変(LTI)システムにおける外部正性の計算的に取り扱いやすい証明を構築すること。
• 内部正性の維持に特化した従来のモデル次元削減手法が、低次元モデルの精度を犠牲にしているという限界を是正すること。
• バランストランセント法を変更し、2次錐不変性を維持することで、低次元モデルにおける外部正性を保証すること。
• 提案手法が内部正性のみを重視する手法と比較して、より優れた低次元モデルを生成することを実証すること。

提案手法

• 本稿では、LTIシステムの外部正性を検証する2次錐に基づく証明を導入し、凸最適化を用いた効率的な検証を可能にした。
• モデル次元削減中に2次錐制約の不変性を維持できるように、バランストランセント手順を再定式化した。
• 本手法により、低次元モデルが元のシステムの外部正性特性を継承することが保証された。
• 安定性やパassivityに重要な構造的性質を維持しながら、取り扱いやすさを保つために凸最適化ツールを活用した。
• 証明はシステムの入出力挙動に基づき、インパulse応答の正性に焦点を当てた。
• フレームワークは証明をモデル次元削減パイプラインに統合し、低次元モデルが設計上外部正性を保つようにした。

実験結果

リサーチクエスチョン

• RQ1 LTIシステムにおいて、2次錐を用いて外部正性の取り扱いやすい証明を定式化できるか？
• RQ2 バランストランセント法をどのように変更すれば、モデル次元削減中に2次錐不変性を維持できるか？
• RQ3 本証明を用いて外部正性を維持することで、内部正性のみを重視する手法と比較して、より優れた低次元モデルが得られるか？
• RQ4 本手法を用いることで、内部正性を維持する代替手法と比較して、低次元モデルの精度がどの程度向上するか？

主な発見

• 提案された2次錐証明により、LTIシステムにおける外部正性の取り扱いやすくて効率的な検証が可能になった。
• 変更されたバランストランセント法は、2次錐不変性を効果的に維持し、低次元モデルが外部正性を保つことを保証した。
• 得られた低次元モデルは、内部正性のみを重視する手法で得られるモデルと比較して、一貫して優れた性能を示した。
• 比較的分析を通じて、計算の取り扱いやすさを維持しながら、精度が向上していることが実証された。
• 本フレームワークは、モデル次元削減における外部正性を構造的制約として統合する体系的な方法を提供する。
• 特に入出力挙動とパassivityが重要なアプリケーションにおいて、内部正性の維持とは対照的に実用的な代替手法を提供する。