APP下载

基于一种分数时滞状态闭环泛函的量化采样系统稳定性分析

2020-08-26陈刚陈云王炜李亚琦

关键词:时滞定理区间

陈刚,陈云,王炜,李亚琦

(1.湖南工业大学电气与信息工程学院,湖南株洲,412007;2.电传动控制与智能装备湖南省重点实验室,湖南株洲,412007)

采样系统广泛应用于数字控制系统和网络控制系统,并随着基于事件触发和自触发控制技术的出现,采样系统的研究已经成为当今控制领域最热门的方向之一[1-2]。在实际应用中,1个系统的稳定与否是决定整个系统能否正常运行的前提保障,对系统的稳定性进行研究具有重要的理论意义与实际意义[3]。为了分析采样系统的稳定性,有如下3种基础分析方法:将采样系统转化为离散系统的离散系统模型方法[4-5];将采样系统转化为跳变系统的脉冲系统方法[6];基于李亚普诺夫泛函并将采样系统转化为时滞系统的输入时滞方法[7-8]。为了放松泛函中矩阵正定的限制,SEURET等[9]基于以上3种方法,结合混沌动态系统方法与脉冲系统方法,提出了一种依赖转换泛函状态的闭环泛函分析方法。在此基础上,SEURET[10]给出了1 个基于Wirtinger 积分不等式的稳定性判据,获得了更大的稳定采样区间上界。LEE等[11]采用基于自由权矩阵积分不等式的时滞相关不连续李亚普诺夫方法研究了采样系统稳定性,再一次改进了采样系统的稳定性判据。在文献[4-11]的方法中,都只关注了从tk到t 的采样区间信息,却忽视了从t 到tk+1的采样区间信息。ZENG等[12]提出了2个采样区间都考虑的新闭环泛函,得到了接近理论分析值的稳定性判据。然而,以上研究仿真实例结果与由经典特征值分析法所得结果相比,仍存在一些不足。另一方面,在数字控制系统与网络控制系统中,信号通过网络传输之前需要经过量化器处理,量化器可以看成一类非线性映射,将实数集的不同段映射到不同水平。由于字长有限,量化误差不可避免且降低系统性能[13-14]。长期以来,对量化的研究一直是人们关注的焦点[15-19]。利用离散系统模型,HOU 等[15]研究了量化采样系统的稳定性问题。ISHII 等[16-17]给出了量化采样系统稳定的无记忆量化器的设计方法和随机算法,但所使用的处理量化误差的方法仅仅关注了系统稳定性问题,没有考虑系统的性能。为解决此问题,FU等[18]提出了量化误差可以用扇区有界的不确定性或非线性处理,这样,鲁棒控制分析方法可用于研究量化误差对采样系统的影响。基于FU 等[18]提出的处理量化误差的方法,SHAO 等[19]通过构造了1个分段可微的李雅普诺夫泛函,得出了量化采样系统的指数和渐进稳定性判据,但所使用的时滞分析方法保守性很大,需进一步改进。为此,本文作者对量化采样系统的稳定性问题进行研究。首先,在采样区间内,引入1种分数时滞状态空间模型,然后构造1 个充分利用从tk到t-λμ(t),从tλμ(t)到t 和从t 到tk+1的区间状态信息的全新闭环泛函。结合二阶广义自由权矩阵积分不等式和含自由权矩阵的恒零等式,得到采样系统有量化和无量化这2个稳定性判据。最后,通过数例仿真对比其他文献结果证明这2个稳定性判据的有效性和优越性。

1 问题描述

定义如下符号:上标T 和-1 分别表示矩阵或矢量的转置和求逆;ℝn和ℝn×m分别表示实数域的n维向量空间和n×m 维的矩阵空间;矩阵P>0 表示矩阵P 为对称正定矩阵;0 和I 分别为零矩阵和单位矩阵;在块矩阵中,∗表示对称项;P 为矩阵;Sym{P}表示P+PT;diag{b1,…,bn}代表块对角矩阵;col{b1,…,bn}表示一组列向量,其中,b1,…,bn代表任意矩阵或向量。

