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

Shumon Koga, Mamadou Diagne+1 more|arXiv (Cornell University)|Sep 27, 2016

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

ひとこと要約

本稿では、1相ステファン問題に対するバックステッピング観測器および出力フィードバック制御則を提示し、固体相長さの境界測定値のみを用いて移動界面および温度プロファイルの指数的安定化を可能にする。この手法は、ゲインおよび設定値の制限を通じて物理的制約を満たす。本研究は、このクラスの相転移系における推定誤差収束および出力フィードバック制御の理論的結果として初めてのものである。

ABSTRACT

In this paper, a backstepping observer and an output feedback control law are designed for the stabilization of the one-phase Stefan problem. The present result is an improvement of the recent full state feedback backstepping controller proposed in our previous contribution. The one-phase Stefan problem describes the time-evolution of a temperature profile in a liquid-solid material and its liquid-solid moving interface. This phase transition problem is mathematically formulated as a 1-D diffusion Partial Differential Equation (PDE) of the melting zone defined on a time-varying spatial domain described by an Ordinary Differential Equation (ODE). We propose a backstepping observer allowing to estimate the temperature profile along the melting zone based on the available measurement, namely, the solid phase length. The designed observer and the output feedback controller ensure the exponential stability of the estimation errors, the moving interface, and the ${\cal H}_1$-norm of the distributed temperature while keeping physical constraints, which is shown with the restriction on the gain parameter of the observer and the setpoint.

研究の動機と目的

• 1相ステファン問題に対する推定および出力フィードバック制御手法の不足を補う。これは、相転移ダイナミクスの重要なモデルである。
• 測定された移動界面長さのみを用いて、全温度プロファイルを推定するバックステッピング観測器を設計する。
• 全状態測定を必要とせず、界面位置のフィードバックのみを用いて、システムを安定化する出力フィードバック制御則を開発する。
• 観測器ゲインおよび設定値に対する解析的制限を通じて、制御入力の正の性質および界面成長の単調性といった物理的制約を保証する。
• 従来の全状態フィードバックに基づくバックステッピング結果を、実時間制御応用に適した実用的出力フィードバックフレームワークに拡張する。

提案手法

• 時間変動領域を有する元のPDE-ODE連成系を、所望の安定性特性を持つ目標系に写像するバックステッピング変換を構築する。
• ボルテラ積分変換を用いて観測器を設計し、測定された固体相長さに基づいて温度プロファイルを推定し、推定誤差の指数的収束を保証する。
• 観測器と状態フィードバック則を組み合わせることで出力フィードバック制御則を合成し、界面長さを測定入力として唯一の情報源とする。
• 推定誤差および制御誤差系のためのリャプノフ関数を構築し、H¹ノルムにおける指数的安定性を証明する。
• 状態依存の移動境界を非線形カーネル設計で取り入れることで、時間変動領域ダイナミクスを変換に組み込む。
• 観測器ゲインパラメータおよび設定値の制限により物理的制約を強制し、制御入力の正の性質および界面進展の単調性を保証する。

実験結果

リサーチクエスチョン

• RQ1 移動界面の境界測定値のみを用いて、1相ステファン問題の全状態観測器を設計可能か？
• RQ2 全状態のアクセスがなくても、界面位置および温度プロファイルを安定化できる出力フィードバック制御則を合成可能か？
• RQ3 制御入力の正の性質および界面成長の単調性といった物理的制約を満たすために、観測器ゲインおよび設定値に必要な条件は何か？
• RQ4 出力フィードバック下で、推定誤差、温度プロファイル、および移動界面のH¹ノルムにおける指数的安定性は達成可能か？
• RQ5 バックステッピング法を、時間変動領域を有するPDE-ODE系にどのように拡張できるか？

主な発見

• 提案された観測器は、H¹ノルムにおいて温度プロファイル推定誤差が指数的にゼロに収束することを保証する。
• 出力フィードバック制御則は、移動界面および温度プロファイルを所定の設定値に指数的に安定化する。
• 過渡期間中も制御入力は常に正であり、物理的実現可能性制約を満たす。
• 境界温度の推定誤差は負のままであり、ゼロに収束するため、物理的整合性が保証される。
• 式(22)～(24)に示された条件を満たす観測器ゲインおよび設定値の制限下では、システムは安定性を維持する。
• 亜鉛の特性を用いた数値シミュレーションにより理論的予測が確認された：界面はオーバーシュートを伴わず設定値に収束し、すべての物理的制約が保持された。