东北大学学报:自然科学版   2015, Vol. 36 Issue (4): 457-461   PDF (306 KB)    
离散Markovian跳变系统概率转移矩阵部分未知的可靠控制
王建华, 张庆灵, 逄博    
东北大学 理学院, 辽宁 沈阳 110819
摘要:针对执行器故障和概率转移矩阵部分未知的情况,研究了一类离散Markovian跳变系统的可靠控制问题.设计有效的状态反馈可靠控制器,不仅使得闭环系统在无故障的情况下是随机稳定的,而且在执行器出现故障的情况下还仍然使得闭环系统是随机稳定的.用一组耦合可解的线性矩阵不等式给出了可靠控制器的可行性条件.数值算例表明了所提方法的可行性和有效性.
关键词Markovian跳变系统     可靠控制     执行器故障     概率转移矩阵部分未知     线性矩阵不等式    
Reliable Control for Discrete-Time Markovian Jump Systems with Partly Unknown Transition Probabilities
WANG Jian-hua , ZHANG Qing-ling, PANG Bo    
School of Sciences, Northeastern University, Shenyang 110819, China.
Corresponding author:WANG Jian-hua, E-mail:jianhua19830209@163.com
Abstract: Due to the actuator failures and partly unknown transition probabilities, reliable control problem was studied for a class of discrete linear Markovian jump systems. A reliable controller based on the state feedback method was designed to make the closed-loop systems randomly stable not only when all actuators are operational, but also in case of some actuator failures. The solvability condition of controllers could be equivalent to a feasibility problem of coupled linear matrix inequalities(LMIs). A numerical example demonstrated the feasibility and effectiveness of the proposed design.
Key words: Markovian jump systems     reliable control     actuator failure     partly unknown transition probabilities     linear matrix inequality(LMI)    


可靠控制是将系统部件(执行器和传感器) 可能发生的故障考虑在控制器设计过程中,设计可靠控制器可使闭环系统无论部件是否出现故障都能保持渐近稳定性且满足一定的性能指标[1, 2, 3].

自从Markovian跳变系统作为一类特殊的混杂系统被提出以来,就成为广大学者研究的热点之一.Markovian跳变系统的各个子系统按照一定的Markovian规则进行切换,并且取得了很多有意义的成果[4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14],其中文献[4, 5, 6, 7, 8]考虑的是Markovian跳变系统转移概率全部已知的情况.事实上,Markovian跳变系统的转移概率很难精确得到,仅仅得到其估计值或者部分概率[9, 10, 11, 12, 13, 14].文献[9]研究的就是Markovian跳变系统转移概率部分未知的情况下系统的稳定性和镇定性问题.Markovian跳变系统转移概率部分未知的问题研究成为近年来学术界研究的热点问题.

本文针对执行器故障和概率转移矩阵部分未知的情况,研究了离散Markovian跳变系统的可靠控制问题.目的是设计一个状态反馈可靠控制器,不仅使得闭环系统在无故障的时候是随机稳定的,而且在执行器出现故障的时候还能使得闭环系统是随机稳定的.

1 问题描述

给定概率空间(Ω, ),考虑如下一类离散的Markovian跳变系统:

式中: x(k)∈Rn为状态变量;u(k)∈Rm是输入;{r(k)}为一Markovian过程并且在有限集合l={1,2,…,N}内取值. π =[πij]N×N是概率转移矩阵,πij≥0的定义为
式中: ,马尔科夫概率转移矩阵 π 的定义为

如果转移矩阵中有部分转移概率不能够得到,此时,转移矩阵中有一些元素是未知的,例如,

其中,“?”代表不能得到的转移概率.定义 l=l κi+ l υκi
而且,如果 l κiΦ,进一步地表示 l κi=(κ1i,κ2i,…,κmi),∀1≤m≤N,其中κmiN +表示转移矩阵中的第i行的第m个已知元素的下标是κmi.并且

在一些文章中转移概率矩阵一般都是已知的或者完全未知的.在文献[11]中的转移矩阵是部分未知的,本文转移概率矩阵部分未知所用的方法是文献[11]的形式.

定义1u (k)≡0时,称系统(1)是随机稳定的,如果

对任意的初始条件 x 0Rn及模态r0l 成立.

引理1 设 R1,R2 为适维常值矩阵,Σ 为时变适维矩阵,|Σ|≤U,U 为正定对角矩阵,则

式中:β>0; Σ= diag(σ1,σ2,…,σi);|Σ|= diag(|σ1|,|σ2|,…,|σi|).

引理 2 Schur补:对于给定的对称矩阵

其中 Ξ11Ξ22是对称矩阵,Ξ12=Ξ 21T,以下3个条件是等价的:

1) Ξ<0.

2) Ξ11<0,Ξ22Ξ21Ξ11-1Ξ12<0.

3) Ξ22<0,Ξ11Ξ12Ξ22-1Ξ21<0.

引理3 当u(t)≡0时,称系统(1)是随机稳定的,当且仅当存在正定矩阵Pi,i∈ l ,使得

引理4 当u(t)≡0时,称转移概率矩阵部分未知的系统(1)是随机稳定的,如果,存在正定矩阵Pi,il ,使得

2 执行故障的可靠控制

给定概率空间(Ω, ),考虑如下一类离散的Markovian跳变系统:

式中:x(k)∈Rn状态变量; uf(k)Rm是执行器故障输入.

