[论文解读] 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,∞;ℝ𝑞)。
• 引入算子𝐾 = 𝐶𝑆𝐴(⋅)𝑥，将初始状态映射到输出，并定义其伴随算子𝐾∗用于重构。
• 通过算子(𝐴22 − ℋΓ𝐴12)构建Γ𝐸𝑅-估计器，以在𝐻1/2(Γ)上稳定估计误差。
• 应用谱分析方法，评估特征函数𝜑𝑖𝑗(𝜉1,𝜉2) = sin(𝑖𝜋(𝜉1−𝛼1)/(𝛽1−𝛼1))sin(𝑗𝜋(𝜉2−𝛼2)/(𝛽2−𝛼2))的可观察性。
• 利用迹算子和卢默-菲利普斯定理，确保由估计器生成的半群的存在性与稳定性。

实验结果

研究问题

• 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(Γ)范数下指数收敛于零。
• 当传感器位置或支撑区域与任一特征函数模态的节点集对齐时，将发生不可观察性。
• 结果可推广至诺伊曼边界条件和混合边界条件，以及点状、细丝状、区域边界传感器，只需适当调整。