[論文レビュー] Backstepping Control of the One-Phase Stefan Problem

Shumon Koga, Mamadou Diagne+2 more|arXiv (Cornell University)|Jul 14, 2016

Stability and Controllability of Differential Equations参考文献 14被引用数 5

ひとこと要約

本稿では、移動界面を有する1次元PDE-ODE系である1相ステファン問題に対する非線形バックステッピング境界制御手法を提示する。ドメインの再スケーリングを回避する新しい非線形バックステッピング変換を導入することで、移動界面および温度誤差のH¹ノルムの指数的安定性を達成し、初期条件に対するセットポイントの物理的制約を満たす。

ABSTRACT

In this paper, a backstepping control of the one-phase Stefan Problem, which is a 1-D diffusion Partial Differential Equation (PDE) defined on a time varying spatial domain described by an ordinary differential equation (ODE), is studied. A new nonlinear backstepping transformation for moving boundary problem is utilized to transform the original coupled PDE-ODE system into a target system whose exponential stability is proved. The full-state boundary feedback controller ensures the exponential stability of the moving interface to a reference setpoint and the ${\cal H}_1$-norm of the distributed temperature by a choice of the setpint satisfying given explicit inequality between initial states that guarantees the physical constraints imposed by the melting process.

研究の動機と目的

• 時間変動する領域を有する1次元拡散PDEに制御手法が不足しているという問題に取り組む。
• ドメインの再スケーリングや固定ドメイン仮定を必要としないバックステッピングに基づく制御器を構築する。
• 制御入力を正に保つことで物理的妥当性を保証し、モデルの整合性を維持する。
• 従来の有限次元近似の制限を超えて、移動境界問題へのバックステッピング手法の拡張を図る。
• 融解／凍結過程における物理的制約を維持するため、初期データに対する参照セットポイントの条件を確立する。

提案手法

• 移動境界PDE-ODE系に特化した新しい非線形バックステッピング変換を設計し、固定空間区間へのドメイン再スケーリングの必要性を回避する。
• 変換により、元の結合PDE-ODE系が既知の指数的安定性を有する目標系に写像される。
• 制御器はこの変換の逆変換から導出され、移動界面および温度プロファイルの全状態フィードバック制御が保証される。
• リャプノフ関数を構築し、閉ループ系の指数的安定性を証明する。その減衰率は制御ゲインおよび系パラメータに依存する。
• エネルギー的ノルムの適切な推定を用いて、時間変動するドメインを考慮した安定性解析を実施し、温度のH¹ノルムと界面偏差を含むエネルギー的ノルムを扱う。
• 制御入力が正となるように制御ゲインを設定することで、融解／凍結ダイナミクスにおける物理的一致性を確保する。

実験結果

リサーチクエスチョン

• RQ1 ドメイン再スケーリングを要しないで、移動境界を有するPDE-ODE系にバックステッピング制御フレームワークを拡張可能か？
• RQ2 初期データに対する参照セットポイントにどのような条件を課すと、1相ステファン問題における物理的妥当性と安定性が保証されるか？
• RQ3 移動界面および温度誤差のH¹ノルムの両方を同時に指数的安定化できるか？
• RQ4 制御入力の正負が、相変化プロセスにおける物理的妥当性と安定性を維持する上で果たす役割は何か？
• RQ5 収束速度および制約処理の観点から、本手法は従来手法と比較してどのように優れているか？

主な発見

• 提案されたバックステッピング変換は、ドメイン再スケーリングを要せず、1相ステファン問題における移動界面および温度誤差のH¹ノルムの安定化に成功した。
• リャプノフ関数を用いた解析により、閉ループ系の指数的安定性が証明され、減衰率は制御ゲインおよび系パラメータに依存する。
• 制御器は制御入力を正に保つため、物理的一致性を確保し、非物理的融解・凍結行動を回避する。
• 物理的制約を維持するため、初期条件に対するセットポイントは式(10)で導出された明示的な不等式を満たす必要がある。
• 数値シミュレーションにより理論的結果が確認された：$ s_0 = 0.01 $mの場合、界面は$ s_r = 0.35 $mに収束し、$ ilde{q}(t) > 0 $となる；$ s_0 = 0.25 $mの場合、制御入力は負に転じ、理論的条件と整合的である。
• 本手法は、界面誤差と温度誤差のH¹ノルムの和の指数的安定性を達成し、従来手法が達成した漸近的安定性やL²ノルム安定性を上回る性能を示した。