[論文レビュー] Boundary Feedback Control for Hyperbolic Systems

Michaël Herty, Ferdinand Thein|arXiv (Cornell University)|Jan 1, 2023

Stability and Controllability of Differential Equations被引用数 1

ひとこと要約

本稿では、系固有の重みを有する重み付きリャプノフ関数を用いて、一般の多次元線形双曲型系を安定化するための新規境界フィードバック制御戦略を提示する。対称的双曲型構造を活用し、線形マトリクス不等式（LMI）から安定化フィードバック則を導出することで、重み付きL2ノルムの指数的減衰を証明する。本手法は2次元のバロトロピックEuler方程式に適用され、境界制御設計による指数的安定化が示された。

ABSTRACT

We are interested in the feedback stabilization of general linear multi-dimensional first order hyperbolic systems in $\mathbb{R}^d$. Using a Lyapunov function with a suited weight function depending on the system under consideration we show stabilization in $L^2$ for the studied system using a suitable feedback control. Therefore the controllability of the studied system is related to the feasibility of an associated linear matrix inequality.We show the applicability discussing the barotropic Euler equations.

研究の動機と目的

• 多次元線形双曲型系をL2で安定化するための一般化された境界フィードバック制御フレームワークの構築。
• 系の双曲型構造に適合した新規の重み付きリャプノフ関数を用いて、指数的安定性を確立すること。
• 系の対称的ヤコビアン構造から導出される線形マトリクス不等式（LMI）の可解性と可制御性を結びつけること。
• バロトロピックEuler方程式（2次元空間的次元）への適用可能性を示すこと。
• 従来の1次元安定化結果を多次元ケースに拡張し、文献における重要なギャップを埋めること。

提案手法

• 系に依存する重み関数µ(x)を用いて、重み付きL2ノルムのリャプノフ関数を構築し、これは線形マトリクス不等式（LMI）の解から導出される。
• 系の対称的双曲型構造を活用することで、二次形式における積の法則を適用でき、リャプノフ関数の時間微分をバインドする上で不可欠である。
• リャプノフ関数の時間微分が負定値となるようにフィードバック制御則を導出することで、指数的減衰を保証する。
• 境界積分項の非負性を保証するため、系の固有構造を用いて境界条件を設計する。
• 本手法は境界で系を対角化し、固有ベクトル行列T(ν)を用いて状態を変換することで、動的ダイナミクスを特性モードに分離する。
• LMIの可解性条件を用いて重み関数µ(x)を選択し、リャプノフ関数が指数的に減少することを保証する。

実験結果

リサーチクエスチョン

• RQ1 多次元線形双曲型系に対して、一般化された境界フィードバック制御戦略を開発できるか？
• RQ2 多次元において指数的L2安定性を保証するためのリャプノフ関数はどのように構築できるか？
• RQ3 対称的双曲型性が安定性解析および制御設計を可能にする役割は何か？
• RQ4 LMIの可解性条件は、安定化フィードバック則の設計にどのように利用できるか？
• RQ5 提案手法は、バロトロピックEuler方程式のような物理的に意味のある系に適用可能か？

主な発見

• 特化された重み関数を有する提案されたリャプノフ関数は、線形化された双曲型系のL2ノルムの指数的減衰を保証する。
• LMIが可解である限り、指数的安定性を保証する安定化境界フィードバック制御則が導出された。
• 2次元バロトロピックEuler方程式に対して、境界積分項の非負性を保証する明示的な境界制御条件が得られた。
• 系の固有構造を用いて流入・流出境界を分類し、系を安定化する境界制御の設計が可能になった。
• 重み関数µ(x)はµ(x) = m1x1 + m2x2として構築され、LMI (4.8)が満たされるようにmが選ばれる。これにより、リャプノフ微分の負定性が保証される。
• 解析により、対称的双曲型性が、特に二次形式および積の法則の取り扱いにおいて、証明を可能にする代数的構造を提供することが確認された。