[論文レビュー] JIKhS-Al-Saphory

Raheam A. Al-Saphory, Hind K. Kolaib|arXiv (Cornell University)|Jan 1, 2017

Stability and Controllability of Differential Equations参考文献 19被引用数 1

ひとこと要約

本稿は、放物型分布定数系における領域的境界指数的低次元観測可能性を導入し、適切に配置されたセンサーを用いて部分境界Γ上でのシステム状態を推定するフレームワークを提案する。低次元推定器を用いてΓ𝐸ℛ-観測可能性の十分条件を確立し、固有関数の節線と一致するセンサー配置では非観測可能性が証明され、境界状態再構成におけるセンサー配置の重要性が明確にされる。

ABSTRACT

The aim of this chapter is to introduce the concept of regional boundary exponential reduced observability in connection with the sensors characterizations on a sub-region on boundary of the considered domain boundary. More precisely, we explore the original results devoted to this concept in linear dynamical systems which is generated by a strongly continuous semi-group in Hilbert space of order one. Thus, the existence of sufficient conditions is presented and examined for regional boundary exponential reduced estimator in parabolic infinite dimensional systems. Finally, we apply these results to the exchange systems with various strategic sensors.

研究の動機と目的

• 分布定数系における領域的境界指数的低次元観測可能性の新概念を構築すること。
• ヒルベルト空間設定下で低次元推定器を用いたΓ𝐸ℛ-観測可能性の十分条件を確立すること。
• 部分境界Γ上で指数的状態推定を達成するための戦略的センサーの役割を分析すること。
• センサーの種別（点センサー、領域センサー）および配置が観測性能に与える影響を調査すること。
• 固有関数の節線と一致するセンサー配置によってシステムが非観測的になる条件を提示すること。

提案手法

• 有界領域Ω上でのノイマン境界条件を満たす放物型PDE系を定式化する。
• 状態空間を𝐻1(Ω)、制御および観測空間をそれぞれ𝐿2(0,∞;ℝ𝑝)および𝐿2(0,∞;ℝ𝑞)として定義する。
• 初期状態から出力をマッピングする演算子𝐾 = 𝐶𝑆𝐴(⋅)𝑥を導入し、再構成のための随伴演算子𝐾∗を定義する。
• 𝐻1/2(Γ)上での推定誤差を安定化するため、演算子(𝐴22 − ℋΓ𝐴12)を用いてΓ𝐸𝑅推定器を構築する。
• 固有関数𝜑𝑖𝑗(𝜉1,𝜉2) = sin(𝑖𝜋(𝜉1−𝛼1)/(𝛽1−𝛼1))sin(𝑗𝜋(𝜉2−𝛼2)/(𝛽2−𝛼2))を用いたスペクトル解析により観測可能性を評価する。
• トレース演算子およびLumer-Phillips定理を適用し、推定器によって生成される半群の存在性と安定性を保証する。

実験結果

リサーチクエスチョン

• RQ1 分布定数系が部分境界Γ上でどの条件下で領域的指数的観測可能となるか。
• RQ2 センサーの種別（点センサー対領域センサー）および配置がΓ𝐸ℛ-観測可能性にどのように影響するか。
• RQ3 固有関数の節線が非観測性を決定づける役割を果たすメカニズムは何か。
• RQ4 限られた境界測定値のもとでも、低次元推定器がΓ上での状態を指数的に再構成できるか。
• RQ5 どのように戦略的センサー配置を実施すればΓ𝐸ℛ-観測可能性を確保できるか。

主な発見

• 点センサーや領域センサーが、(𝑏1−𝛼1)/(𝛽1−𝛼1) もしくは (𝜉0𝑖−𝛼𝑖)/(𝛽𝑖−𝛼𝑖) が有理数であり、かつ固有関数の節線に対応する位置にある場合、システムはΓ𝐸ℛ-観測不能となる。
• 長方形領域では、𝑖0(𝑏1−𝛼1)/(𝛽1−𝛼1) ∈ ℚ かつ sin(𝑗0𝜋(𝑏1−𝛼1)/(𝛽1−𝛼1)) = 0 ならば、対応するモードに対して出力𝑦(𝑡) = 0 となる。
• 領域センサーの場合も、センサー領域𝐷𝑖に固有関数が消える点が含まれる場合には、システムは観測不能となる。
• 演算子(𝐴22 − ℋΓ𝐴12)が安定な半群を生成する限り、推定誤差は𝐻1/2(Γ)ノルムで指数的にゼロに収束する。
• センサーの配置または支持集合が、任意の固有関数モードの節集合と一致する場合、非観測性が生じる。
• 結果はノイマン境界条件および混合境界条件に対しても拡張可能であり、適切な修正を施した点センサー、フィラメントセンサー、領域センサーに対しても適用可能である。