1. 引言
时滞是自然界中广泛存在的一种物理现象,在实际生活里许多系统中都含有时滞,如生物系统、经济系统、网络控制系统、电气系统、冶金系统、化工系统和机械系统等。近几十年来,如何抑制对象的固有时滞造成系统的性能下降,引起了国内外许多专家的高度重视。中立型时滞系统是一种特殊的时滞系统,由于考虑了中立项的存在,使得对这类系统的研究比一般时滞系统更加复杂和困难。早在三十多年前,中立型系统已经被广泛研究,并取得了丰硕的成果 [1] - [6] 。
马尔科夫跳跃系统是一类特殊的系统,是同时包含相互作用的离散事件和连续变量的多模态随机混杂系统。近年来,马尔科夫跳跃系统受到了国内外众多专家学者的关注,并且取得了一定的成果 [7] - [12] 。文献 [7] 通过利用连续时间内马尔科夫跳跃线性系统转移矩阵行和为零的性质,给出了带有部分未知转移概率的马尔科夫跳跃线性系统稳定的条件与镇定的条件。文献 [11] 提出了分段Lyapunov泛函和多重Lyapunov泛函的新分类,并在此基础上引入了两种新的交换规则来稳定中立系统。一种交换规则是根据Lvapunov-Metzler线性矩阵不等式的解设计的,另一种方法是基于一类新的线性矩阵不等式计算出平均停留时间来确定,这为中立型马尔科夫跳跃系统的证明提供了新的方法。文献 [12] 针对部分转移概率未知或完全转移概率未知的马尔科夫跳跃系统,提出了一种不太保守的稳定性判据——自由连接加权矩阵法,利用线性矩阵不等式,给出了状态反馈控制器设计的一个充分条件。但目前对于中立型马尔科夫跳跃系统的研究还处于初步阶段,且得到的成果相对较少 [13] [14] [15] 。文献 [13] 研究了混合时滞中立马尔科夫跳跃系统的状态估计问题,通过结合一个松弛的L-K泛函和积分不等式,导出了系统渐近稳定的充分条件,并设计了标称和不确定中立型马尔科夫跳跃系统的状态估计器,特别地,这里的L-K泛函并不要求所有涉及的对称矩阵都是正定的。文献 [14] 基于Lyapunov泛函,引入自由权矩阵和利用一些新的矩阵不等式分析技巧,给出了中立型马尔科夫跳跃系统的稳定性条件,并且在转移概率矩阵完全未知的情况下,构造了通用的Lyapunov泛函对其进行了稳定性分析,最后提出了不确定中立型马尔科夫跳跃系统的稳定性结果。文献 [15] 通过构造的Lvapunov泛函,结合时滞分解技术和自由矩阵,再利用Jensen’s不等式,首次得到了两类中立型动力系统的时滞依赖稳定性条件。
本文将针对具有时滞依赖的部分未知状态转移概率的中立型马尔科夫跳跃系统的稳定性展开研究。通过构造Lyapunov泛函,主要利用Jensen’s不等式和Wirtinger-based不等式对其进行分析,给出满足系统稳定的条件,并用Matlab中的LMI工具箱 [16] 进行求解。最后给出数值算例证明其结果的有效性。
2. 系统描述及引理
首先,考虑以下含有部分未知状态转移概率的中立型马尔科夫跳跃系统
(1)
其中,
表示状态向量,
是中立型马尔科夫跳跃系统中已知的矩阵函数,
为时变时滞函数,
是一个中立型时变时滞函数,且满足
(2)
,且
为初始条件函数,
为右连续马尔科夫过程在有限概率空间及有限状态空间
中的取值,并且转移概率矩阵
,其元素描述如下
(3)
这里,
,
,
,且当
,其转移比率为t时刻的模态i切换到
时刻的模态j,
。
马尔科夫跳跃系统在连续时间内的转移概率取决于其转移比率,并且这个转移比率在一定程度上是可达到的,如下,定义一个具有N种模态的转移比率矩阵
(4)
其中?为未知的状态转移比率。对于任意的
,集合
,其中
因此,如果
,可以进一步的表示为
,其中
为非负整数,
表示在状态转移概率矩阵
的第i行的
中的第k个已知的元素。
为了简便起见,用
来表示系统在初始条件下
的解,且
满足初始条件
,
其弱无穷小发生器作用于函数V,定义在 [17] 中
(5)
定义 1 在初始条件下,如果存在
,使得下列不等式
(6)
成立,则系统是随机稳定的。
引理1 (Jensen’s Inequality) [18] 对于任意正定矩阵M,常数
,向量函数
,有下列不等式成立
(7)
引理2 (Wirtinger-based Inequality) [19] 对于任意正定矩阵
,标量
,向量函数
,有下面的积分不等式成立
(8)
其中
。
3. 主要结论
定理1 考虑系统(1),如果存在矩阵
,任意矩阵
,满足以下的线性矩阵不等式
(9)
(10)
(11)
(12)
(13)
(14)
(15)
(16)
(17)
(18)
其中
则称系统(1)是随机稳定系统。
证明:构造一个随机李雅普诺夫泛函
其中
这儿的
都是适当维数的正定矩阵。因此,当
时,利用弱无穷小算子L对
中的随机过程
进行计算,我们得到
由于
,则对于任意矩阵
,满足以下的零方程
(19)
(20)
(21)
其中
(22)
则由(19)~(22)式,可以得到以下等式
(23)
(24)
(25)
由引理1有
故
(26)
由引理2有
故
(27)
(28)
(29)
因此,存在适当维数的矩阵
,满足下面的式子
(30)
其中
(31)
(32)
综上所述,由(11),(12)和(23)~(32),我们有
(33)
这儿的
同(32)式相同,
见定理1中的定义。值得注意的是
,且对于
都有
,所以对于
有
。因此,若
,则由(9)~(15)式可得其充分条件
(34)
另一方面,若
,则由(9)~(18)式也可得式(34)成立,即
(35)
则由定义1可得系统(1)是随机稳定的。
其次,当
时,系统可转变为如下的一个时不变的中立型马尔科夫跳跃系统
(36)
推论1 考虑系统(36),如果存在矩阵
,任意矩阵
,满足以下的线性矩阵不等式
(37)
(38)
(39)
(40)
(41)
(42)
(43)
(44)
(45)
(46)
其中
则称系统(36)是随机稳定系统。
证明:构造一个随机的李雅普诺夫泛函
这儿的
都是适当维数的正定矩阵,它的证明过程与定理(1)的证明类似,因此此处省略。
最后,考虑以下不确定中立型马尔科夫跳跃系统
(47)
其中
为不确定的参数矩阵,且可以表示为
(48)
是已知的适当维数的模态相关矩阵,
是具有勒贝格可测元的时滞未知矩阵函数,且满足
。
通过变换,系统(47)可转化为如下形式
(49)
这儿的
,而且有下面的不等式成立,即
(50)
使用与定理1类似的证明方法,我们可以得到定理2。
定理2 考虑系统(50),如果存在矩阵
,任意矩阵
,满足以下的线性矩阵不等式
(51)
(52)
(53)
(54)
(55)
(56)
(57)
(58)
(59)
(60)
其中
同定理1中所定义的相同,则称系统(47)是随机稳定系统。
证明:运用与定理1相似的证明方法,可得到不等式
(61)
其中
(62)
及
(63)
其中
同定理1中所定义的相同。由(50)式,应用Suchr’s补引理 [5] ,我们可以找到正实数
,使得下面不等式成立
(64)
这儿的
同(62)式相同,
同(63)式相同。值得注意的是,
,且对于
都有
,所以对于
有
。因此,若
,则由(51)~(57)式可得其充分条件
(65)
另一方面,若
,则由(51)~(60)式也可得式(65)成立,即
(66)
则由定义1可得系统(47)是随机稳定的。
4. 数值实例
在这一部分,我们给出三个数值算例来验证理论结果的有效性。
例1 考虑中立型马尔科夫跳跃系统1,其状态矩阵如下
这儿考虑以下四种切换模态的部分转移概率矩阵
在这里,我们主要使用Matlab中的LMI工具箱来验证定理1中结果的有效性,通过给定的转移概率
矩阵,可以得到系统(1)的跳跃状态图(见图1)。取初始状态
,可得
时系统(1)是稳定的,其状态轨迹图见图2。
![](//html.hanspub.org/file/5-2740232x186_hanspub.png)
Figure 1. Modal switching diagram of system (1)
图1. 系统(1)的模态切换图
![](//html.hanspub.org/file/5-2740232x187_hanspub.png)
Figure 2. Trajectory map of system (1)
图2. 系统(1)的轨迹图
例2 考虑中立型马尔科夫跳跃系统(36),其状态矩阵如下
这儿考虑以下四种切换模态的部分转移概率矩阵
在这里,我们主要使用Matlab中的LMI工具箱来验证推论1中结果的有效性,通过给定的转移概率矩阵,可以得到系统(36)的跳跃状态图(见图3)。取初始状态
,可得
时系统(36)是稳定的,其状态轨迹图见图4。
![](//html.hanspub.org/file/5-2740232x193_hanspub.png)
Figure 3. Modal switching diagram of system (36)
图3. 系统(36)的模态切换图
![](//html.hanspub.org/file/5-2740232x194_hanspub.png)
Figure 4. Trajectory map of system (36)
图4. 系统(36)的轨迹图
例3 考虑如下不确定的中立型马尔科夫跳跃系统
其中
这儿考虑以下两种切换模态的完全未知的转移概率矩阵
在这里,我们主要使用Matlab中的LMI工具箱来验证定理2中结果的有效性,当
时,系统(50)是随机稳定的。通过Matlab求解(54)~(63)式,得到可行解,分别为
5. 结论
本文对具有部分未知转移概率信息的中立型马尔科夫跳跃系统的稳定性问题进行了研究。首先,构造新的Lyapunov泛函,运用Jensen’s不等式和Wirtinger-based不等式分析技巧,引入相应的自由权矩阵,得到具有时变时滞的稳定性条件。其次,利用Matlab中的LMI控制工具箱对所得的线性矩阵不等式进行验证,得到此方法具有一定理论价值。最后,列举三个数值算例,得到此方法的有效性。
基金项目
贵州省科技厅科学研究基金(J[2015]2074),贵州省科技厅、贵州民族大学联合基金项目(LKM[2013]21),贵州省教育厅群体创新研究项目贵州民族大学博士启动基金项目(KY[2016]021)。