电子人社区网讯:
摘 要:研究了带有执行器饱和与转移概率部分已知的随机Markov跳变系统的非脆弱有限时间镇定问题。转移概率部分已知包含转移概率完全已知和转移概率完全未知两类特殊的情况。首先基于参数依赖型Lyapunov函数和自由权矩阵方法,对随机Markov饱和跳变系统的镇定进行了研究,提出了有限时间稳定的充分条件。然后利用线性矩阵不等式的方法实现了非脆弱有限时间状态反馈控制器与吸引域最大估计值的求解。
关键字:执行器饱和 Markov跳变系统 转移概率部分已知 有限时间镇定 非脆弱状态反馈控制器
Markov跳变系统是一类包含多个模态的重要随机混杂系统,是Krasovskii和Lidskiid于1961年建立的。在过去的几十年里,由于能更好描述许多实际系统的特性,例如故障诊断系统、制造系统等,Markov跳变系统引起了很大关注。关于这类问题的研究大都基于转移概率完全已知的情况。然而,考虑实际过程中的复杂因素,转移概率只有部分得到。所以,转移概率部分已知的Markov跳变系统的研究得到了越来越多的关注,包括稳定、镇定、时滞等。
另一方面,出于执行器幅值的限制或者安全因素的原因,执行器饱和的存在严重影响系统性能甚至导致系统不稳定。所以,对执行器饱和的研究有很大的实际意义。近年来,越来越多的学者也研究这类问题,如在稳定性分析与镇定、容错控制、时滞、Markov跳变等方面。同时,随机系统的研究也已成为热点,例如网络控制、扰动和多时滞。然而,考虑带有执行器饱和的Markov跳变系统的相关文献却很少。
现有的文献大都建立在Lyapunov稳定基础上,意味着系统在无限时间范围内是稳定的。相对于Lyapunov稳定性,有限时间稳定性意味着状态在固定时间区域内不会超过一定的界限。值得关注的是有限时间稳定并不意味着Lyapunov稳定。如果系统响应的瞬态超过预定的界限,Lyapunov稳定并不包含有限时间稳定。
研究一类转移概率部分已知的随机Markov饱和跳变系统的非脆弱有限时间镇定问题,通过参数依赖型Lyapunov函数和自由权矩阵方法,设计了非脆弱有限时间状态反馈控制器并获得了吸引域的最大估计值。
1 问题描述及相关引理
考虑如下带有执行器饱和的随机Markov跳变系统:
(1)
其中:x(t)∈Rn,u(t)∈Rm,w(t)分别是系统的状态、控制输入和标准的维纳过程;x0,g0和t0分别为初始状态、初始模态和初始时间;A(gt),B(gt)和W(gt)为已知的具有适当维数的模态依赖常数矩阵。标准饱和函数σ(·)定义为
其中σ(ui)=sign(ui)min{1,|ui|}为符号函数。
本文将设计非脆弱状态反馈控制器:
u(t)=(K(gt)+ΔK(gt))x(t). (2)
其中:K(gt)为控制器增益; 为控制器增益的变化,可表示为
其中Hk(gt)和Μk(gt)为具有适当维数的常数矩阵,并且未知矩阵函数Fk(gt,t)满足
令{gt,t≥0}为连续Markov跳变过程,gt为系统模态并且在集合S={1,2,…,N}上取值,转移概率矩阵Π={πij},i,j∈S。
文中考虑转移概率部分已知,意味着在矩阵Π={πij}中只有一部分元素能够得到。对于i∈S,集合 其中
文中,令gt=i。
定义1对于给定的时间常数T,系统(1)(u(t)=0)是关于(c1,c2,T,Ri)有限时间稳定的,如果下列条件成立: 其中0<c1<c2,Ri>0。
对于任意矩阵Pi>0,定义椭圆
ξ(Pi)={x(t)∈Rn:xT(t)Pix(t)≤1}.
引理1 对于任意的矩阵Ki,Fi∈Rm×n,如果x(t)∈ψ(Fi),则σ(Kix(t))可表示为如下形式:
考虑控制器(2),得到如下闭环系统:
引理2 T,M,N和F为具有适当维数的矩阵,其中FTF≤I,则对于任意正数ε>0,有
2 主要结论
2.1 有限时间稳定问题分析
定理1 对于给定的时间常数T,系统(3)是关于(c1,c2,T,Ri)有限时间稳定的,如果存在正标量εi,α,对称正定矩阵Pi∈Rn×n,对称矩阵Qi∈Rn×n和Fi∈Rm×n,有以下不等式成立:
其中:
此外,初始状态包含在集合 的吸引域内。
证明 选择Lyapunov函数为
(9)
其相应的无穷小算子为
考虑 ,其中 为对称矩阵,可以得到
根据引理2,存在正数εi使
成立,因此
(11)
即
(12)
所以可以得到
(15)
因此,系统是有限时间稳定的。由条件(8),如果x(t)∈ξ(Pi),得到x(t)∈ψ(Fi)。
证毕。
2.2 有限时间状态反馈控制器设计和吸引域估计
下面设计控制器并得到系统均方意义下吸引域估计值。假设如下最优化问题:
(16)
其中Fiq代表Fi的第q行。这里假设初始状态空间在一凸集中,表示为 其中 是给定的在Rn中的初始状态向量。如果a最大值amax>1,则初始状态x0在均方意义下的吸引域内。
令β=a-2,Xi=Pi-1,Yi=KiXi,Di=FiXi,Vi=XiQiXi,注意问题(16)中的①等价于 应用Schur补引理,可得到
(17)
利用同样的方法,问题(16)中的③等价于
(18)
其中Riq代表Ri的第q行。
对式(4)两边同时乘以对角矩阵diag{Xi,I,I},可以得到
(19)
其中
下面的分析将不等式(19)分成两种情况。
情况1 当 ,应用Schur补引理,不等式(19)中相应参数为
(20)
其中
情况2 当 ,应用补Schur引理,不等式(19)中相应参数为
(21)
其中:
对式(5)两边同乘Xi可得
(22)
对式(6)两边同乘Xi可得
(23)
定义 和考虑 ,可以得到
(24)
和
(25)
式(24)等价于
(26)
式(25)等价于
(27)
综上所述可以得到下列优化问题:
(28)
如果βmin<1(αmax>1),则初始条件在吸引域内并且系统(3)是有限时间稳定的.控制器增益的表达式为Ki=YiXi-1。
3 数值例子
四模态随机Markov跳变系统参数如下:
令c1=1,c2=10,T=10s,α=0.01。选择初始条件:x0=[-1 1.5]T,g0=2。转移概率矩阵如下:
求解优化问题(28)可得β=0.1530<1和状态反馈控制器增益参数如下:
图1~图3为系统模态、状态轨迹和轨迹xT(t)Rx(t)。从仿真图看出,所求解的非脆弱状态反馈控制器使得初始状态属于凸集C{x1}的系统(3)有限时间稳定。
图1 跳变模态
图2 状态轨迹
图3 xT(t)Rx(t)的轨迹
4 结语
本文针对执行器饱和Markov跳变系统的非脆弱有限时间镇定,设计了非脆弱有限时间状态反馈控制器。通过线性矩阵不等式的方式,实现了控制器和吸引域最大化的求解。
来源:调节阀信息网
转载请注明:电子人社区 |