1. 引言
随着复杂系统的普及和应用,复杂过程对自动控制系统的性能要求愈发严苛,其故障发生频率也呈上升趋势。故障是引起系统整体性能下降的异常现象,涵盖了过程故障、传感器故障、执行器故障以及网络连接失效等多种情形[1]。若故障未能得到及时有效的处理,可能会带来一系列安全隐患[2]。近年来,随着复杂系统尤其是脉冲系统在实际应用中的不断扩展,如何有效地进行故障检测已成为一个亟需解决的问题。脉冲现象在现代工程和生物系统中普遍存在,如无线电工程、生物系统和神经网络等。脉冲系统的动态行为通常表现为离散时间的脉冲信号,脉冲系统因其在实际应用中的重要性而得到了广泛的研究,例如脉冲系统的指数稳定性[3]、输入状态稳定性[4]、滤波问题[5]等。然而,针对脉冲系统的分布式故障检测问题的研究仍然较为有限,尤其是在离散时间脉冲系统中的故障检测问题[6],依然面临诸多挑战。离散时间脉冲系统由于其周期性的脉冲输入与输出特性,往往导致系统在不同的时间段表现出不同的动态行为,这给故障检测带来了复杂性和挑战。在实际应用中,离散时间脉冲系统广泛应用于通信网络、自动化控制和生物医疗等领域,如智能电网中的负载控制、无人机的状态监测等。因此,如何准确、及时地检测脉冲系统中的故障,特别是分布式故障,是确保系统长期稳定运行的关键。
过去几十年,针对独立系统的故障检测发展了多种方法,主要分为基于模型和数据驱动两类。基于模型的方法包括基于观测器、奇偶方程和参数估计等,依赖于通过历史数据或基本原理构建的系统流程模型,通过将指示故障状态的残差信号与预定义的阈值进行比较,从而实现故障检测并作出决策[7]。而数据驱动方法则通过分析数据模式和异常,无需依赖先验模型即可实现故障检测。通过从历史数据中提取特定的系统属性,进而用于设计控制器或过滤器,以满足不同的故障检测需求[8]。常见基于数据的故障检测方法包括主成分分析(Principal Component Analysis, PCA)、子空间方法以及支持向量机(Support Vector Machine, SVM)等。近年来,利用动态供应率[9]和基于过程动力学耗散特性[10]的故障检测方法逐渐兴起[11]。然而,由于非线性系统的耗散性难以直接从模型推导,基于数据提取耗散性的技术[8] [12]也得到了发展。早在20世纪70年代,Willems提出了耗散性理论[8],后经Hill和Moylan [13]扩展,成为研究复杂系统尤其是稳定性问题的重要工具。耗散性描述系统内能量存储的增长不超过外部输入能量,通常由存储函数和供应率表征,由于存储函数通常是Lyapunov函数的自然候选,一旦满足耗散性,稳定性问题也往往迎刃而解[14]。此外,对于大规模过程系统,集中式故障检测方法面临显著挑战,而分布式故障检测提供了更优的解决方案。通过在每个单元部署本地故障检测系统,并与其他单元协同工作,可实现故障的识别与定位。与集中式方法相比,分布式故障检测具备更强的可扩展性、容错性和可靠性。
综上,尽管基于模型的故障检测技术和耗散性理论均已取得丰富的研究成果,但为了增强分布式脉冲系统故障的可检测性,基于混合耗散不等式约束优化的故障检测方法仍具有重要的研究价值。本文的主要贡献如下:(1) 针对离散时间脉冲系统提出了一种基于故障混合敏感性和干扰混和鲁棒性的分布式故障检测方法;(2) 基于混合矢量耗散性概念将上述约束转化为混合耗散性条件,避免了传统方法中对这些约束的分离处理,使得提出的分布式故障检测方案能够达到预期的性能;(3) 通过求解同时满足上述约束的混合耗散不等式优化问题,离线获得故障检测观测器参数,并应用于在线故障检测。
2. 问题描述
2.1. 系统模型和观测器设计
记
,给定脉冲序列
,考虑下列离散时间脉冲系统:
(1)
其中,
和
是系统的状态和测量输出;
和
是子系统i连接其他子系统时的互连输入、输出;
和
是系统故障和干扰信号;
,
,
,
,
和
都是已知的系数矩阵。这里将脉冲子系统间的互连输入定义为
和
。
表示子系
统i和j的连接情况。当子系统i和j相连接时,
;否则,
。记
和
,脉冲系统的网络拓扑可以表示为:
(2)
其中,
是拓扑矩阵[15]。
为了检测故障信号
,现设计下列无外部干扰影响的故障检测观测器:
(3)
其中,
和
是待确定的估计增益矩阵。此时,得到残差输出为:
(4)
其中,
和
也都是待确定的残差增益矩阵。
2.2. 脉冲误差动态
为了保证观测器设计中状态估计问题的适定性,假设矩阵
和
都是可逆矩阵,其中分块对角矩阵
,
。定义脉冲子系统的误差动态
和
,给出下列引理:
引理2.1 [9] 记
,
,那么等式
和
成立。其中,矩阵
且
。
此时,得到下列子系统i的脉冲误差动态:
(5)
(6)
其中
表示不包括单元i的集合
,且
因此,残差输出式(4)可以改写为:
(7)
本研究拟解决离散时间线性脉冲分布式系统的故障检测问题,所设计的分布式故障检测观测器应该使得残差输出只对脉冲系统故障敏感,而对外部干扰不敏感,相当于同时满足:
(1) 故障混合敏感性
在干扰
、
的零初始条件下,故障
、
对残差
、
的影响最大化,即:
(8)
其中,
且标量
。
(2) 干扰混和鲁棒性
在故障
、
的零初始条件下,干扰
、
对残差
、
的影响最小化,即:
(9)
其中,
且标量
。
鉴于上述需求,设计下列包括评估函数
和故障隔离阈值
的残差评估阶段:
(10)
其中,
。因此,子系统故障信号
可以通过比较残差估计
和阈值
来检测,即:
(11)
3. 混合耗散性分析
为了设计出满足需求的故障检测观测器,本节通过转化故障混合敏感性(式(8))和干扰混合鲁棒性(式(9))约束的条件,制定基于混合耗散不等式约束的优化问题。对于离散时间脉冲系统的误差动态(5)~(6),可以将上述条件转化为混合矢量耗散性条件。这里首先引入混合适量供应率和混合矢量耗散性定义。
定义3.1 (混合矢量供应率[16])对于具有输入/输出对
,
脉冲系统
,存在函数
,其中
,
,
,
,且满足
,
。如果函数
对于系统
中的所有输入输出对
是局部分量可积的,函数
对于系统
中的所有输入输出对
是局部分量可求和的,即分别满足和
,则函数
被称为混合矢量供应率。
定义3.2 (混合矢量耗散[16])对于具有输入/输出对
,
脉冲系统
,如果存在非负连续的存储函数向量
,以及耗散矩阵
1,使得对于任意的
,都有下列混合矢量耗散不等式成立:
则脉冲系统
相对于混合矢量供应率
是混合矢量耗散的。
对于故障混合敏感性而言,无干扰的误差动态(5)~(6)相对于混合矢量供应率
是混合矢量耗散的,其中
,
。对于干扰混和鲁棒性而言,无故障信号的误差动态(5)~(6)相对于混合矢量供应率
是混合矢量耗散的,其中
,
。
3.1. 基于混合耗散的故障敏感性设计
为了获取脉冲系统的故障检测观测器增益,基于混合矢量耗散性理论,得出下列定理。
定理3.1 如果存在矩阵族
,
,半正定矩阵
,
,正定矩阵
,正标量
,以及耗散矩阵
,使得下列线性矩阵不等式成立:
(12)
其中
则称无外部干扰的脉冲误差动态(5)~(6)相对于混合矢量供应率
是混合矢量耗散的。其中,
,
,
,且符号*是对称分块矩阵中对称项的省略表示。
此时,可获得故障检测观测器增益:
其中,通过分解矩阵
和
得到残差增益矩阵
和
。
证明. 假设外部干扰
,同时定义Lyapunov函数
。当
时,有
这里
,且
。其中
记
,
,则
(13)
这里可以通过确定
,从而使得
。因此,根据舒尔补引理[17],
等价于:
(14)
在式(14)两边分别乘上
及其转置进行同余变换,有
(15)
分别记
,
。因此,可以得到式(12)的左式以及
(16)
通过叠加式(16)中单个混合矢量耗散性条件,可以得到下列混合矢量耗散条件:
(17)
此外,在
时刻下,有
这里
,且
。其中
记
,
。同
分析得出,
等价于:
(18)
这里,记
,
。因此,可以得到式(12)的右式以及混合矢量耗散条件:
(19)
因此,根据混合矢量耗散定义3.2以及混合矢量耗散条件式(17)和式(19),无外部干扰的脉冲误差动态(5)~(6)相对于混合矢量供应率
是混合矢量耗散的。至此,证明完毕。 □
通过定理3.1的证明,基于混合矢量耗散性的概念将故障混合敏感性约束转化为混合耗散性条件,为此可通过该条件得到下列定理中的耗散不等式优化问题,并求解获得观测器参数。
定理3.2 假设存在矩阵族
,
,对称矩阵
,
,正定矩阵
,正标量
,以及耗散矩阵
。如果基于混合耗散不等式约束的优化问题:
(20)
有可行解,则无外部干扰的脉冲误差动态(5)~(6)满足故障混合敏感性约束(8)。
证明. 在式(17)和式(19)两边同时左乘
,有
令
。由混合矢量供应率
,
和
,有
记
,
,有:
(21)
考虑初始条件
和式(21),对任意时刻T,有
(22)
通过求解不等式约束优化问题(式(20)),故障敏感性条件得到满足。至此,证明完毕。 □
3.2. 基于混合耗散的干扰混合鲁棒性设计
为了实现分布式故障检测方案能够区分故障信号和外部干扰,这里采用干扰混和鲁棒性设计来衰减外部干扰的影响。因此,定理3.3和定理3.4给出了可行性条件。
定理3.3 如果存在矩阵族
,
,半正定矩阵
,
,正定矩阵
,正标量
,以及耗散矩阵
,使得下列线性矩阵不等式成立:
(23)
其中
则称无故障信号的脉冲误差动态(5)~(6)相对于混合矢量供应率
是混合矢量耗散的。其中,
,
。
此时,可获得故障检测观测器增益:
其中,通过分解矩阵
和
得到残差增益矩阵
和
。
证明. 参考定理3.1的论证过程即可得到该结果,故这里省略证明。 □
定理3.4 假设存在矩阵族
,
,对称矩阵
,
,正定矩阵
,正标量
,以及耗散矩阵
。如果基于混合耗散不等式约束的优化问题:
(24)
有可行解,则无故障信号的脉冲误差动态(5)~(6)满足干扰混合鲁棒性约束(9)。
证明. 参考定理3.2的论证过程即可得到该结果,故这里省略证明。 □
3.3. 同时满足故障混合敏感性和干扰混合鲁棒性设计
上述过程分别推导了故障混合敏感性约束和干扰混合鲁棒性约束的混合耗散性条件,为了同时满足这些约束,以通过获取观测器增益进行分布式故障检测,现提出定理3.5。
定理 3.5 假设存在矩阵族
,
,对称矩阵
,
,正定矩阵
,正标量
和
,以及耗散矩阵
。如果基于混合耗散不等式约束的优化问题:
(25)
有可行解,则脉冲误差动态(5)~(6)同时满足故障混合敏感性和干扰混和鲁棒性约束。
证明. 结合定理3.1~3.4即可完成该定理的证明。 □
4. 数值仿真
考虑带有两个系统单元的离散时间脉冲系统
(见式(1)),给定系数矩阵:
借助CVX工具箱[18],通过求解定理3.5基于混合耗散不等式约束优化问题的线性矩阵不等式[19],得到:
以及相应的观测器参数,见表1和表2:
Table 1. Fault detection observer 1 parameters
表1. 故障检测观测器1参数
参数 |
|
|
|
|
|
|
值 |
|
|
|
|
0.045 |
0.053 |
Table 2. Fault detection observer 2 parameters
表2. 故障检测观测器2参数
参数 |
|
|
|
|
|
|
值 |
|
|
|
|
0.028 |
0.046 |
为了阐明仿真结果,给定初始状态,时间步
,移动窗口
。脉冲序列
,此时脉冲动态仅存在于
时刻。考虑系统故障信号和外部干扰:
基于此,对于系统1和系统2中有故障和无故障发生的残差评估函数分别如图1和图2所示。通过计算得到,故障隔离阈值
和
。从图中可以看出,当
时,
有
和
。根据提出基于混合耗散不等式约束优化的故障检测方法,故障信号能够在时间步
处被检测出。因此,该方法针对于分布式脉冲系统的故障检测策略是有效的。
Figure 1. Residual evaluation of fault detection observer 1
图1. 故障检测观测器1的残差评估
Figure 2. Residual evaluation of fault detection observer 2
图2. 故障检测观测器2的残差评估
为了说明提出方法的优越性,接下来将其与已有的故障检测方法进行比较。根据上述参数设置,Li等人[20]采用了一种不同类型滤波器的故障检测问题,相应的滤波器参数和残差增益如表3和表4所示。
Table 3. Filter parameters
表3. 滤波器参数
参数 |
|
|
|
|
值 |
|
|
|
|
Table 4. Residual gains
表4. 残差增益
参数 |
|
|
|
|
值 |
|
|
0.231 |
0.347 |
通过计算,Li等人提出方法的故障阈值是
。如图3所示,该故障检测策略仍然有效,但当
时才能检测到故障。因此,本章提出基于混合耗散不等式约束优化的策略对于脉冲系统的分布式故障检测问题更有效。
Figure 3. Residual evaluation of the literature [20]
图3. 文献[20]的残差评估
5. 总结
本文提出了一种适用于线性离散时间脉冲系统的分布式故障检测方案。设计的分布式故障检测观测器能够使残差对故障信号表现出混合敏感性,同时对外部干扰具有混合鲁棒性。将这些要求转化为混合耗散性条件,并通过求解基于耗散不等式约束的优化问题,确定了观测器参数和残差生成器增益。通过数值仿真验证了该故障检测策略的有效性。未来的研究将聚焦于故障检测中最小传感器节点的确定问题,并探讨针对系统随机发生故障的检测方法。
NOTES
1耗散矩阵。
。满足非负、非奇异、半稳定和列次随机(
)的条件。