一类离散线性切换系统基于切换路径干扰下稳定性分析.docVIP

一类离散线性切换系统基于切换路径干扰下的稳定性分析 　　摘要本文讨论了一类离散时间线性切换系统在路径发生干扰下的稳定分析问题。我们利用两个切换路径之间的距离,得出一类离散线性系统基于切换路径干扰的稳定性理论。 　　中图分类号:O13文献标识码:A 　　 　　0 引言 　　离散线性切换系统是由一系列的离散时不变子系统和描述它们之间的切换策略所组成。在过去的一二十年,在切换系统的诸如稳定性研究,最优控制等等方面研究很广泛。 　　作为切换设计的首要问题,在文献中干扰所引起的鲁棒性在文献中得到广泛提及。对于一个切换系统,干扰可以强加于子系统内部,切换路径上或者二者兼有得干扰。从一开始,对于子系统受到干扰的切换系统的稳定性分析研究很广泛,成果也很多。然而,而对于后者现在研究鲜有,成果也很少。 　　近来,连续线性切换系统的切换路径受到干扰时的稳定性方面的研究以有所展现。因此,本文就是基于前人的经验,对于离散线性切换系统基于路径干扰进行必要的初步的研究。 　　1 准备 　　定义Rn为n维欧几里德实空间,R+为实正空间。定义为二维范数。M = {1,2,…,m}是有限指标集。 　　我们考察下面一类离散线性切换系统x(k+1) = Gp(k)x(k)x(0) = x0(1) 　　其中x∈Rn为系统状态,p∈M为切换律,,m∈M为已知的系统矩阵。 　　给定一时间段[k0,kf ),一定义在[k0,kf ) 上的切换路径为一个分段常量函数p,在此我们定义切换时间序列 　　Sp = {k0,k1,…,ks,…} (2) 　　切换序列 　　SSp = {(k0,p(k0)),(k1p(k1),),…,(ks,p(ks)),…} (3) 　　切换驻留序列 　　(4) 　　其中i = p(ki),ki+1 - ki = li,i∈M。 　　(k;k0,x0,p)定义为系统1在切换路径p,时刻 k处的状态,表示为 , k≥k0 (5) 　　定义矩阵函数 　　 , k≥k0(6) 　　由此,我们可以给定系统的状态 　　 (k;k0,x0,p) =(k;k0,x0,p) x0 , k≥k0 (7) 　　2 定义 　　我们假设为一系列类似于[a,b)(其中0≤ab,a,b∈M)的区间的集合。取定∈,定义一个微分同胚拓扑 　　:R+\→R+ 　　满足 　　(k) = k - meas{s≤k:s∈}k∈R+ 　　我们选取两个切换路径p1[k1,k2),p2[k3,k4),如果存在一个集合∈和一个时间转移量∈R,使得 　　 　　p2(k) = p1((k)-) k∈[k3,k4) 　　则我们就称p1是p2的子路径,或者p2是p1的父路径,记为p1≤p2。 　　对于两个切换路径p1≤p2,定义二者的距离为 　　 　　进一步的讨论,对于三个切换路径p1,p2,和p3,如果满足条件p1≤p3和p2≤p3,我们就称p3是p1和p2的公共父路径,记为p3∈CP(p1,p2)。 　　定义 3.1 p1和p2,他们之间的距离定义为[1] 　　 　　3 稳定性定理 　　下面的定理,我们认为,可以解决之前所提出的问题。 　　定理 1对于一类离散时间线性切换系统 　　 x(k+1) = Gp(k)x(k),x(0) = x0(1) 　　在切换路径p1上是稳定的,对于任意的切换路径p2,如果能满足条件d(p1,p2)∞,则可以使系统保持稳定。 　　证明假设系统(1) 渐进稳定,由此前准备知识, 取定任意实数s∈(0,1),就存在自然数m = m(s),指标序列1,2,…,m,驻留序列{l1,l2,…,lm},使之满足。作为已知,驻留序列下,系统 (1)是稳定的。 　　假设为给定切换律且满足d(p1,p2)∞。所以,(k4,k3,p2)可以表示成 , j∈[0,lj) = 0,1,2,…,m满足条件lj - j = d(p1,p2)为给定切换律且满足d(p1,p2)∞。由以上定义,我们可以找到一个p1和的p2父切换路径p3。定义区间k = [(k-1)T,kT且满足T = lj。因此,我们可以利(下转第104页)(上接第93页)用子父路径的性质得出以下一个重要的事实:在路径干扰下系统的状态是有界的。这就暗示了切换路径p2传递矩阵链是稳定的,也就意味着路径p2可以使得这个切换系统是渐进稳定的。 　　综上,这就意味着,对于一类离散时间线性切换系统依然是稳定的,如果在切换路径受到干扰是在一定有限范围内。 　　4 结论与展望 　　在此文章中,我们主要引入了切换路径间的距离讨论了一类离散时间线性切换系统在路径发生干扰下的稳定分析问题。虽然所做的工作是初步的,但我们相信它对于我们以后的研究,诸如混杂系统在路径干扰