浙江大学学报(理学版), 2024, 51(1): 14-20 doi: 10.3785/j.issn.1008-9497.2024.01.003

数学与计算机科学

T-S模糊Markov跳变系统的有限时间H异步控制

李秀英,,1, 姜囡2

1.通化师范学院 数学学院,吉林 通化 134002

2.中国刑事警察学院 声像资料检验技术系,辽宁 沈阳 110854

Asynchronous finite-time H control for Markov jump systems with T-S fuzzy rules

LI Xiuying,,1, JIANG Nan2

1.School of Mathematics,Tonghua Normal University,Tonghua 134002,Jilin Province,China

2.Department of Audio Visual and Image Technology,Criminal Investigation Police University of China,Shenyang 110854,China

收稿日期: 2022-09-05   修回日期: 2023-03-22   接受日期: 2023-04-02  

基金资助: 国家自然科学青年基金项目.  61304021

Received: 2022-09-05   Revised: 2023-03-22   Accepted: 2023-04-02  

作者简介 About authors

李秀英(1968—),ORCID:https://orcid.org/0009-0009-2310-5888,女,硕士,教授,主要从事随机系统的控制等研究,E-mail:xiuyingli68@163.com. , E-mail:xiuyingli68@163.com

摘要

针对一类在Takagi-Sugeno模糊规则下的Markov跳变系统,研究了基于模糊状态反馈控制器的有限时间H异步控制问题。采用隐Markov模型刻画了模糊控制器与原系统的异步现象。首先,通过构造Lyapunov函数,运用有限时间有界性和H控制理论,得到了闭环系统H有限时间有界的充分条件。其次,设计了模糊状态反馈异步控制器,使得闭环系统H有限时间有界。最后,通过仿真算例验证了方法的有效性和可行性。

关键词: Markov跳变系统 ; 模糊规则 ; 异步控制 ; H有限时间有界

Abstract

This paper addresses the problem of fuzzy-state-feedback-controller-based finite-time H asynchronous control for a class of Markov jump systems under Takagi-Sugeno fuzzy rules. The hidden Markov model is employed to describe the asynchronization between the fuzzy controller and the original system. Firstly, by means of constructing Lyapunov function, a sufficient condition for H finite-time boundedness of the closed-loop system is obtained by using finite-time boundedness and H control theory. Then, the asynchronous fuzzy state feedback controller is designed, which ensures H finite-time boundedness of the closed-loop system. Finally, a simulation result is demonstrated to verify the effectiveness of the proposed method.

Keywords: Markov jump systems ; fuzzy rules ; asynchronous control ; H finite-time boundedness

PDF (624KB) 元数据 多维度评价 相关文章 导出 EndNote| Ris| Bibtex  收藏本文

本文引用格式

李秀英, 姜囡. T-S模糊Markov跳变系统的有限时间H异步控制. 浙江大学学报(理学版)[J], 2024, 51(1): 14-20 doi:10.3785/j.issn.1008-9497.2024.01.003

LI Xiuying, JIANG Nan. Asynchronous finite-time H control for Markov jump systems with T-S fuzzy rules. Journal of Zhejiang University(Science Edition)[J], 2024, 51(1): 14-20 doi:10.3785/j.issn.1008-9497.2024.01.003

Markov跳变系统作为一类特殊的混杂系统,在电力系统、通信系统和经济系统等领域有重要应用,并被广泛研究与关注1-7。但在实际中,因存在时延、丢包等问题,难以实现控制器模态与原系统模态同步。为解决此问题,需构建异步控制器。文献[8]研究了连续非线性Markov跳变系统的严格耗散异步控制问题。文献[9]研究了Markov跳变系统的异步无源控制问题。文献[10]考虑了非线性广义Markov跳变系统的异步耗散控制问题,将文献[8]中的正常系统拓展至广义系统。

