非线性ODE-PDE耦合系统边界控制的局部镇定

何翠华; 王科; 甯懿楠

doi:10.13718/j.cnki.xsxb.2022.07.012

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名

姓名不能为空！

邮箱

邮箱不能为空！非法的邮箱地址。

手机号码

电话不能为空！

请输入有效手机号!

标题

标题不能为空！

留言内容

内容不能为空！

验证码

验证码不能为空！

验证码错误！

非线性ODE-PDE耦合系统边界控制的局部镇定

成都工业学院大数据与人工智能学院，成都 611730

基金项目: 四川省科技厅重点研发项目(2021YFS0045)

详细信息

作者简介:
何翠华，硕士研究生，从事偏微分方程系统控制的研究 .

通讯作者: 王科，副教授;

中图分类号: O231.2

Local Stabilization of Boundary Control for Nonlinear ODE-PDE Coupled System

School of Big Data and Artificial Intelligence, Chengdu Technological University, Chengdu 611730, China

摘要: 主要考虑利用边界控制解决线性常微分方程(ODE)与非线性偏微分方程(PDE)耦合系统的局部镇定问题. 通过含有核函数和向量值函数的Backstepping变换设计出控制律，同时给出了闭环系统局部指数镇定的证明. 对线性常微分方程与非线性偏微分方程耦合系统进行仿真，结果表明该反馈控制律是可行的.

Abstract: In this paper, local stabilization has been considered of a boundary control system consisting of a linear ordinary differential equations(ODE) and a nonlinear partial differential equations(PDE). Backstepping transformation with a kernel function and a vector-valued function have been referenced to design control law. Local exponential stabilization method for closed-loop systems has been illustrated. A system coupled by linear ODE and nonlinear PDE has been simulated, the result show that the feedback control law is feasible.

Key words:

非线性ODE-PDE耦合系统边界控制的局部镇定

通讯作者: 王科，副教授;

作者简介: 何翠华，硕士研究生，从事偏微分方程系统控制的研究
成都工业学院大数据与人工智能学院，成都 611730

收稿日期: 2021-12-31

基金项目: 四川省科技厅重点研发项目(2021YFS0045)

关键词:

耦合系统 /
非线性 /
边界控制

Local Stabilization of Boundary Control for Nonlinear ODE-PDE Coupled System

Corresponding author: WANG Ke ;

成都工业学院大数据与人工智能学院，成都 611730

Received Date: 2021-12-31

Keywords:

耦合系统 /
非线性 /
边界控制

全文HTML

耦合的ODE-PDE系统广泛存在于工程问题中. 近年来，大量文献采用Backstepping变换方法来解决常微分方程和偏微分方程之间的耦合问题. 为满足工程需要，我们利用边界条件设计控制律来控制这些耦合的ODE-PDE系统使其稳定在平衡状态. 边界控制律是由PDE Backstepping控制发展而来^[1-4].

ODE-PDE耦合系统边界控制大多是线性的^[5-15]，然而非线性现象在应用数学和物理中广泛存在. 耦合的线性常微分方程和非线性偏微分方程系统具有丰富的工程应用价值，但由于非线性在数学上是极具挑战性的问题，故关于非线性偏微分方程系统镇定的结果较少^[15-22]. 利用边界控制来稳定非线性ODE-PDE耦合系统是一个很有意义的研究领域.

本文对非线性ODE-PDE耦合系统的控制设计类似于文献[7]，主要贡献是基于边界反馈控制的方法处理一类包含反应项是不确定的非线性偏微分方程与线性微分方程的耦合系统的局部指数稳定的问题.

因此，本文考虑以下非线性耦合系统的边界控制

其中：向量$\boldsymbol{X}(t) \in \mathbb{R}^{n}$是装置的一个信号；(A，B)是可控制矩阵对($\boldsymbol{A} \in \mathbb{R}^{n \times n}, \boldsymbol{B} \in \mathbb{R}^{n}$)；标量u(x，t)∈$\mathbb{R}$是装置的热量；在x=0处，满足Neumann边界条件，α是傅里叶常数，它取决于装置的材料和导热性，C^TX(t)是温度装置($\boldsymbol{C}^{\mathrm{T}} \in \mathbb{R}^{n}$)；U(t)是边界控制输入. f(u(x，t))是非线性函数，对于这个系统，非线性f(u)引用文献[15]假定条件.

假定1 对于系统(2)中的f(u)，存在δ>0和β>1，使得

其中‖·‖将在后面详细说明.

假定1中的第一项表示0是系统(1)-(4)在零输入下的平衡态，第二项意味着f(u)的增长速度并不比u的幂函数快.