考虑如下量化采样系统:

式中:x(t) ∈ℝn,为系统状态向量;A 和B 为有合适维度的系统矩阵;状态量化控制输入u(t) ∈ℝm;K为系统控制增益矩阵;q(x(tk))表示量化器x(tk)的量化值。

采样瞬间tk+1和tk满足tk+1-tk=hk∈[h1,h2],且h2≥h1>0,其中,h1和h2分别代表采样区间最上界和最下界。

量化器是对称的,qi(-xi(tk))=-qi(xi(tk)),可描述为

其量化级数集合υ为

其中:ρ为量化密度且满足0<ρ<1,初始量化υ0>0。

式(2)中的量化器q(⋅)可以定义为

与文献[19]中结果类似,当xi(tk)≥0时,有

当xi(tk)<0时,有

所以,量化器可以描述为

其中,g(x(tk))为非线性函数并满足

量化采样系统模型可以改写成

当系统没有状态量化时,无量化采样系统模型为

定义1:分数时滞状态的采样系统状态定义为x(t-λμ(t)),其 中,λ ∈(0,1),t - λμ(t)∈[tk,t),μ(t) =t - tk, μ˙(t) = 1。

基于以上定义,可以得出如下状态空间模型:

注释1:这种状态空间模型与时滞系统中的状态分割思想类似,但不同之处在于这里μ˙(t) = 1,不能直接在时滞系统中使用。但在量化采样系统的稳定性分析中,计算量不复杂和在构建的泛函中增加了状态信息x(t-λμ(t)),这使得其能够很好地得到应用。

引理1:给出正定对称矩阵M ∈ℝn×n和任意矩阵Di∈ℝn×k(i=1,2,3),对于任意可导函数x(⋅) ∈[a,b]→ℝn, Ψj∈ℝn×k, Ψ3j∈ℝn×k(j=1, 2) 和向量ζ ∈ℝk,有如下不等式成立:

其中:

注释2:引理1 是基于文献[12,20-21]所得,是一种二阶广义自由权矩阵积分不等式。这种积分不等式的优势在于估计积分项时不需要使用逆凸技术,与文献[10]中的积分不等式相比,分析系统的稳定性效果更好。

2 主要结果

在给出主要定理之前,有如下定义:

定理1:给定标量h1,h2和λ ∈(0,1),存在矩阵P>0,R1>0,R2>0和R3>0,且存在具有合适维数的任意矩阵S1,S2,Z1,Z2,Z3,Q,G,M1,M2,M3,H1,H2,H3,H4,H5和H6,对角矩阵N>0,对于hk∈{h1,h2},有线性矩阵不等式

成立,则系统(10)渐近稳定。式中:

证明:首先构造含分数时滞状态的泛函:

其中:

其中:

用引理1估计上面3个积分项,可得:

然后,根据式(9)可得

其中:L=diag{l1,l2,…,ln} 。

类似文献[12],有如下零矩阵等式:

综上所述,可得

运用Schur补定理,若式(14)和(15)成立,则有Ο1(hk)≤0和Ο2(hk)≤0,即V˙(t) ≤0,故量化采样系统(10)渐近稳定。证明完毕。

注释3:定理1 提供了1 个量化采样系统稳定性判据。与文献[19]中方法相比,本文构建了含更多状态信息的泛函以及使用了更紧密估计泛函的积分不等式方法。

注释4:由泛函的定义可知,与文献[12]相比,本文泛函引入了分数时滞状态,状态区间变成了从tk到t-λμ(t),从t-λμ(t)到t和从t到tk+1,这使稳定性判据的保守性得到减少。为进一步突出本文方法优于相关文献中的方法,考虑采样系统无量化的情形,给出如下定理。

