[论文解读] Boundary Feedback Control for Hyperbolic Systems

Michaël Herty, Ferdinand Thein|arXiv (Cornell University)|Jan 1, 2023

Stability and Controllability of Differential Equations被引用 1

一句话总结

本文提出了一种新颖的边界反馈控制策略，通过使用与系统相关的权重函数的加权李雅普诺夫函数，实现对一般多维线性双曲系统的稳定化。通过利用对称双曲结构，并基于线性矩阵不等式（LMI）推导出稳定化反馈律，作者证明了加权L2-范数的指数衰减。该方法在二维的等压Euler方程上得到验证，展示了通过边界控制设计实现指数稳定化的有效性。

ABSTRACT

We are interested in the feedback stabilization of general linear multi-dimensional first order hyperbolic systems in $\mathbb{R}^d$. Using a Lyapunov function with a suited weight function depending on the system under consideration we show stabilization in $L^2$ for the studied system using a suitable feedback control. Therefore the controllability of the studied system is related to the feasibility of an associated linear matrix inequality.We show the applicability discussing the barotropic Euler equations.

研究动机与目标

• 开发一种适用于多维线性双曲系统在L2范数下的通用边界反馈控制框架。
• 通过一种专为系统双曲结构量身定制的新型加权李雅普诺夫函数，建立指数稳定性。
• 将可控制性与基于系统对称雅可比结构推导出的线性矩阵不等式（LMI）的可行性联系起来。
• 在二维空间中的等压Euler方程上展示该方法的适用性。
• 将现有的单维稳定化结果扩展至多维情形，填补了文献中的关键空白。

提出的方法

• 构建一个依赖于系统的权重函数µ(x)的加权L2-范数李雅普诺夫函数，该权重函数由线性矩阵不等式（LMI）的解导出。
• 系统的对称双曲结构使得能够应用二次型的乘积法则，这对于控制李雅普诺夫函数时间导数的上界至关重要。
• 推导出一种反馈控制律，使得李雅普诺夫函数的时间导数为负定，从而确保指数衰减。
• 通过利用系统的特征结构，设计边界条件以确保李雅普诺夫导数中边界积分项的非负性。
• 该方法依赖于在边界上对系统进行对角化，并通过特征向量矩阵T(ν)变换状态，将动力学解耦为特征模态。
• 利用LMI可行性条件选择权重函数µ(x)，以确保李雅普诺夫函数实现指数衰减。

实验结果

研究问题

• RQ1 能否为多维线性双曲系统开发一种通用的边界反馈控制策略？
• RQ2 如何构建一个李雅普诺夫函数，以确保在多维情形下的指数L2-稳定性？
• RQ3 对称双曲性在支持稳定性分析与控制设计中起到什么作用？
• RQ4 如何利用LMI可行性条件设计稳定化反馈律？
• RQ5 所提出的该方法能否应用于如等压Euler方程等物理上相关的系统？

主要发现

• 所提出的带有定制权重函数的李雅普诺夫函数可确保线性化双曲系统的L2-范数实现指数衰减。
• 推导出的稳定化边界反馈控制律可保证指数稳定性，前提是相关的LMI是可行的。
• 对于二维等压Euler方程，该方法可导出明确的边界控制条件，确保李雅普诺夫导数中边界积分项非负。
• 利用系统的特征结构对流入与流出边界进行分类，从而实现对边界控制的设计，以稳定系统。
• 权重函数µ(x)被构造为µ(x) = m1x1 + m2x2，其中m的选择使得LMI (4.8) 可行，从而确保李雅普诺夫导数的负定性。
• 分析结果表明，对称双曲性对于支持证明所必需的代数结构至关重要，尤其在处理二次型与乘积法则时。