有限时间稳定是指系统的状态在有限时间内不超过某个设定的阈值,能更好地刻画系统的瞬态性能。文献[11-12]分别针对转移概率部分未知的Markov跳变系统与线性半Markov跳变系统,研究了有限时间H的控制问题。文献[13]针对具有一般转移速率的半Markov跳变系统,研究了有限时间随机稳定性与控制问题。文献[14]研究了基于扩展状态观测器的随机隐Markov正跳变系统有限时间异步控制问题,但对Takagi-Sugeno(T-S)模糊Markov跳变系统的有限时间H异步控制问题,尚未见报道。

本文在文献[8]基础上,研究T-S模糊规则下的Markov跳变系统的有限时间H异步控制问题。首先,将有限时间有界和H有限时间有界概念引入T-S模糊Markov跳变系统;然后,设计模糊状态反馈异步控制器,使闭环系统H有限时间有界,即状态反馈异步控制器保证了闭环系统有限时间有界且满足H性能指标。最后,用数值算例和仿真结果验证了方法的有效性。

对于实对称矩阵X,Y,X<Y(或XY)表示矩阵X-Y是负定的(或半负定的),用*表示对称矩阵中相应位置的转置,ΓV(xt,rt,t)表示V(xt,rt,t)的弱无穷小算子,λminWλmaxW分别表示矩阵W的最小特征值和最大特征值,E表示数学期望,对于矩阵ZRn×n,HeZ=Z+ZΤ

1 问题描述

考虑T-S模糊Markov跳变系统:

模糊规则 i 如果ζ1tξi1,ζ2tξi2,,ζptξip,那么

x˙(t)=Artixt+B1rtiu(t)+D1rtiω(t),z(t)=Crtix(t)+B2rtiu(t)+D2rtiω(t),x0=x0,r0=r0,t0=0,

其中,x(t)Rn为系统状态,u(t)Rm为控制输入,z(t)Rp为控制输出,ω(t)Rq为外部输入且ωtl20,+x0,r0,t0分别为系统的初始状态、初始模态和初始时间。系统的模态信号r(t)G=1,2,,g为右连续且时间齐次的Markov过程,Arti,B1rti,B2rti,Crti,D1rti,D2rti为具有适当维数的已知矩阵。式(1)有r(iR=1,2,,r)个模糊规则,其中i指第i个规则。 ζj(t)(j{1,2,,p})为前件变量,ξij为模糊集。r(t)服从转移速率矩阵Π=ϕkl:

Pr{r(t+Δt)=lr(t)=k}=ϕklΔt+ο(Δt),    kl,1+ϕllΔt+ο(Δt),    k=l,

其中,Δt>0,满足limΔt0οΔtΔt=0t时模态kt+Δt时模态l的转移速率ϕkl>0,kl,ϕll=-k=1,klgϕkl运用T-S模糊方法,得到规范模糊权重函数

hi(ζt)=j=1pξijζjti=1rj=1pξijζjt),

其中,ζ(t)=[ζ1(t),ζ2(t),,ζp(t)],ξij(ζj(t))表示变量ζj(t)在模糊集ξij的隶属度函数,满足j=1pξij(ζjt)0,于是hi(ζt)0,i=1rhiζt=1

为讨论方便,将hiζt简记为hi于是,当r(t)=k时,式(1)可改写为:

x˙(t)=Akhxt+B1khu(t)+D1khω(t),z(t)=Ckhx(t)+B2khu(t)+D2khω(t),x0=x0,r0=r0,t0=0,

其中,

Akh=i=1rhiAki,    B1kh=i=1rhiB1ki,    D1kh=i=1rhiD1ki,
Ckh=i=1rhiCki    B2kh=i=1rhiB2ki    D2kh=i=1rhiD2ki

模糊状态反馈异步控制器设计:

控制规则 i 如果ζ1tξi1,ζ2tξi2,,ζptξip,那么

u(t)=Kψ(t)ix(t),

其中,Kψ(t)iRm×n为第i个模糊控制器,ψ(t)U=1,2,,u表示隐Markov过程的变量,且服从条件概率矩阵Ψ=[φks],条件概率φks

Pr{ψ(t)=sr(t)=k}=φks,

其中,s=1uφks=1ψ(t)=s时,有

u(t)=Kshx(t),

其中,Ksh=i=1rhiKsi

注1