反馈控制律为u(k)=K(rt)x(k).执行器增益故障模型为

式中,M(rt)为执行器故障矩阵.

则相应的闭环系统为

引进如下符号:

并且Mi=Mi0(Ii+ Φ i), |Φ i|≤JiIi. 其中,|Φi|=diag(|φ1|,|φ2|,…,|φn|).

定理1 称转移概率矩阵部分未知的闭环系统(2)是随机稳定的,如果存在正定矩阵Pi> 0i∈ l ,使得

那么,所设计的随机可靠控制器为u(k)=K(rt)x(k).

证明 根据闭环系统(2),用(Ai+BiMiKi)代替引理4中的Ai即可以得到式(3).

定理2 称转移概率矩阵部分未知的闭环系统(2)是随机稳定的,如果存在标量ε>0,ζ>0和矩阵 Xi>0,Yi,i∈ l ,使得

那么,所设计的随机可靠控制器为Ki=YiXi-1.

证明 对于定理1中的两个不等式利用引理3得

Pi-1=Xi,Pκ1i -1=Xκ1i,Pκ2i -1=Xκ2i,Pκmi -1=Xκmi,Pj-1=Xj,
将式(4a)两侧分别乘以diag(Xκ1i,Xκ2i,…,Xκmi,X i)及其转置的形式,将式(4b)两侧分别乘以diag( Xj,X i)及其转置的形式,得到
利用 (A i+ B i M i K i)及式(5)中的 A i即可以得到
对式(6)利用 M i= M i0( I i+ Φ i)以及引理1,并且设 Y i= K i X i即可得到
对式(7)利用引理2即可得到定理2的2个不等式.证毕.

3 数值例子

考虑二维4模态的离散Markovian跳变系统,参数如下:

执行器故障的变化范围为0.1≤α≤1.1,在此范围下的故障矩阵为
系统的转移概率矩阵为
根据定理2,设计的可靠控制器为
在转移概率矩阵下,设初始条件为 x 0=[0. 3 -0.4]T.图 1a表明离散Markovian跳变系统的开环系统是不稳定的.图 1b表明本文所设计的可靠控制器可以使得系统在出现执行器故障的时候达到随机稳定.

图1 状态响应曲线 Fig. 1 Curves of state response (a)—开环系统; (b)—闭环系统.
4 结 论

本文针对执行器故障和概率转移矩阵部分未知的情况,研究了离散Markovian跳变系统的可靠控制问题.设计一个状态反馈可靠控制器,不仅使得闭环系统在无故障的时候是随机稳定的,而且在执行器出现故障的时候还能使得闭环系统是随机稳定的.

参考文献
[1] Veillette R J,Medanic J V,Perkins W R.Design of reliable control system [J].IEEE Transactions on Automatic Control,1992,37(3):770-784.(1)
[2] Yang Y,Yang G H,Soh Y C.Reliable control of discrete-time systems with actuator failure[J].IEE Proceedings Control Theory Applications,2000,147(4):428-432.(1)
[3] Yang G H,Wang J L,Soh Y C.Reliable H design for linear system [J].Automatica,2001,37(3):717-725.(1)
[4] Boukas E K.Stochastic switching systems:analysis and design[M].Berlin:Springer,2005.(2)
[5] Shi P,Boukas E K,Agarwal R K.Kalman filtering for continuous-time uncertain systems with Markovian jumping parameters[J].IEEE Transactions on Automatic Control,1999,44(8):1592-1597.(2)
[6] Xu S Y,Chen T,Lam J.Robust H filtering for uncertain Markovian jump systems with mode-dependent time-delays[J].IEEE Transactions on Automatic Control,2003,48(5):900-907.(2)
[7] Karan M,Shi P,Kaya C Y.Transition probability bounds for the stochastic stability robustness of continuous and discrete-time Markovian jump linear systems[J].Automatica,2006,42(12):2159-2168.(2)
[8] Xiong J L,Lam J,Gao H J,et al.On robust stabilization of Markovian jump systems with uncertain switching probabilities[J].Automatica,2005,41(5):897-903.(2)
[9] Xiong J L,Lam J.Fixed-order robust H filter design for Markovian jump systems with uncertain switching probabilities[J].IEEE Transactions on Signal Processing ,2006,54(4):1421-1430. (3)
[10] Zhang L X,Boukas E K.Stability and stabilization of Markovian jump linear systems with partly unknown transition probabilities[J].Automatica,2009,45(2):463-468. (2)
[11] Zhang L X,Boukas E K,Lam J.Analysis and synthesis of Markovian jump linear systems with time-varying delays and partially known transition probabilities[J].IEEE Transactionson on Automatic Control,2008,53(10):2458-2464. (3)
[12] Zhang L X,Boukas E K.H∞ control for discrete-time Markovian jump linear systems with partly unknown transition probabilities[J]. International Journal of Robust and Nonlinear Control,2009,19(9):868-883.(2)
[13] Zhang L X,Boukas E K.Mode-dependent H∞ filtering for discrete-time Markovian jump linear systems with partly unknown transition probabilities[J].Automatica,2009,45(6):1462-1467.(2)
[14] Wang G L,Zhang Q L,Sreeram V.Partially mode-dependent H filtering for discrete-time Markovian jump systems with partly unknown transition probabilities[J].Signal Processing,2010 ,90(2):548-556.(2)