基于Delta算子模型的时滞系统故障检测滤波器

2012-09-07 01:35张端金管莉莉
郑州大学学报(工学版) 2012年2期
关键词:时滞算子残差

张端金,孟 姗,郭 皓,管莉莉

(郑州大学信息工程学院,河南郑州450001)

0 引言

由于在实际工程中,如网络、环境、电力等系统中广泛存在着时滞现象,因而,研究时滞系统的故障检测具有重要的理论价值和现实意义,引起了学者的高度重视.Nader等[1]研究了连续时滞系统的故障检测和分离方法,所设计的滤波器保证了故障信号和残差信号满足H-infinity范数要求.Wang等[2]利用线性矩阵不等式方法,给出了离散时滞系统的鲁棒故障检测滤波器设计方法.Zhang等[3]讨论了含有丢包和时延的网络系统故障检测.李娟等[4]利用无时滞转换方法,完成了基于降维状态观测器的离散时滞系统故障诊断的研究.

概括地讲,现有的时滞系统的故障检测滤波器设计均是针对连续系统或离散系统分别设计的.当传统移位算子描述的离散系统逼近连续系统时,离散系统的所有极点位于稳定边界处,在有限字长较小的计算机中实现时,产生较大的量化误差和极限环振荡等问题.由此笔者采用Delta算子方法进行故障检测的研究.

Delta算子作为一种新的离散化方法,避免了高速采样时产生的病态条件问题,而且可将连续时滞系统和离散时滞系统归入统一框架下.此外,Delta算子系统的采样周期是显示参数,便于观察和分析不同采样周期下控制系统的性能,它的有限字长特性、系数灵敏度等也均优于传统移位算子.因而,Delta算子方法在系统控制和信号处理方面不断取得新的研究进展[5-7].

笔者针对具有范数有界的状态时滞系统,基于已有的鲁棒故障检测滤波器[8-9],给出Delta算子方法的设计过程和仿真举例.

1 系统描述

首先给出文中标记:Rn表示n维欧氏空间;R2n×2n表示2n×2n维实矩阵集;I表示适当维数的单位矩阵;上标T表示矩阵转置;*表示对称矩阵中的对称项.

Delta算子的定义为[6]

式中:Ts为采样周期,当Ts=0时为连续系统,Ts≠0时为离散系统.

考虑系统发生执行器故障,Delta算子描述的离散线性时滞系统:式中:x(k)∈Rn为状态变量;d(k)∈Rm为未知输入;f(k)∈Rs为故障信号;y(k)∈Rp为测量输出;u(k)∈Rq为控制输入;τ为时滞常数;Φ(φ)为初始状态序列.设u(k),d(k),f(k)均是能量有界的信号;Aδ,A1δ,Bδ,Dδ,Fδ,Cδ,Eδ,Gδ均是具有适当维数的已知实常数矩阵.

假设系统(2)渐近稳定,则根据(2)构造的Delta算子时滞系统故障检测滤波器如下所示:

由此,鲁棒故障检测滤波器的设计问题可转化为如下问题,即在零初始条件下,设计形如式(3)的滤波器,使增广系统式(4)满足渐近稳定和如下的性能指标:

其中,

利用所得残差信号r(k)得到残差评价函数:

阀值取为

式中:k0是初始评价时刻;W为评价步数.

通过比较J和Jth的值达到检测有无故障发生的目的:当J>Jth时,有故障发生,发出警报;当J≤Jth时,无故障发生.

2 故障检测滤波器设计

引理1 对于任意非零的S(k)∈l2[0,∞],给定常数λ>0,如果存在正定对称矩阵G∈R2n×2n和H∈R2n×2n使线性矩阵不等式(8)成立,则增广系统式(4)渐近稳定且满足性能指标式(5).

证明:首先建立增广系统式(4)在S(k)≡0时的渐近稳定性条件,选取如下Lyapunov泛函:

那么

其中,

利用Schur补引理,可知引理1中的(8)保证Γ<0,因此由Lyapunov稳定性定理可知增广系统(4)是渐近稳定的.

为了证明增广系统(4)也满足指标(5),设系统初始条件为零,则

考虑下面的性能指标:

又因为增广系统(4)是渐近稳定的,所以可以得到 V(ξφ(k))|k→∞→ 0,则

结合式(4)可得

式中:β(k)= [ξT(k)ξT(k- τ)ST(k)]T,∏如式(8)所示.对任意非零的S(k)∈l2[0,∞],由式(8)可知J<0,所以式(5)成立,引理1得证.

下面给出Delta算子离散时滞系统鲁棒故障检测滤波器存在的充分条件.

定理1 给定常数λ>0,如果存在对称正定矩阵M,N,V,H1,H3,一般矩阵Q,R,X,U,H2,¯Dδ满足线性矩阵不等式(9)和(10),则在零初始条件下和对任意非零的S(k),增广系统(4)是渐近稳定的且满足性能指标(5),此时满足要求的故障检测滤波器参数矩阵由式(11)给出.