ψ(t)表示控制器的模态。根据文献[8],集合rt,ψ(t),Π,Ψ表示隐Markov过程。当G=Uφkk=1时,式(6)转化为同步控制器。

结合式(3)和式(6),可得闭环系统:

x˙(t)=A˜kshxt+D1khω(t),z(t)=C˜kshx(t)+D2khω(t),x0=x0,r0=r0,t0=0,

其中,

A˜ksh=Akh+B1khKsh=i=1rj=1rhihjA˜ksij,C˜ksh=Ckh+B2khKsh=i=1rj=1rhihjC˜ksij,
A˜ksij=Aki+B1kiKsj,C˜ksij=Cki+B2kiKsj,
D1kh=i=1rhiD1ki,    D2kh=i=1rhiD2ki

假设1 对于给定的时间区间0,T,外部输入ω(t)为时变有界函数,存在常数τ>0,满足约束条件:

0TωΤtωtdtτ

定义1 对于给定的常数c1>0,T>0,如果存在常数c2>c1>0及正定矩阵Mk,使得对任意的t0,T,

Ex0ΤMkx0c1ExΤ(t)Mkx(t)c2,

则称式(1)(u(t)=0)关于c1,c2,T,Mk有限时间有界。

注2 当式(1)中的ω(t)=0时,有限时间有界转化为有限时间稳定,表明有限时间稳定是有限时间有界的特殊情形。

定义2 对于给定的常数T>0,如果存在常数γ>0,满足:

(i) 式(1)关于c1,c2,T,Mk有限时间有界;

(ii) 在零初始条件下,对于满足假设1的非零外部输入ω(t)式(1)满足

E0TzΤ(t)z(t)dtγ20TωΤ(t)ω(t)dt,

则称式(1)(u(t)=0)关于c1,c2,T,MkH有限时间有界。

引理1[12] 设τ1τ2是有界的驻留时间且满足0τ1τ2,如果对任意t[τ1,τ2]V(xt,rt,t)ΓV(xt,rt,t)是有界的,则有

EV(xτ2,rτ2,τ2)=EV(xτ1,rτ1,τ1)+Eτ1τ2ΓV(xs,rs,s)ds

注3 假设1满足引理1的条件。

引理2[12] 设WRn×n是对称矩阵,xRn是任意向量,则有

λminWxΤxxΤWxλmaxWxΤx

引理3[8] 设A,B,C,X,W1,W2,W3是已知实矩阵,则以下条件等价:

(i) 存在矩阵P>0,满足

AP+PAΤ+X**BΤ+DPW1*CPW2W3<0;

(ii) 存在常数μ>0,矩阵P>0,矩阵Z满足

-Z-ZΤ****AZ+P-μ-1P+X***DZBΤW1**CZ0W2W3*Z000-μP<0

2 主要结论

本文主要目标是针对T-S模糊Markov跳变系统式(3),设计模糊状态反馈异步控制器式(6),使得闭环系统式(7)关于c1,c2,T,Mk H有限时间有界。

2.1 H有限时间有界性分析

定理1 对于给定的常数c1>0,T>0,τ>0及矩阵Mk>0,如果存在常数0<c1<c2,α>0,γ>0及矩阵Pk,kG,i,jR,满足:

Θkii<0,
Θkij+Θkji<0,    i<j,
eαTc1ε1+γ2τε2<c2,

其中,

Θkij=θkij11**θkij21θki22*θkij31θki32-I,
θkij11=Hes=1uφksA˜ksijΤPk+l=1gϕklPl-αPk,
θkij21=D1kiΤPk,θki22=-γ2I,
θkij31=φk1C˜k1ijφkuC˜kuij,    θki32=φk1D2kiφkuD2ki,
P˜k=Mk-1/2PkMk-1/2,ε1=maxkGλmaxP˜k,
ε2=minkGλminP˜k,

式(7)关于c1,c2,T,MkH有限时间有界。

证明 针对式(7),由式(10)和式(11),可得

Θkh=i=1rj=1rhihjΘkij=i=1rhi2Θkii+i=1r-1j=i+1rhihj(Θkij+Θkji)<0,

