1. 引言
本文对离散时间正马尔可夫跳变非线性系统的随机稳定性进行了研究,给出了仅凭非线性系统函数的代数性质和马尔可夫链的概率特征便可判断系统稳定性的判据。其中正系统是一种动态系统,当初始条件为非负时,输入、输出和状态变量被约束为非负。这种系统最初是由Luenberger [1]提出的,如今,我们已经可以在许多领域发现这种系统,如生物、制药、多智能体系统、网络控制等。由于它们的重要性和广泛的适用性,这些系统也得到了广泛的研究。在稳定性[2] [3]、鲁棒稳定性[4] [5]、故障检测[6] [7]、饱和控制[8]、模型预测控制[9]、正滤波[10] [11]等方面都有较为全面的研究成果。
在实践中,正系统可能在各种环境因素的某些子系统之间表现出切换现象。到目前为止,关于切换正线性系统[12] [13]和切换正非线性系统[14] [15]已经做了大量的工作。马尔可夫跳变系统是随机切换系统的一个重要模型,它在描述随机切换现象方面具有更多的优势。对于正马尔可夫跳变线性系统的研究,Bolzern等人给出了一些随机稳定性的概念和相应充分条件[16]。文献[17]使用马尔可夫链对双通道时延进行建模,提出一种网络预测控制算法,基于模型预测控制方法来补偿双通道时延,给出系统随机稳定性的充分条件以及状态反馈控制器设计方法,并在直线开关磁阻电机测试平台上进行了实验验证。文献[18]针对具有时延的正马尔可夫跳变系统,通过构建一个新的Lyapunov-Krasovskii泛函,给出一种新的与时延相关的随机稳定性判据,并设计了一个状态反馈控制器,通过仿真结果证明了所提出的控制方法能够有效的降低保守性。[19]中证明了如果线性切换系统的状态矩阵是Lie-代数可解的,则系统对于任意切换信号都将表现出渐近稳定性,这为切换系统的渐近稳定性提供了一个充分条件。对于
的研究,也有一些和[20] [21]一样的结果。但是,这些结果中的非线性主要表现为扰动和线性约束并且它们是以线性的方式处理的。只有在[22]中考虑了具有随机切换信号的连续时间非线性正系统的随机稳定性,并作为随机切换的特例给出了
的随机稳定性判据。因此,
需要进一步研究。
齐次系统是一类特殊的非线性系统[23],它具有一般非线性系统的行为,但动力学行为却相对简单。因此,齐次正系统得到了广泛的研究,并在[4] [22] [24]中已经给出了许多结果。基于[14]中离散时间切换齐次正系统的稳定性和[16]中
的随机稳定性研究,本文将考虑离散时间
的全局概率渐近稳定性(
)和全局均值渐近稳定性(
),并在非线性中表现出齐次性。我们在许多应用中都遇到离散时间切换正系统,因此,研究离散时间切换正系统的稳定性问题具有重要意义。目前,对于稳定的离散时间切换正系统,现有的结果要求系统中的所有子系统必须稳定或至少是边际稳定[13]。在本文中,对于正马尔可夫跳变系统,可以允许某些子系统不稳定。为了给出我们的主要结果,充分利用多重最大可分
函数和加权
范数的性质来克服由马尔可夫跳变参数引入的耦合项产生的影响。结果表明,仅从非线性系统函数的代数性质和马尔可夫链的概率特征就可以判断离散时间
的随机稳定性。此外,还给出了离散时间
的
和
的判据。
本文的其余部分组织如下。第2节提供离散时间正系统的一些符号、定义和初步结果。第3节给出主要结果。首先对离散时间
进行解释,并给出相应的随机意义上的稳定性定义。在此基础上,给出了离散时间
随机稳定的充分条件。此外,对于离散时间
,给出了随机稳定性的充分条件作为推论,并举出一个实例验证结论的有效性。最后,在第4部分得出了一些结论。
2. 注释和说明
本文中非负实数集、自然数集、含0自然数集分别用
表示;
表示
中
维正实空间,
,
为转置,
。
为
中
范数,最大范数定义为
。加权
范数定义为
。除特别说明外,本文讨论的向量均为列向量。复合函数
。
类函数为连续函数,定义为
,
严格递增。
类函数为
中无界函数。
类函数
,其中第一个过程为
类函数,在第二个过程中减小至
。
定义2.1 [24]
是关于
齐次,若
对
。若
,
称为
齐次。
定义2.2 [24]
定义
在
上保序,若对
,都有
。
考虑以下离散时间n维马尔可夫跳变非线性系统
(1)
是系统状态,
是离散时间马尔可夫过程,取值为有限集
,转移概率
,转移概率矩阵
表示初始时刻为
时k的状态,
,初始为
。
假设2.3,对
,向量场
在
上连续,在
上一次齐次且保序。
假设2.3暗示马尔可夫跳变系统(1)是正的且存在零解[14]。与连续时间正系统的随机稳定性定义类似,下面介绍离散时间正系统的随机稳定性定义。
定义2.4 [22]
PMJNS (1)的平衡点
是全局渐近概率稳定(GASiP)的,若对
,存在正向量
和一类
函数
使得对
和
,都有
(2)
定义2.5 [16]
PMJNS (1)的平衡点
是全局渐近均方稳定(GASiM)的,若存在正向量
和一类
函数
使得对
和
,都有
(3)
在上述定义中,若存在正实数a和b使得
,则称为全局概率指数稳定(GESiP)和全局均方指数稳定(GESiM)。
3. 主要结果
对于正非线性系统,常采用极大可分Lyapunov函数法进行稳定性分析。其中Lyapunov函数
满足以下属性:
1)
是满足稳定性判据条件的一个正定的标量函数,且对
具有连续的一阶偏导数。
2) 对于给定系统,如果
是可找到的,则通常是非唯一的。
3)
函数仅表示系统在平衡状态附近某邻域内局部运动的稳定情况。
本文采用多重极大可分Lyapunov函数法对
进行随机稳定性分析。对于PMJNS (1)的第p个子系统,由Lyapunov函数的属性,极大可分Lyapunov函数记为
(4)
标量函数
对
。设k时刻模态为p,在
时刻,系统跃迁到任意模态
的概率为
。
取
的差值为:
(5)
得到第一个结果如下
定理3.1
设假设2.3成立。若对
,存在向量
和常数
,使得对
,都有
(6)
则系统(1)是全局概率渐近稳定和全局概率指数稳定。其中
,
,
。
证明:取极大可分Lyapunov函数
(7)
将差分算子应用于联合过程
,由系统(1)与
显式表达式,可以得到
(8)
由于
是齐次且保序的,故有
(9)
对
,有
(10)
将(10)式代入(9)式,并将加权范数以转移概率展开可得
(11)
由于转移概率
,结合(6)式可得
(12)
将(5)式Lyapunov差值函数代入(12)式并取期望后整理可得
(13)
用归纳法对(13)式进行迭代可得
(14)
结合极大可分Lyapunov函数定义与加权
范数定义可得
(15)
常量
。
对
,设
,由(8)与切雪比夫不等式,对
,有
(16)
由加权
范数定义,结合(2)式可得
(17)
其中
。故系统(1)是GASiP和GESiP。
注释3.2
由(8)的估计解,有
,由定义2.5,故PMJNS (1)是GASiM和GESiM。
由定理3.1,我们可以得到两个更严格且更容易验证的结论。
推论3.3
设假设2.3成立,若对
,存在向量
与常量
,使得对
,有
,即
(18)
则系统(1)是全局概率渐近稳定和全局概率指数稳定。
推论3.4
设假设2.3成立,若对
,存在向量
与常量
。
使得对
,有
,即
(19)
则系统(1)是全局概率渐近稳定和全局概率指数稳定。
注释3.5
在[14]中研究了一类连续时间和离散时间切换正非线性系统(SPNS)的稳定性问题,并由结果可知SPNS的稳定性等价于正向量的存在性,且满足
(非线性),
(线性)。在[22]中研究了具有随机开关信号的连续时间非线性正系统的随机稳定性,由[22]中定理3.3可得PMJNS的随机稳定性需要满足:存在正向量
,使得
(
)。由[14]和[22]的结果可以看出,当要求整个混合系统稳定时,每个子系统都需要是稳定的,如推论3.4。但由定理3.1与推论3.3可知,由于转移概率的影响,某些子系统可以为不稳定的。
作为PMJNS的一个特例,考虑PMJLS
(20)
若对
是非负的,则假设2.3易满足,故有定理3.1的特殊情况。
推论3.6
对于每个
且具有非负矩阵
的PMJL S(12),若对
,存在向量
和常量
,使得
(21)
则系统(12)是GASiP (GESiP)和GASiM (GESiM),
同定理3.1中定义。
与推论3.3,3.4相似,若(13)被替换为
(22)
或
(23)
则系统(12)是GASiP (GESiP)和GASiM (GESiM)。
注释3.7
对于正马尔可夫跳变系统的稳定性,由(13)可以看出,马尔可夫切换的转移概率会影响正向量的选择;由(15)可以看出,若存在正向量使得(15)成立,则对任意马尔可夫跳变过程,系统(12)的稳定性总是成立。
实例3.8
考虑系统(1),其中两个子系统为
,
且
都是一次齐次与保序的,两个子系统间的马尔可夫切换为
,转移概率矩阵
。存在
,
使得(18),(19)成立。故系统(1)是全局概率指数稳定和全局均方指数稳定的。
4. 结论
本文研究了一类具有齐次性质的离散时间PMJNS的随机稳定性问题。在此过程中,引入了多重最大可分Lyapunov函数,并利用它们之间的相互关系克服了马尔可夫跳变参数引起的耦合项的存在。利用该方法,给出的准则允许随机稳定马尔可夫跳正系统的某些子系统是不稳定的。同时,根据随机稳定性判据,我们可以从非线性系统函数的代数性质和马尔可夫链的概率特征来判断系统的稳定性。