证明:利用Schur补引理,可推出下式与式(8)等价,

其中,α1=-G+H,α2=- λ2I.

将G,F=G-1和H进行如下分解:

式中:G1∈Rn×n,G3∈Rn×n,F1∈Rn×n,F3∈Rn×n,H1∈Rn×n,H3∈Rn×n,均是对称正定矩阵.设可逆矩阵:

从而得到式(9).

然后将式(14)代入滤波器的传递函数:

结合式(13),可得

从而可将滤波器的参数矩阵写成式(11).

另外,由G的正定性可知:

利用Schur补引理和式(13)可得式(10).定理1得证.

注1:从以上分析可得,通过求解线性矩阵不等式(9)和(10),即可得到鲁棒故障检测滤波器的参数矩阵式(11).但式(9)和式(10)不仅是关于矩阵变量,还是关于λ的矩阵不等式.为了解决这个问题,借助Matlab LMI工具箱,求解以下凸优化问题:

得到λ的最优值,保证残差信号和故障信号间的误差最小,同时使残差信号对控制输入和未知输入信号具有最优衰减水平.

3 数值仿真

考虑一个二阶时滞离散系统,采样周期Ts=0.005 s.系统的参数矩阵如下所示:

0.3 ,Gδ=1.302,τ=4,假设控制输入u(k)的幅值为0.1的正弦信号,未知输入d(k)为幅值不大于0.5的随机信号,故障信号

利用Matlab仿真环境求解式(9)和(10),得到滤波器参数矩阵:

仿真时 k=0,1,…,600,由式(7)计算可得阀值,Jth=0.794 8,从仿真结果可以得出:

即故障出现一步后被检测出.上述结果证明了利用该方法进行故障检测的有效性和较高灵敏度.

图1和图2分别给出了无故障和有故障情况下残差信号的大小.图3给出了残差评价函数变化.

图1 无故障时的残差信号Fig.1 Residual without fault signal

从图1中可以看出,无故障时残差信号较小,基本在0.1以内.k=200时发生故障,造成图2中残差信号明显增大.从图2还可以看出,这种故障检测滤波器具有鲁棒性.

图2 有故障时的残差信号Fig.2 Residual with fault signal

从图3可以看出,故障发生后残差评价函数明显且迅速增大,保证可以有效和较快地检测出故障信号.

图3 残差评价函数变化曲线Fig.3 Evolution of residual evaluation

4 结论

笔者给出了基于Delta算子的时滞系统故障检测算法.采用Delta算子描述离散时滞系统,当采样周期趋于零时,Delta算子模型趋于原来连续模型,避免了出现病态条件,显著提高了残差产生器的鲁棒性.仿真结果表明,故障信号可有效且较快地被检测出来,证明了该方法的可行性.

[1]NADER M,KHASHAYAR K.Fault detection and isolation of distributed time-delay systems[J].IEEE Trans on Automatic Control,2009,54(11):2680-2685.

[2]WANG Dong,WANG Wei,SHI Peng.Robust fault detection for switched linear systems with state delays[J].IEEE Trans on Systems,Man,and Cybernetics-Part B,2009,39(3):800-805.

[3]ZHANG Yong,FANG Hua-jing,FU Sheng.Observer-based fault detection for nonlinear networked systems with random packet dropout and time-varying delay[C]∥ Proc of the 29th Chinese Control Conference,Piscataway,NJ,United States:IEEE Computer Society,2010:4278-4282.

[4]李娟,唐功友.基于观测器的离散时滞系统的故障诊断[J].控制与决策,2010,25(8):1220-1224.

[5]张端金,王忠勇,吴捷.系统控制和信号处理中的Delta算子方法[J].控制与决策,2003,18(4):385-391.

[6]MIDDLETON R H,GOODWIN G C.Improved finite word length characteristics in digital control using delta operator[J].IEEE Trans on Automatic Control,1986,31(11):1015-1021.

[7]MIDDLETON R H,GOODWIN G C.Digital Control and Estimation [M].London:PrenticeHall Inc,1990:41-51.

[8]王红茹,王常虹,高会军.时滞离散不确定系统的鲁棒故障检测[J].电机与控制学报,2006,10(5):503-507.

[9]王红茹,王常虹,高会军.时滞离散LPV系统的鲁棒故障检测与分离[J].哈尔滨工业大学学报,2007,39(9):1352-1355.

猜你喜欢
时滞算子残差
与由分数阶Laplace算子生成的热半群相关的微分变换算子的有界性
斜对角算子矩阵的Weyl谱
基于残差-注意力和LSTM的心律失常心拍分类方法研究
基于双向GRU与残差拟合的车辆跟驰建模
随机时滞微分方程的数值算法实现
变时滞间隙非线性机翼颤振主动控制方法
基于残差学习的自适应无人机目标跟踪算法
Domestication or Foreignization:A Cultural Choice
基于深度卷积的残差三生网络研究与应用
不确定时滞奇异摄动系统的最优故障估计