杨冬梅, 王 傲
(东北大学 理学院, 辽宁 沈阳 110819)
切换系统作为一种重要的混合系统,是一个融合了诸如信息处理、微分方程和工业生产等学科的全新研究课题.随着现代控制理论的发展,以及同其他学科的深度融合,一种更加普遍更加贴近现实的系统得到了越来越多的关注,被称为“广义切换系统”.如今,控制理论大多是根据数学模型来研究的.然而在实际建模时,大多数系统无法用线性模型表示,且系统参数很可能随时间变化而改变,甚至系统结构也发生改变,而系统又因为不能完全与外部隔离,或多或少会受到外部干扰,以及工业水准受限使精度出现细微的偏差而导致的不确定性等因素,都导致难以建立精确的数学模型.即使对一些复杂系统成功建立了数学模型,模型也常常太过复杂不利于研究,无法实现有效控制,因此,对于模糊控制理论的研究就变得尤为重要[1].在实际控制问题中,由于系统的切换需要时间识别,因此控制器的切换不可避免地落后于系统的切换,导致子系统与控制器之间出现短暂的不同步.无源性作为一种特殊的耗散性,是以系统的输入和输出的叉乘作为系统的供给率,在有些情形下储存函数可以作为系统的能量函数,因此对于广义切换系统的无源性和异步控制问题的研究同样尤为重要.文献[2]针对具有结构不确定性的非线性切换系统,提出了鲁棒半无源性和实用稳定性分析.文献[3]针对一类广义Lurie切换系统采用类李雅普诺夫函数的方法研究了系统的鲁棒无源性.文献[4]针对具有多个存储函数和多个供给率的离散非线性切换系统的几何拟无源性、反馈拟通性及其相关性质进行了研究.文献[5]针对一类严格反馈非线性系统在适当的状态依赖切换律下研究了基于无源性的镇定问题.文献[6]分析了非线性切换系统,提出增量式无源性、增量式无源化和增量式镇定问题.然而对于T-S模糊广义切换系统的无源性问题的研究成果鲜有人发表.
本文对一类时滞T-S模糊广义切换系统引入一种新的无源不等式,探讨了在控制器切换不同步情况下系统的指数稳定性和无源性问题,并利用分段李雅普诺夫函数和线性矩阵不等式的方法,得到了使时滞T-S模糊广义切换系统全局一致指数稳定且严格指数无源的充分条件.由于系统的状态不易得到,本文得出了一种基于观测器的控制器设计方法,并通过仿真证明了该方法的有效性.
本文主要探讨时滞T-S模糊广义切换系统的无源性问题,其子系统模型由如下形式的模糊规则构成:
Rj:ifξ1isM1j… andξγisMγj,then
(1)
其中:ni为模糊规则数;
Mγj(ξj)表示ξγ在模糊集Mγj上的隶属度.且hj(ξ(t))满足
假设系统(1)是能检测的,设计状态观测器和控制器,其系统描述为
(2)
得到增广闭环系统为
(3)
(4)
定义1[13]对于切换信号σ(t)和∀t≥t0≥0,Ni(t0,t),Ti(t0,t)分别表示子系统在时间间隔(t0,t)上的切换次数和运行时间,如果满足:
且τi>0,称τi为子系统i的平均驻留时间.
定义2[14]对于给定的α>0,系统的输入u(t)和输出y(t),如果:
成立,其中V(t)是一个非负函数,那么系统是严格指数无源的.
定义3[15]系统平衡点x=0在切换信号σ(t)作用下是全局一致指数稳定的,系统的解x(t)在给定初始值x(t0),以及ω(t)=0时满足:
‖x(t)‖≤ke-δ(t-t0)‖x(t0)‖C1,∀t≥t0;
其中,k≥1,δ>0.
引理1[16]对于任意的n维向量x,y和任意常量ε>0,有
±2xTy≤εxTx+ε-1yTy.
为证明过程方便,令T↓i(t0,t),T↑i(t0,t)分别表示子系统i在时间间隔(t0,t)上的控制器匹配和不配的运行时间,T↓(t0,t),T↑(t0,t)分别表示系统在时间间隔(t0,t)上的控制器匹配和不配的运行时间.
(5)
(6)
(7)
(8)
式中:
Ξi44=-e-κhTλ.
其中,κ∈{αi,-βi}.当κ=αi时,λ=ι=i;当κ=-βi时,λ=li,ι=l,则系统(4)对于满足平均驻留时间:
证明 将系统按照αi+βi的取值分为两类,当αi+βi≤0时,子系统属于θ1={1,2,…,m},当αi+βi>0时,属于θ2={m+1,m+2,…,p}.令:
当t∈(ti+τi,ti+1)时,构造如下李雅普诺夫函数:
当t∈(ti,ti+τi)时,构造如下李雅普诺夫函数:
对V1i(t)和V2i(t)求导,并且由式(8)可知
我俩谁也没说话,端酒,碰杯,再端酒,再碰杯。不大会一瓶酒就快见底了。我觉得自己开始头晕了,看看刘铁头,他也是红光满面精神焕发。刘铁头长着满脸的小紫疙瘩,这会儿紫疙瘩们像涂了层油,个个饱满挺拔亮光闪闪。
(9)
(10)
在t∈[t0,t)上令:
由式(9),式(10)可得
(11)
再由式(6),式(7)可得
(12)
令Δmax=maxΔi,N0=0,则由式(13),式(14)可得
(13)
其中:
对于Ω1,有αi+βi≤0,则
对于Ω2,有T↑i(t0,t)≤ΔmaxNi(t0,t),则
由V(t)易得
(14)
其中:
b1=λmax(Oi)+hλmax(Ri);
b2=λmax(Oli)+hλmax(Rli);
再由式(13),式(14)可得
考虑:
由于定理1中的不等式条件不是线性的,不容易求解,下面基于引理1适当地缩放不等式的条件,使之成为线性矩阵不等式.
(15)
(16)
(17)
(18)
(19)
(20)
(21)
(22)
(23)
(24)
其中:
T+κETN,
κ∈{-αi,βi}.当κ=-αi时,
X=Xi,N=Ni,U=Ui,T=Ti;
当κ=βi时,
X=Xli,N=Nli,U=Uli,T=Tli.
定理1中的控制器和观测器的增益矩阵:
证明 利用引理1对式(8)进行变换,可得到式(8)可由式(17)~式(24)推出,定理得证.
考虑如下有两个子系统的例子.
Rj:ifx1(t) isM1jthen
规范化隶属函数分别为
各子系统的局部子系统的参数为
C111=[-0.1 -0.2],C112=[-0.2 -0.1],
C121=[0.1 -0.2],C122=[0.3 -0.2],
C211=[0.5 -0.9],C212=[0.2 -0.3],
C221=[0.1 -0.2],C222=[-0.4 -0.3],
D11=D12=D21=D22=0.3,
H11=H12=H21=H22=6.
选取α1=1.33,α2=1.2,β1=-1.3,β2=-0.7,按照上述定理得到控制器和观测器增益矩阵为
K11=[2.357 2 -2.614 8],
K12=[1.443 2 -3.142 5],
K21=[-1.360 2 -0.380 1],
K22=[-2.019 1 -0.293 3].
图1 状态轨迹
图2 切换信号
本文引入了一种新的无源不等式,给出了时滞T-S模糊广义切换系统在控制器存在切换滞后的情况下保证系统是全局指数稳定且严格指数无源的充分条件,通过数值仿真验证了该结果的有效性.