其中,

Θkh=θkh11*    *θkh21θkh22    *θkh31θkh32-I, θkh11=Hes=1uφksA˜kshΤPk+l=1gϕklPl-αPk, θkh21=D1khΤPk, θkh22=-γ2I,
θkh31=φk1C˜k1hφkuC˜kuh,    θkij32=φk1D2khφkuD2kh

构造Lyapunov函数:

V(xt,rt,t)=xΤ(t)Pkx(t),

沿着式(7)的轨迹,得到V(xt,rt,t)的弱无穷小算子:

ΓV(xt,rt,t)=xΤtl=1gϕklPlx(t)+2xΤtPkx˙(t),

于是

EΓV(xt,rt,t)=xΤtHes=1uφksA˜kshΤPk+l=1gϕklPl-αPkx(t)+2xΤtPkD1khωt=ηΤtΔηt+αExΤtPkxt+γ2ωΤtωt,

其中,

Δ=θkh11*θkh21θkh22,    ηt=xtωt

根据Schur补引理,由式(14)和式(17),可得

EΓV(xt,rt,t)αEV(xt,rt,t)+γ2ωΤtωt

由引理1,对任意的t0,T,式(18)从0到t积分,可得

EVxt,rt,t-EVx0,r0,0<α0tEV(xs,rs,s)ds+γ20tωΤsωsds

P˜k=Mk-1/2PkMk-1/2,ε1=maxkGλmaxP˜k,由定义1,得

EV(xt,rt,t)<(c1ε1+γ2τ)+α0tEV(xs,rs,s)ds,

运用Gronwall不等式,式(20)等价于

EV(xt,rt,t)<eαt(c1ε1+γ2τ)<eαT(c1ε1+γ2τ),

此外,令 ε2=minkGλmin(P˜k),由引理2,可得

EV(xt,rt,t)ε2ExΤtMkxt

综合式(21)和式(22),可得

ExΤtMkxt<eαTc1ε1+γ2τε2<c2

由定义1,知式(7)关于c1,c2,T,Mk有限时间有界。

另一方面,

EΓVxt,rt,t=ηΤtΛηt+αEVxt,rt,t+Eγ2ωΤtωt-zΤtzt,

其中,

Λ=θkh11+θkh31Τθkh31*θkh21+θkh32Τθkh31θkh22+θkh32Τθkh32

式(18),可得

EΓVxt,rt,te-αt<Ee-αtγ2ωΤtωt-zΤtzt,

在零初始条件下,由引理1,可得

e-αtEVxt,rt,tE0te-αsγ2ωΤsωs-zΤszsds,

E0te-αszΤszsds0te-αsγ2ωΤsωsds,

于是

E0TzΤszsdseαTγ20TωΤsωsds,

表明式(9)成立,其中γ¯=eαTγ由定义2,知式(7)关于c1,c2,T,MkH有限时间有界。

注4 定理1给出了T-S模糊Markov跳变系统式(3)在模糊状态反馈异步控制器式(6)作用下得到的闭环系统式(7)关于c1,c2,T,MkH有限时间有界的充分条件。下面将给出上述模糊状态反馈异步控制器式(6)的具体设计方法。

2.2 H有限时间有界性控制器设计

定理2 对于给定的常数c1>0,T>0,τ>0,α>0,μ>0,γ>0及矩阵Mk>0,如果存在常数0<c1<c2,λ1>0,λ2>0及矩阵Yk,Z,Wsi,使得对任意的kG,sU,i,jR,满足:

Θ˜kii<0,
Θ˜kij+Θ˜kji<0,    i<j,
γ2τ-c2e-αTλ2c1c1-λ1<0,
λ1Mk-1<Yk<λ2Mk-1,

其中,

Θ˜kij=-Z-ZΤ*****θ˜kij21θ˜k22****0D1kiΤθki22***θ˜kij410θki32-I**Z000-μYk*0θ˜k62000θ˜k66,
θ˜kij21=AkiZ+B1kis=1uφksWsj+Yk,
θ˜k22=ϕkkYk-αYk-μ-1Yk,
θ˜kij41=φk1CkiZ+B2kiW1jφkuCkiZ+B2kiWuj,
θ˜kΤ62=Ykϕk1ϕk,k-1ϕk,k+1ϕkg,
θ˜k66=-diagY1,,Yk-1,Yk+1,,Ykg,