系统(1)-(4)代表了一类广泛的耦合非线性ODE-PDE方程，本文主要贡献是基于Backstepping变换的边界控制方法使一类包含不确定反应项的非线性偏微分方程与线性微分方程的耦合系统达到局部指数稳定. 对于ODE-PDE耦合系统Backstepping边界控制律设计方法是可行的^{[1, 6-7]}. 通过引入具有理想稳定性的目标系统，PDE Backstepping变换将系统转化为由核函数和向量值函数耦合的方程. 然后根据目标系统的边界条件得到控制律. 研究PDE Backstepping变换解决耦合ODE-PDE的控制系统是很有价值的.

本文令

1. 控制律

1.1. Backstepping变换

引入以下Backstepping变换

其中k(x，y)与ϕ(x)是待定的.

将目标系统取为

其中：

选择向量$\boldsymbol{K}^{\mathrm{T}} \in \mathbb{R}^{n}$使得(A+BK)是Herwitz矩阵.

现在用变换$(\boldsymbol{X}(t), u(x, t)) \longrightarrow(\boldsymbol{X}(t), w(x, t))$，将(1)-(4)的解转换为(10)-(13)的解，导出函数k(x，y)和ϕ(x)，得到控制律.

利用(3)，(9)式对w(x，t)关于x和t求导

再令

接着控制律被设计为

通过边界条件(13)获得.

1.2. 核方程的解

为了方便，引用文献[14]直接给出(15)式的解. 令

其中I是单位矩阵.

核函数k(x，y)和ϕ(x)分别为

1.3. 逆变换

同样我们给出逆变换

令

其中I是单位矩阵.

核函数Ψ(x)和n(x，y)分别为

2. 稳定性

为得到稳定性定理，首先给出几个引理.

引理1    函数w(x，t)由(6)式定义，(PB)^T和X(t)由(7)式定义，有以下不等式成立

证    现在利用Schwartz’s不等式和Young’s不等式来估计，可得

接着根据w(1，t)=0与Agmon’s不等式，有

然后利用Poincare不等式，可得

因此，不等式(19)成立.

引理2    根据变换(9)与逆变换(18)，可得

其中：

证    由变换(9)，可以获得

由Holder’s不等式，可以得到

其中：

接着根据Schwartz’s不等式，有

其中：

因此

同理可估计

其中t和‖Ψ‖²由(22)式定义，则(20)式成立.

引理3    H(w(x，t))由(11)式定义，可得

其中：

证

我们令

其中：

利用Holder不等式与Young’s不等式，可得

通过利用(5)式与(20)式来估计‖f(u(x，t))‖₂²

其中：

由此可得

同理可估计

其中s来自(23)式.

然后

其中ξ是如(25)式所示的常数.

接下来证明目标系统(10)-(13)是局部稳定的.

定理1    存在一个正常数γ且任意的初始条件满足‖ X(0)，w(0)‖₂≤γ，有下列不等式成立

其中

则目标系统(10)-(13)在‖·‖₂意义下是局部指数稳定的.

证

考虑以下Lyapunov函数

其中矩阵P = P^T>0满足

且参数a>0是待定的.

矩阵P是(29)式的解，因此

其中λ_min(P)与λ_max(P)是矩阵P的最小和最大的特征值.

对(28)式关于t求导，则

代入(19)，(20)和(24)式可以得到

令a=8‖PB‖²+3，可得

其中ξ由(25)式定义.

根据文献[17]定理，如果V(0)≤σγ²，其中$\sigma=\max \left\{\lambda_{\max }(\boldsymbol{P}), \frac{a}{2}\right\}$则

选取‖ X(0)，w(0)‖₂≤γ，则V(0)≤σγ²，因此不等式(31)成立. 利用(30)和(31)式，可以推出

其中μ由(27)式定义，因此不等式(26)成立. 证毕.