定理2:给定标量h1,h2和λ ∈(0,1),存在正定对称矩阵P>0,R1>0,R2>0 和R3>0,且存在具有合适维数的任意矩阵S1,S2,Z1,Z2,Z3,Q,M1,M2,M3,H1,H2,H3,H4,H5和H6,对 于hk∈{h1,h2},有线性矩阵不等式

成立,则系统(11)渐近稳定。式中:

其他变量与定理1中的定义一致。

证明:在向量ξ(t)中删除g(x(tk))项,并在其对应的ei减少一维选择泛函时去除(tk+1- t)(t -tk)[gT(x(tk))Gg(x(tk))]项,其证明过程与定理1的证明过程相似。

注释5:邵汉永等[3]提出在构建泛函时加入状态积分项有利于改善采样系统的稳定性判据,因此,对于一些基于采样的控制问题,可在本文的泛函基础上扩展一些状态积分项,如2[x(t) -和。

3 仿真实例

例1考虑量化采样系统模型(10),其中,量化参数分别为。

给出λ ∈{0.000 1, 0.010 0, 0.020 0, …, 0.990 0,0.999 9} 和采样区间下界h1=10-5。由文献[19]和根据定理1 所得的采样区间上界h2分别为1.121 5 和3.076 4,可见由本文方法所得结果相比文献[19]中结果提高了174%,这说明本文所获得的量化采样系统渐进稳定性判据的保守性小。

不同的λ 所得的最大采样区间上界h2如图1 所示。由图1 可知:当λ=0.06 时,h2取最大值3.076 4,这同时也说明分数时滞状态的闭环泛函方法具有一定的可行性。

图1 例1中不同λ下的采样区间上界h2Fig.1 Upper bound h2 of sampling interval under different λ in Example 1

为了进一步说明本文方法的优越性,考虑如下无量化采样系统仿真实例。

例2考虑无量化采样系统模型(11),其中,

给出λ ∈{0.000 1, 0.010 0, 0.020 0, …,0.990 0,0.999 9} 和采样区间下界h1=10-5。表1 所示为根据本文定理2 和文献[10-12]以及传统特征值分析法所得的采样区间上界h2。由表2可知:与文献[10-12]中结果对比,由本文定理2 所得的h2较大,可知本文提出的基于分数时滞状态闭环泛函方法具有明显的优越性。值得注意的是,本文所得采样区间上界已略大于理论值,这也说明该例采用特征值分析法所得精度具有一定的保守性。

表1 例2中采样区间上界h2Table 1 The maximum upper bound of h2 in Example 2

取λ ∈(0,1)所得最大采样上界h2如图2 所示。由 图2可知:当λ=0.51~0.53 时,h2取最大值3.270 8。

图2 例2中不同λ下的采样区间上界h2Fig.2 Upper bound h2 of sampling interval under different λ in Example 2

4 结论

1)研究了量化采样系统渐进稳定性问题。基于一种分数时滞状态空间,构建了1个全新的闭环泛函,用1个二阶广义自由权积分不等式估计了这个泛函的导数,同时加入了一些含自由权矩阵的恒零等式,推导出基于线性矩阵不等式的有量化和无量化采样系统稳定性判据。

2)在数值实例仿真中,通过求解线性矩阵不等式,发现这2 个渐进稳定性判据具有明显的优势。

3)本文方法可用于解决其他基于采样控制的控制问题,如基于采样的网络系统同步控制和基于采样的网络系统H∞控制问题。

猜你喜欢

时滞定理区间
你学会“区间测速”了吗
J. Liouville定理
聚焦二项式定理创新题
随机时滞微分方程的数值算法实现
变时滞间隙非线性机翼颤振主动控制方法
全球经济将继续处于低速增长区间
A Study on English listening status of students in vocational school
不确定时滞奇异摄动系统的最优故障估计
中立型随机时滞微分方程的离散反馈镇定
区间对象族的可镇定性分析