式(7)关于c1,c2,T,MkH有限时间有界,此时,控制器可设计为

Ksi=WsiZ-1

证明 令Yk=Pk-1,式(13)分别左乘和右乘矩阵diagYk,I,I,得到

Θkij'=θ'kij11*    *θ'kij21θki22    *θ'kij31θki32-I,

其中,

θ'kij11=Hes=1uφksA˜ksijΤYk+Ykl=1gϕklYl-1YkΤ-αYk,θ'kij21=D1kiΤ,θ'kij31=φk1C˜k1ijYkφkuC˜kuijYk

由引理3,令Wsi=KsiZ,Θkij'<0,i=j等价于

Θ'̃kij<0,    i=j

其中,

Θ˜kij'=-Z-ZΤ****θ˜kij21θ˜'k22***0D1kiΤθki22**θ˜kij410θki32-I*Z000-μYk,
θ˜'k22=-αYk-μ-1Yk+Ykl=1gϕklYl-1YkΤ

根据Schur补引理,由式(29),可得式(36),从而可得式(10);同理,由式(30),可得式(11)。设δ1=minkGλminYk,δ2=maxkGλmaxYk,δ1=1ε1,δ2=1ε2

λ1δ1,δ2λ2,

可得式(32)。根据Schur补引理,式(31)可改写为

c1λ1+γ2τeαT<c2λ2,

联立式(38)和式(39),可得式(12)。

定理2得证。

注5 本文研究了T-S模糊Markov跳变系统的有限时间H异步控制问题。将H有限时间有界概念引入T-S模糊Markov跳变系统,研究了该系统的H有限时间控制问题;同时放宽了已有H有限时间控制问题研究,如文献[11-12]中系统模态与控制器模态同步的限制。

3 仿真算例

考虑双模态的Markov跳变系统式(3),其参数矩阵为

A11=-1-1.5    10,   B111=1.60,   A12=-1-1.5    10,B112=0.520,   A21=-1-210,   B121=0.50,A22=-1-210,    B122=0.20,
B211=B212=B221=B222=01,
C11=C12=C21=C22=1000,
D111=D112=D121=D122=10,
D211=D212=D221=D222=00,
h1=1+cos[x1t]2,   h2=1-h1

设转移速率矩阵和隐Markov过程中的条件概率矩阵分别为

Π=-334-4,    Ψ=0.40.60.50.5,

α=0.1,μ=1,γ=1,根据定理2,通过求解线性矩阵不等式得到控制器增益:

K11=-1.761 22.121 1,K12=-5.394 46.495 4,K21=-5.432 41.564 2,K22=4.440 8-1.721 0

在初始状态x(0)=[-10.4],扰动分别为ω(t)=0ω(t)=e-0.5t情况下,闭环系统的状态轨迹仿真结果如图1图2所示。

图1

图1   ω(t)=0时闭环系统的状态轨迹

Fig.1   State trajectories of the closed-loop system when ω(t)=0


图2

图2   ω(t)=e-0.5t时闭环系统的状态轨迹

Fig.2   State trajectories of the closed-loop system when ω(t)=e-0.5t


4 结 论

研究了连续时间T-S模糊Markov跳变系统的有限时间H异步控制问题。结合Lyapunov函数和线性矩阵不等式方法,给出了在模糊状态反馈异步控制器作用下的闭环系统有限时间有界且具有H性能指标的充分条件;并在此基础上,给出了模糊异步控制器的设计方法;最后通过仿真算例,验证了所设计的模糊状态反馈异步控制器的有效性。

http://dx.doi.org/10.3785/j.issn.1008-9497.2024.01.003

参考文献

KANG YZHANG J FGE S S.

Robust output feedback H control of uncertain Markovian jump systems with mode-dependent time-delays

[J]. International Journal of Control, 2008811): 43-61. DOI:10.1080/00207170701235766

