[論文レビュー] Sampled-Data Control of the Stefan System

Shumon Koga, Iasson Karafyllis+1 more|arXiv (Cornell University)|May 31, 2019

Stability and Controllability of Differential Equations参考文献 43被引用数 4

ひとこと要約

本稿では、ゼロ次ホールド（ZOH）を用いてデジタル環境で連続時間制御則を実装するための、ステファン問題に対する最初のサンプリングデータ境界フィードバック制御設計を提示する。制御ゲインとサンプリング周期の関係を規定する条件下で、L2ノルムにおけるグローバル指数的安定性およびモデル有効性を証明し、1相および2相ステファン系における数値シミュレーションで検証している。

ABSTRACT

This paper presents results for the sampled-data boundary feedback control to the Stefan problem. The Stefan problem represents a liquid-solid phase change phenomenon which describes the time evolution of a material's temperature profile and the interface position. First, we consider the sampled-data control for the one-phase Stefan problem by assuming that the solid phase temperature is maintained at the equilibrium melting temperature. We apply Zero-Order-Hold (ZOH) to the nominal continuous-time control law developed in [23] which is designed to drive the liquid-solid interface position to a desired setpoint. Provided that the control gain is bounded by the inverse of the upper diameter of the sampling schedule, we prove that the closed-loop system under the sampled-data control law satisfies some conditions required to validate the physical model, and the system's origin is globally exponentially stable in the spatial $L_2$ norm. Analogous results for the two-phase Stefan problem which incorporates the dynamics of both liquid and solid phases with moving interface position are obtained by applying the proposed procedure to the nominal control law for the two-phase problem developed in [30]. Numerical simulation illustrates the desired performance of the control law implemented to vary at each sampling time and keep constant during the period.

研究の動機と目的

• ステファン問題（状態依存の移動界面を有する非線形PDEのクラス）に対するサンプリングデータ制御設計の不足に応えること。
• バックステッピングを用いて導出された連続時間境界フィードバック制御則を、ゼロ次ホールド（ZOH）を用いて実用的なデジタル実装に拡張すること。
• 閉ループ安定性および物理的モデル有効性を保証するための制御ゲインとサンプリング周期の十分条件を確立すること。
• 1相および2相ステファン系の数値シミュレーションを通じて理論的結果を検証すること。
• 今後の観測器ベースの出力フィードバックおよび量子化制御拡張の基盤を築くこと。

提案手法

• 1相および2相ステファン問題に対してバックステッピングにより導出された連続時間境界フィードバック制御則に、ゼロ次ホールド（ZOH）を適用する。
• L2ノルムにおける閉ループ系のグローバル指数的安定性を示すために、リャプノフに基づく解析を用いる。
• 境界温度が融点を超えるなどの物理的モデル有効性を保証するため、制御ゲインとサンプリング周期を結びつける条件を導出する。
• 数値シミュレーションのために、境界固定化法と有限差分半離散化を組み合わせる。
• システムノルムの推定および安定性バインディングの確立のため、エネルギーに類似したリャプノフ関数を定式化する。
• 放物型PDEと結合された常微分方程式（ODE）を介して移動界面ダイナミクスを組み込み、熱力学的制約と整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 ZOHに基づくサンプリングデータ制御は、移動界面を有する1相ステファン問題を安定化させるとともに、物理的モデル有効性を維持できるか？
• RQ2 制御ゲインとサンプリング周期にどのような条件を課すことで、サンプリングデータ閉ループ系のL2ノルムにおけるグローバル指数的安定性が保証されるか？
• RQ3 提案されたサンプリングデータ制御は、界面収束、制御入力の挙動、境界温度ダイナミクスの観点でどのように性能を発揮するか？
• RQ4 1相問題における理論的結果を、液体相および固体相の両方のダイナミクスを有する2相ステファン問題に拡張可能か？
• RQ5 サンプリング時における不連続性を伴う状況下で、ZOH実装が制御入力の正の性質および境界温度の正の性質に与える影響は何か？

主な発見

• 制御ゲインが最大サンプリング周期の逆数以下に制限される限り、閉ループ系はL2ノルムにおいてグローバル指数的安定性を保つ。
• 界面位置は、オーバーシュートを伴わずに単調かつ滑らかに設定値に収束し、サンプリング間隔では制御入力が正であり、区分的定数のまま保たれる。
• 境界温度は常に融点を超えて保たれ、サンプリング瞬間に制御入力の急変動に起因する一時的なスパイクが生じるが、それ以外は安定である。
• 数値シミュレーションにより、理論的安定性およびモデル有効性条件が確認され、2時間のシミュレーション期間にわたり一貫した性能を示している。
• 同じZOHベースの制御則を用いても、1相および2相ステファン問題の両方で安定性結果が成立する。
• 解析により、物理的モデルが有効であることが保証され、特に液体相温度が融点を超えるという要件が、制御入力の正の性質によって維持される。