[1]	LASIECKA I. Mathematical Control Theory of Coupled PDEs [M]. Philadelphia: Society for Industrial and Applied Mathematics, 2002.
[2]	KRSTIC M, SMYSHLYAEV A. Boundary Control of PDEs [M]. Philadelphia: Society for Industrial and Applied Mathematics, 2008.
[3]	SMYSHLYAEV A, KRSTIC M. Adaptive Control of Parabolic PDEs [M]. Princetion: Princeton University Press, 2010.
[4]	ANTONIO S G, KRSTIC M. Control of PDE-ODE Cascades with Neumann Interconnections [J]. Journal of the Franklin Institute, 2010, 347(1): 284-314. doi: 10.1016/j.jfranklin.2009.09.005
[5]	HE C H, XIE C K, ZHEN Z Y. Explicit Control Law of a Coupled Reaction-Diffusion Process [J]. Journal of the Franklin Institute, 2017, 354(5): 2087-2101. doi: 10.1016/j.jfranklin.2017.01.013
[6]	TANG S X, XIE C K. Stabilization for a Coupled PDE-ODE Control System [J]. Journal of the Franklin Institute, 2011, 348(8): 2142-2155. doi: 10.1016/j.jfranklin.2011.06.008
[7]	ZHEN Z Y, XIE C K, SI Y C, et al. Stabilization of the Second Order Parabolic System by Boundary Control[J]. Control Theory Applications, 2018, 35: 859-867.
[8]	TANG S X, XIE C K. State and Output Feedback Boundary Control for a Coupled PDE-ODE System [J]. Systems & Control Letters, 2011, 60(8): 540-545.
[9]	ZHOU Z C, GUO C L. Stabilization of Linear Heat Equation with a Heat Source at Intermediate Point by Boundary Control [J]. Automatica, 2013, 49(2): 448-456. doi: 10.1016/j.automatica.2012.11.005
[10]	LIU X L, XIE C K. Control Law in Analytic Expression of a System Coupled by Reaction-Diffusion Equation [J]. Systems & Control Letters, 2020, 137: 104643.
[11]	LEI Y, LIU X L, XIE C K. Stabilization of an ODE-PDE Cascaded System by Boundary Control [J]. Journal of the Franklin Institute, 2020, 357(14): 9248-9267. doi: 10.1016/j.jfranklin.2020.07.007
[12]	祝晶, 刘星岚, 谢成康. 圆柱体温度稳定的一种新方法[J]. 西南师范大学学报(自然科学版), 2020, 45(5): 45-50. doi: http://xbgjxt.swu.edu.cn/article/doi/10.13718/j.cnki.xsxb.2020.05.008
[13]	BACCOLI A, PISANO A, ORLOV Y. Boundary Control of Coupled Reaction-Diffusion Processes with Constant Parameters [J]. Automatica, 2015, 54: 80-90. doi: 10.1016/j.automatica.2015.01.032
[14]	ZHAO A L, XIE C K. Stabilization of Coupled Linear Plant and Reaction-Diffusion Process [J]. Journal of the Franklin Institute, 2014, 351(2): 857-877. doi: 10.1016/j.jfranklin.2013.09.012
[15]	SI Y C, XIE C K, ZHEN Z Y, et al. Local Stabilization of Coupled Nonlinear Parabolic Equations by Boundary Control [J]. Journal of the Franklin Institute, 2018, 355(13): 5592-5612. doi: 10.1016/j.jfranklin.2018.06.008
[16]	CAVALCANTI M M, FERNNDEZ-CARA E, FERREIRA A L. Null Controllability of some Nonlinear Degenerate 1D Parabolic Equations [J]. Journal of the Franklin Institute, 2017, 354(14): 6405-6421. doi: 10.1016/j.jfranklin.2017.08.015
[17]	YU X, XU C, CHU J. Local Exponential Stabilization of Fisher's Equation Using the Backstepping Technique [J]. Systems & Control Letters, 2014, 74: 1-7.
[18]	WU H N, WANG J W, LI H X. Fuzzy Boundary Control Design for a Class of Nonlinear Parabolic Distributed Parameter Systems [J]. IEEE Transactions on Fuzzy Systems, 2014, 22(3): 642-652. doi: 10.1109/TFUZZ.2013.2269698
[19]	HASAN A, AAMO O M, FOSS B. Boundary Control for a Class of Pseudo-Parabolic Differential Equations [J]. Systems & Control Letters, 2013, 62(1): 63-69.
[20]	HASAN A, AAMO O M, KRSTIC M. Boundary Observer Design for Hyperbolic PDE-ODE Cascade Systems [J]. Automatica, 2016, 68: 75-86. doi: 10.1016/j.automatica.2016.01.058
[21]	HASAN A, TANG S X. Local Exponential Stabilization of a Coupled Burgers' PDE-ODE System[C]//IEEE 56th Annual Conference on Decision and Control. New York: IEEE Press, 2017: 2479-2484.
[22]	NIKDEL P, SHEIKHOLESLAM F, ZEKRI M, et al. Backstepping Boundary Control Design for a Cascaded Viscous Hamilton-Jacobi PDE-ODE System [J]. IET Control Theory & Applications, 2021, 15(14): 1832-1848.

留言板