[论文解读] Controllability of networks of one-dimensional second order p.d.e. - An algebraic approach

Frank Woittennek, Hugues Mounier|ArXiv.org|Apr 7, 2008

Quantum chaos and dynamical systems参考文献 26被引用 3

一句话总结

本文通过将一维二阶偏微分方程网络建模为紧支集 Mikusiński 算子子环 $\mathcal{R}$ 上的有限生成模，提出了一种代数方法来分析其可控制性。证明了 $\mathcal{R}$ 是 Bézout 环，从而可将模分解为自由子模与挠子模，并通过算法化理想生成元计算，建立了基于模理论与轨迹的可控制性结果。

ABSTRACT

We discuss controllability of systems that are initially given by boundary coupled p.d.e. of second order. Those systems may be described by modules over a certain subring R of the ring of Mikusinski operators with compact support. We show that the ring R is a Bezout domain. This property is utilized in order to derive algebraic and trajectory related controllability results.

研究动机与目标

• 开发一种代数框架，用于分析具有边界耦合的一维二阶偏微分方程网络的可控制性。
• 刻画所得到卷积系统系数环 $\mathcal{R}$ 的性质，并确立其结构特征。
• 利用 $\mathcal{R}$ 的代数性质，推导出基于模理论与轨迹的可控制性结果。
• 提供一种算法方法，用于计算 $\mathcal{R}$ 中任意有限生成理想的生成元，其灵感源自延迟系统相关研究。

提出的方法

• 利用空间中柯西问题的通解，将 PDE 网络建模为卷积方程组。
• 将系统表示为环 $\mathcal{R}$ 上的有限生成模，其中 $\mathcal{R}$ 是紧支集 Mikusiński 算子的子环。
• 证明 $\mathcal{R}$ 是 Bézout 环，即每个有限生成理想均为主理想。
• 开发一种算法，用于计算 $\mathcal{R}$ 中任意有限生成理想的生成元，扩展了延迟算子环中的技术。
• 利用 $\mathcal{R}$ 的 Bézout 性质，将系统模分解为自由子模与挠子模。
• 通过代数模理论性质，建立自由子模的轨迹可控性与行为可控性。

实验结果

研究问题

• RQ1 与一维二阶 PDE 网络相关的卷积系统系数环 $\mathcal{R}$ 是否为 Bézout 环？
• RQ2 能否构造一种算法，用于计算 $\mathcal{R}$ 中任意有限生成理想的生成元？
• RQ3 $\mathcal{R}$ 的 Bézout 性质是否能够实现系统模向自由与挠分量的分解？
• RQ4 系统模的自由子模是否在 [15] 意义下的轨迹可控性成立？
• RQ5 系统模的自由子模是否在 [45] 意义下的行为可控性成立？

主要发现

• 证明了紧支集 Mikusiński 算子子环 $\mathcal{R}$ 是 Bézout 环，确保每个有限生成理想均为主理想。
• 开发了一种算法，用于计算 $\mathcal{R}$ 中任意有限生成理想的生成元，推广了延迟系统中的方法。
• 利用 $\mathcal{R}$ 的 Bézout 性质，系统模被分解为自由子模与挠子模。
• 证明了自由子模具有轨迹可控性，即可通过开环控制将轨迹引导至期望路径。
• 在 Willems 意义下，自由子模具有行为可控性，表明其可参数化所有轨迹。
• 通过一个双分支 PDE 网络实例验证了结果，展示了该方法在真实耦合系统中的适用性。