1. 引言
在工程、金融、生物等领域中,许多系统的行为受到外部或内部不确定性因素的影响,这些因素包括外部噪声、环境扰动、系统参数的波动等。因此,如何设计有效的控制策略以抑制随机干扰、保证系统的稳定性和性能,具有重要的理论和实际意义[1] [2]。文献[3]采用线性矩阵不等式(LMI)方法对具有乘性噪声的伊藤随机系统进行了鲁棒控制研究。文献[4]提出了一种控制策略,在几乎必然意义下镇定一个不稳定的随机系统,结果以LMI的形式给出。
近年来,间歇控制开始受到了人们的广泛关注。间歇控制将时间分为工作时间和休息时间两部分,控制器工作时间运行,休息时间关闭。受控系统可以看作是闭环系统和开环系统之间的转换,本质上是一类时变控制器,在实际应用中明显降低了控制成本和能耗[5] [6]。周期性间歇控制是间歇控制的一种形式,其控制信号的开启和关闭遵循固定的周期。比如,有些控制器只能在特定时段工作。周期性间歇控制具有更强的可设计性,便于理论分析和工程实现。近年来,周期性间歇控制在网络化控制系统、多智能体系统、电力系统等领域得到了广泛应用,并取得了良好的控制效果[7] [8]。文献[9]探讨了基于连续或离散时间状态观测的间歇控制对混杂型神经网络的稳定性问题。文献[10]研究了针对具有异步切换的混合随机时滞系统采用采样数据反馈的周期性间歇控制器的设计问题。文献[11]主要研究了在周期性间歇反馈控制下具有马尔可夫切换的中立型随机系统的镇定问题。文献[12]首次实现了基于离散时间状态观测的非局部时滞微分方程镇定,并获得了非线性微分方程的一致有界性。
本文的目标是针对不稳定线性随机系统,研究周期性间歇控制策略,能够有效地抑制随机干扰,使得受控系统满足稳定性要求。第2部分给出了预备知识与问题的陈述;第3部分是论文的主要内容,运用Lyapunov函数和伊藤公式,给出了间歇控制作用下闭环系统均方指数稳定的两类充分性条件,并给出其线性矩阵不等式(LMI)表达形式,以方便地进行控制器设计;第4部分通过一个数值例子说明了本文理论的有效性;最后一部分是总结与讨论。
2. 预备知识和问题陈述
在本文中,
和
分别表示n维欧几里得空间和
维实矩阵的集合。若
,则
表示它的欧几里得范数,若
是一个矩阵,那么设
为它的迹范数。
表示向量或矩阵
的转置,
是矩阵A的算子范数,
。对
上的对称矩阵
,
和
表示最小和最大特征值。对于对称矩阵
和
,
表示
是正定的,
表示
,
的定义类似。如果没有明确的说明,则假定矩阵有兼容的维数。
考虑一个不稳定的随机微分方程(SDE)
(1)
其中,
表示系统状态向量,
和
表示
上的n维方阵,
表示一维布朗运动。系统初始状态
。
设计目标是在方程(1)的漂移项加一个m维控制器
,使得受控系统
(2)
稳定。其中,
是
矩阵,由开环系统的结构决定。周期性间歇状态反馈控制器结构为:
其中,
是控制增益矩阵,而
,
,
。对任意k,
为工作时间,
为休息时间。特别地,当
时,就是经典的连续控制。这样闭环系统为:
(3)
由于方程(3)的系数满足局部李普希兹条件和线性增长条件,它具有唯一的全局解,使得对所有
,
。更多与本文有关的随机微分方程基本概念和理论,可参见Mao的经典著作[2]。
引理2.1 (Schur补引理,[13]) 设对称矩阵
,U、V为适维矩阵,那么
的充分必要条件是:
3. 主要定理
定理3.1 假设存在对称正定矩阵Q,使得
(4)
(5)
那么闭环系统(3)的解满足
也就是说,受控系统(3)是均方指数稳定的。
证明 定义
上的函数
,并记
令
根据伊藤公式[2],有
由于对任意x和t,
从而
则有
当
,有
当
,有
由(4)式有
两边取对数,再除以t,根据(5)式得到:
证毕。
推论3.1 若存在对称矩阵
,矩阵
和常数
,使得下列线性不等式成立,
(6)
(7)
这里,I为n阶单位矩阵。那么当控制增益
时,闭环系统(3)是均方指数稳定的。
证明 设
,那么
,根据引理2.1,(6)等价于
两边左右都乘以Q,可得
得到
(8)
从而(4)式成立。根据引理2.1,(7)等价于
在上式两边左右都乘以Q,可得
由于
,有
,
,可见
结合(8)式,得到(5)式。推论3.1证毕。
定理3.2 假设存在对称正定矩阵Q,使得
(9)
(10)
那么受控系统(3)是均方指数稳定的。
证明 令
当
,若
,根据(9)式有
当
,若
,根据(9)式有
与定理3.1证明类似,有
从而若
,
两边取对数,再除以t,根据(10)式得到
若
,
的第二项上界为0,以上不等式可由(8)式得到。证毕。
推论3.2 若存在对称矩阵
,矩阵
和常数ε > 0,使得下列线性不等式成立,
(11)
(12)
那么当控制增益
时,闭环系统(3)是均方指数稳定的。
证明 设
,那么
,根据引理2.1,(11)等价于
两边左右都乘以Q,可得
由于
,有
,
,可见
(13)
同理,(12)等价于
两边左右都乘以Q,可得
可知
可见(9)式成立,再结合(13)式,得到(10)式。推论3.2证毕。
4. 数值例子
例4.1 考虑一个二维的随机微分方程(1),其中
,
。设初值为
,
,采用Euler-Maruyama方法[2],设置模拟步长
,通过MATLAB画出方程(1)的样本路径,如图1所示,可见第一分量
是不稳定的。
Figure 1. Unstable original system
图1. 不稳定的原系统
在漂移项添加一个周期性间歇控制器,使受控系统(3)均方指数稳定,其中
,间歇周期
,
。根据线性矩阵不等式(6)和(7),令
,用MATLAB的LMI工具箱得到
和
相应地,增益矩阵
,则推论3.1表明受控方程均方指数稳定。同样采用Euler-Maruyama方法画出受控方程(3)的样本路径以及均方收敛曲线,图2显示周期性间歇控制下闭环系统的两个分量都是稳定的。此外,在同样的条件下,令
,通过10条样本轨迹,取样本平均得到
的均方收敛曲线,如图3所示。
Figure 2. Stable system by intermittent control based on Corollary 3.1
图2. 加推论3.1设计的间歇控制器后的稳定系统
Figure 3. Mean-square convergence curve by intermittent control based on Corollary 3.1
图3. 加推论3.1设计的间歇控制器后的均方收敛曲线
同样地,根据线性矩阵不等式(11)和(12),令
,用MATLAB的LMI工具箱得到
和
相应地,增益矩阵
,则推论3.2表明受控方程均方指数稳定。图3显示周期性间歇控制下闭环系统的两个分量都是稳定的。在此条件下,令T = 1,同样采用10条样本轨迹,取样本平均得到
的均方收敛曲线,如图4所示。仔细观察图2和图5所示,可以看到间歇控制的系统特征,在控制器工作时段,系统趋于稳定,而控制器休息时段,系统会出现波动,但总体上是趋于稳定的。
Figure 4. Mean-square convergence curve by intermittent control based on Corollary 3.2
图4. 加推论3.2设计的间歇控制器后的均方收敛曲线
Figure 5. Stable system by intermittent control based on Corollary 3.2
图5. 加推论3.2设计的间歇控制器后的稳定系统
5. 结论和讨论
本文研究了线性随机系统的周期性间歇控制问题,利用Lyapunov函数和伊藤公式,给出两类保证受控系统均方指数稳定的充分性条件。这两类条件具有清晰的物理意义。在定理3.1中,(4)式表明控制器本身具有镇定作用,(5)式进一步要求控制器工作时间的镇定效应须足够强,以压制休息时间系统产生的漂移。在定理3.2中,(9)式表明控制器工作时须保证系统稳定性,(10)式表明工作时间镇定效应与休息时间系统漂移的加权结果仍是稳定的。我们还给出了这两类条件的LMI表达式,以更方便地进行多维控制器的设计,也便于通过数值工具(如MATLAB)进行求解和验证。
本文的研究结论为随机系统的控制提供了新的理论依据,有助于在实际工程中优化控制器的设计,在节约能耗、降低控制成本的同时,保证系统在随机干扰下的稳定性。未来的研究可以进一步探索最优间歇控制策略、非周期间歇控制及更多复杂系统的稳定性分析,以提升间歇控制技术在实际应用中的效果。
NOTES
*通讯作者。