[论文解读] The Consistency of Partial Observability for PDEs

Wei Kang|arXiv (Cornell University)|Nov 24, 2011

Advanced Control Systems Optimization参考文献 18被引用 7

一句话总结

本文通过动态优化提出了一种用于PDE的定量、一致性保持的局部可观察性定义，实现了通过适定的ODE方案进行数值逼近。该研究建立了近似下可观察性的理论一致性，并通过经验Gramian推导出一阶近似，经Burgers方程验证，计算得到的不可观察性指数为11.83。

ABSTRACT

In this paper, a new definition of observability is introduced for PDEs. It is a quantitative measure of partial observability. The quantity is proved to be consistent if approximated using well posed approximation schemes. A first order approximation of an unobservability index using empirical gramian is introduced. For linear systems with full state observability, the empirical gramian is equivalent to the observability gramian in control theory. The consistency of the defined observability is exemplified using a Burgers' equation.

研究动机与目标

• 为PDE定义一种定量且一致的局部可观察性度量，以捕捉实际估计挑战。
• 确保使用ODE方案对PDE可观察性进行数值逼近时，能保持原系统可观察性特性。
• 开发一种基于经验Gramian矩阵的一阶、计算可行的不可观察性指数近似方法。
• 统一无限维系统中传感器与非传感器信息在可观察性分析中的处理方式。
• 在非线性PDE（特别是Burgers方程）上验证该框架，展示其一致性和实际应用价值。

提出的方法

• 基于动态优化，提出PDE可观察性的新定义，将可观察性视为一种定量且可计算的指标。
• 通过谱分解（如傅里叶模态）对PDE进行有限维ODE近似，以实现数值计算。
• 将不可观察性指数定义为可观测性Gramian最小特征值的倒数，该Gramian由Riccati型积分方程的解导出。
• 应用经验Gramian矩阵，以一阶、计算高效的方式近似可观测性Gramian。
• 采用中心差分法对PDE进行空间离散化，将其转化为ODE系统以进行数值分析。
• 采用基于$L^2$-范数的傅里叶表示定义状态空间，确保离散与连续范数之间的一致性。

实验结果

研究问题

• RQ1 能否通过动态优化为PDE定义一种一致的定量可观察性度量？
• RQ2 通过PDE适定ODE近似计算的可观察性是否收敛于原始PDE的真实可观察性？
• RQ3 能否以一阶、计算高效的方式使用经验Gramian矩阵近似不可观察性指数？
• RQ4 PDE解中各模态的可观察性如何随模态数量和传感器配置而变化？
• RQ5 所提出的框架在非线性PDE（如Burgers方程）中是否具有实际可验证性，并在不同空间离散化级别下保持一致性？

主要发现

• 所提出的PDE可观察性定义在适定ODE近似下保持一致，确保数值逼近收敛于真实可观察性特性。
• 对于热方程，高阶傅里叶模态的可观察性随模态数量增加而迅速退化，当N=8时，Gramian的最小特征值趋近于零，表明实际不可观察。
• 在Burgers方程中，基于经验Gramian的近似得到一致的不可观察性指数11.83，且在多个离散化级别（N=4k，5≤k≤19）下得到验证。
• 使用经验Gramian的一阶近似提供了一种可靠且计算可行的方法，用于估计复杂系统中的不可观察性指数。
• 该框架成功处理了非线性PDE中的部分可观察性问题，并在不同空间离散化下保持一致性，证实了理论收敛性。
• 该方法使得在解析解不可行的系统中实现状态可观察性的实际估计成为可能，尤其适用于大规模或高维系统（如数值天气预报）。