[本文引用: 1]

ZHU Q XCAO J DHAYAT Tet al.

Robust stability of Markovian jump stochastic neural networks with time delays in the leakage terms

[J]. Neural Processing Letters, 2015411): 1-27. DOI:10. 1007/s11063-013-9331-8

ZHANG QLI LYAN X Get al.

Sliding mode control for singular stochastic Markovian jump systems with uncertainties

[J]. Automatica, 20177927-34. DOI:10.1016/j.automatica.2017.01.002

LIU Y HLI HZHONG Q Set al.

Output feedback control for semi-Markovian jump systems with time-varying delay

[J]. Journal of Control and Decision, 202073): 215-240. DOI:10.1080/23307706.2018.1530076

CHEN JLIN CCHEN Bet al.

Output feedback control for singular Markovian jump systems with uncertain transition rates

[J].IET Control Theory and Applications, 20161016): 2142-2147. DOI:10.1049/iet-cta.2016.0548

李秀英姜囡.

离散周期Markov跳变系统的鲁棒耗散控制

[J]. 华东师范大学学报 (自然科学版), 20206): 16-23. DOI:10.3969/j.issn.1000-5641. 201911036

LI X YJIANG N.

Robust dissipative control for discrete-time periodic Markovian jump systems

[J]. Journal of East China Normal University (Natural Science), 20206): 16-23. DOI:10.3969/j.issn.1000-5641.201911036

WANG BZHU Q X.

Stability analysis of Markov switched stochastic differential equations with both stable and unstable subsystems

[J]. Systems & Control Letters, 201710555-61. DOI:10.1016/j.sysconle.2017.05.002

[本文引用: 1]

DONG S LWU Z GSU H Yet al.

Asynchronous control of continuous-time nonlinear Markov jump systems subject to strict dissipativity

[J]. IEEE Transactions on Automatic Control, 2019643): 1250-1256. DOI:10.1109/tac.2018.2846594

[本文引用: 4]

WU Z GSHI PSHU Zet al.

Passivity-based asynchronous control for Markov jump systems

[J]. IEEE Transactions on Automatic Control, 2017624): 2020-2025. DOI:10.1109/tac.2016.2593742

[本文引用: 1]

杨冬梅李达.

非线性广义Markov跳变系统的异步耗散控制

[J]. 东北大学学报 (自然科学版), 2021429): 1226-1230. DOI:10.12068/j.issn.1005-3026. 2021.09.002

[本文引用: 1]

YANG D MLI D.

Asynchronous dissipative control for nonlinear generalized Markov jump systems

[J]. Journal of Northeastern University(Natural Science), 2021429): 1226-1230. DOI:10.12068/j.issn.1005-3026.2021.09.002

[本文引用: 1]

ZONG G DYANG DHOU L Let al.

Robust finite-time H control for Markovian jump systems with partially known transition probabilities

[J]. Journal of the Franklin Institute, 20133501562-1578. DOI:10.1016/j.jfranklin.2013.04.003

[本文引用: 2]

LIU X HYU X HZHOU X Jet al.

Finite-time H control for linear systems with semi-Markovian switching

[J]. Nonlinear Dynamics, 2016852297-2308. DOI:10.1007/s11071-016-2829-7

[本文引用: 2]

CHENG G FJU Y YMU X W.

Stochastic finite-time stability and stabilization of semi-Markovian jump linear systems with generally uncertain transition rates

[J]. International Journal of Systems Science, 2021521): 185-195. DOI:10.1080/00207721. 2020.1823518

[本文引用: 1]

任乘乘宋军何舒平.

基于扩展状态观测器的随机隐Markov正跳变系统有限时间异步控制

[J]. 控制理论与应用, 20213811): 1891-1900. DOI:10.7641/cta.2021.10585

[本文引用: 1]

REN C CSONG JHE S P.

Extended-state-observer-based finite-time asynchronous control of a class of stochastic positive hidden Markov jump systems

[J]. Control Theory & Applications, 20213811): 1891-1900. DOI:10.7641/cta.2021.10585

[本文引用: 1]

/