-
摘要: 作为表征控制系统故障诊断能力的属性, 故障可诊断性揭示了故障诊断深层次的内涵.将可诊断性分析纳入控制系统与诊断方案的设计环节, 可以从根本上提高系统对故障的诊断能力, 为研究故障诊断提供新的思路.本文分别从可诊断性的内涵、研究现状以及潜在发展趋势三个角度系统地对可诊断性进行分析.首先, 从定义、影响因素、与已有概念的关系以及应用四个方面剖析了控制系统可诊断性的内涵和研究意义.其次, 分别从可诊断性评价与设计两个方面对可诊断性的研究现状进行分析.最后, 通过对可诊断性已有成果进行总结归纳, 探讨了可诊断性研究存在的不足以及未来发展的趋势.Abstract: As a property describing fault diagnosis ability of control systems, diagnosability reveals deep insight into fault diagnosis.The fault diagnosis ability can be fundamentally improved by incorporating diagnosability analysis into the designs of control systems and diagnosis programs, which provides a new way for the study of fault diagnosis.To systematically analyze the diagnosability, the connotations, research status and potential research tendencies of diagnosability are discussed.First of all, the concept and research significance of diagnosability are summarized from four sides, definition, influence factors, relationships between diagnosability and other concepts, and applications.Moreover, the current research status of diagnosability is discussed in terms of diagnosability evaluation and design.Finally, the deficiency and prospects of diagnosability study are predicated based on existing results.
-
广义系统[1]的研究是从20世纪70年代[2]开始的, 在近40年的历史中广义系统理论研究得到了迅速发展, 并取得了一系列的丰硕成果[3-5].广义系统理论已成为现代控制理论中一个独立的研究领域, 这些研究成果主要集中在广义定常系统[6]、广义周期时变系统[7-8]和广义时变系统[9-10].随着科学技术的发展和工程技术的需要, 广义时变系统时域控制研究也受到了广泛的关注.
时域稳定性最早是由Kamenkov在文献[11]中提出来的, 至今已有很多可观的成果.文献[12-15]提出了时域稳定和时域有界的定义, 并对一般线性时变系统的时域稳定进行研究.文献[16-18]给出了带脉冲的线性时变系统的时域稳定的定义, 并利用 $L_{2}$ 增益给出时域稳定的判定定理.文献[19-22]探讨了带有干扰的参数不确定性系统时域稳定及时域控制的问题, 文献[23-24]利用微分矩阵不等式研究了一类带有跳变的线性时变系统的时域稳定. Ambrosino等研究了状态依赖时变脉冲动力系统的时域稳定性问题[25], 并在文献[26-29]中对时间依赖和状态依赖脉冲动力系统的时域稳定进行了对比和分析.文献[30-31]利用分段线性化将时变矩阵转化为一组标准的矩阵不等式, 解决了小区间内时变矩阵不等式的求解问题.时变脉冲系统中的研究方法多是时变系统与正常脉冲系统的自然推广, 文中所研究的广义时变脉冲系统不仅是时变脉冲系统的推广, 而且还考虑到广义系统自身的脉冲效应, 因此给研究和实验带来了一定的困难.
本文主要研究状态依赖广义时变脉冲系统的时域稳定问题.在考虑广义系统自身无脉冲效应的前提下, 运用微分矩阵不等式方法给出了广义时变脉冲系统时域稳定的充分条件, 并设计了状态反馈控制器.最后根据分段线性化将小区间内广义时变矩阵不等式转化为广义时不变线性矩阵不等式, 应用Matlab LMI工具箱编程进行求解.
1. 问题描述
$\boldsymbol{R} ^{n}$ 表示 $n$ -维欧几里得空间, $\boldsymbol{R}^{+}$ 是正实数集, $R > 0$ 是对称正定矩阵. ${N}$ 是自然数. $J=[t_0, t_0 +T]$ 表示时间域, 其中, $T \in \boldsymbol{R}^{+}$ .
考虑如下形式的状态依赖广义时变脉冲系统:
$ \begin{align} \left\{ \begin{array}{l} E\dot{{\boldsymbol x}}(t)=A(t){\boldsymbol x}(t), \quad {\boldsymbol x}(t)\notin \mathcal{S}_k\\ {\boldsymbol x}^{+}_{k}(t)=A_{d, k}{\boldsymbol x}(t), \quad {\boldsymbol x}(t)\in \mathcal{S}_k\\ {\boldsymbol x}(t_{0})={\boldsymbol x}_{0}, \quad k=1, 2, \cdot\cdot\cdot, N \end{array} \right. \end{align} $
(1) 其中, ${\boldsymbol x}(t)\in \boldsymbol{R}^{n}$ 为状态向量; $A(\cdot):t\in \boldsymbol{R}^{+}\mapsto \boldsymbol{R}^{n\times n}$ 是连续的函数矩阵, $A_{d, k}\in \boldsymbol{R}^{n\times n}, k=1, 2, \cdot\cdot\cdot, {N} $ 是时不变矩阵; $E$ 为奇异矩阵; ${S}_{k}\subseteq \boldsymbol{R}^{n}, k=1, 2, \cdot\cdot\cdot, {N}$ 是单连通互不相交的跳变集合 $({\boldsymbol x}_{0}\notin \mathcal{S}_{k})$ .根据脉冲时刻定义如下跳变时间集合:
$ \mathcal{T}_{x(\cdot)}=\{t\in \boldsymbol{R}^{+}|{\boldsymbol x}(t)\in \mathcal{S}_{k}, k=1, 2, \cdot\cdot\cdot, {N}\} $
定义1.如果 ${\boldsymbol x}_{0}^{\rm T}E^{\rm T}R{\boldsymbol x}_{0}\leq c_{1}$ 推出 ${\boldsymbol x}^{\rm T}(t)E^{\rm T}\Gamma(t){\boldsymbol x}(t) < c_{1}$ , 对 $\forall t\in J$ , 则称系统 (1) 是对于 $(c_1, J, R, \Gamma(\cdot))$ 时域稳定的.其中 $c_{1}>0, R$ 是对称正定矩阵, $\Gamma(\cdot)$ 是定义在 $J$ 上的函数矩阵, $\Gamma(t_0) < R$ .
定义2.如果存在常数 $s$ 对于任意 $t\in J$ 使得 $\det (sE-A(t)) \neq 0$ , 则广义时变系统 $E\dot{{\boldsymbol x}}(t)=A(t){\boldsymbol x}(t)$ 是一致正则的.
系统 (1) 一致正则与Campbell意义下的解析可解是等价的, 广义时变系统的一致正则性和 $A(t)$ 的连续性保证了其解的存在唯一性, 下面的讨论假定系统是一致正则的.我们将系统作如下分解:
$ \begin{align*} &MEN\!=\!\left[\begin{array}{ccc} I&0\\0&0 \end{array}\right], MA(t)N\!=\!\left[\begin{array}{ccc} A_{11}(t)& A_{12}(t)\\A_{21}(t)& A_{22}(t)\end{array}\right]\\ &N^{-1}{\boldsymbol x}(t)=\left[\begin{array}{ccc}{\boldsymbol x}_{1}(t)& {\boldsymbol x}_{2}(t)\end{array}\right]\end{align*} $
其中, $M, N$ 均为可逆矩阵, 则系统 (1) 等价于如下系统:
$ \begin{align*} \begin{aligned} &\dot{{\boldsymbol x}}_{1}(t)=A_{11}(t){\boldsymbol x}_{1}(t)+A_{12}(t) {\boldsymbol x}_{2}(t)\\ &0 = A_{21}(t) {\boldsymbol x}_{1}(t)+A_{22}(t){\boldsymbol x}_{2}(t) \end{aligned} \end{align*} $
显然, 系统 (1) 对于任意初始条件无脉冲的充要条件是 $A_{22}(t)$ 可逆.
另外考虑一类带有外部干扰的状态依赖广义时变脉冲系统
$ \begin{align} \left\{ \begin{array}{l} E\dot{{\boldsymbol x}}(t)=A(t){\boldsymbol x}(t)+G(t){\boldsymbol\omega}(t), \quad {\boldsymbol x}(t)\notin \mathcal{S}_k\\ {\boldsymbol x}^{+}_{k}(t)=A_{d, k}{\boldsymbol x}(t), \quad {\boldsymbol x}(t)\in \mathcal{S}_k\\ {\boldsymbol x}(t_{0})={\boldsymbol x}_{0}, \quad k=1, 2, \cdot\cdot\cdot, {N} \end{array} \right. \end{align} $
(2) 外部干扰 ${\boldsymbol \omega}(t)$ 满足:
$ \begin{align} \begin{array}{l} \int_{t_0}^{t_0 +T}{\boldsymbol \omega}^{\rm T}(s){\boldsymbol \omega}(s){\rm d}s\leq d, \quad d\geq 0 \end{array} \end{align} $
(3) 定义3.如果 ${\boldsymbol x}_{0}^{\rm T}E^{\rm T}R{\boldsymbol x}_{0}\leq c_{1}$ 推出 ${{\boldsymbol{x}}^{\text{T}}}(t){{E}^{\text{T}}}\Gamma (t)\boldsymbol{x}(t) < {{c}_{2}}$ , 对 $\forall t\in J$ , 则称系统 (2) 是对于 $(c_1, c_2, {\boldsymbol \omega(t)}, J, R, \Gamma(\cdot))$ 时域稳定的.其中 $0 < c_{1} < c_{2}, R$ 是对称正定矩阵, $\Gamma(\cdot)$ 是定义在 $J$ 上的函数矩阵, $\Gamma(t_0) < R$ , 外部干扰 ${\boldsymbol \omega}(t)$ 满足式 (3).
2. 时域稳定性分析
本节分别对系统 (1) 和 (2) 给出时域稳定的充分条件.
定理1.对于系统 (1), 如果存在分段连续可微对称非奇异函数矩阵 $P(\cdot)$ 在 $J$ 上满足下列一组矩阵不等式, $\forall t\in J$ .
$ E^{\rm T}P(t)=P^{\rm T}(t)E\geq 0 $
(4a) $ A^{\rm T}(t)P(t)+P^{\rm T}(t)A(t)+E^{\rm T}\dot{P}(t) < 0 $
(4b) $ \begin{array}{l} A_{d, k}^{\rm T}E^{\rm T}P(t)A_{d, k}-E^{\rm T}P(t) < 0\\ \qquad {\boldsymbol x}(t)\in \mathcal{S}_k, \qquad k=1, 2, \cdot\cdot\cdot, {N} \end{array} $
(4c) $ E^{\rm T}\Gamma(t)\leq E^{\rm T}P(t)\leq E^{\rm T}P(t_0) < E^{\rm T}R $
(4d) 则称系统 (1) 对于 $(c_1, J, R, \Gamma(\cdot))$ 时域稳定.
证明. 由定理条件 (4a) 和下式
$ \begin{align*} M^{\rm -T}P(t)N=\left[\begin{array}{cc}P_{1}(t)&P_{2}(t)\\ P_{3}(t)&P_{4}(t)\end{array}\right] \end{align*} $
有 $P_2(t)=0$ 和 $P_1(t)$ 对称, 将条件 (4b) 进行分解可得:
$ \begin{align*} \begin{aligned} &N^{\rm T}A^{\rm T}(t)M^{\rm T}M^{\rm -T}P(t)N +\\ &\quad N^{\rm T}P^{\rm T}(t)M^{-1}MA(t)N+\\ &\quad N^{\rm T}E^{\rm T}M^{\rm T}M^{\rm -T}\dot{P}(t)N =\\ &\quad \left[\begin{array}{cc}A_{11}^{\rm T}(t)&A_{21}^{\rm T}(t)\\A_{12}^{\rm T}(t)&A_{22}^{\rm T}(t)\end{array}\right]\left[\begin{array}{cc}P_{1}(t)&P_{2}(t)\\P_{3}(t)&P_{4}(t)\end{array}\right]+\\ &\quad \left[\begin{array}{cc}P_{1}^{\rm T}(t)&P_{3}^{\rm T}(t)\\P_{2}^{\rm T}(t)&P_{4}^{\rm T}(t)\end{array}\right]\left[\begin{array}{cc}A_{11}(t)&A_{12}(t)\\A_{21}(t)&A_{22}(t)\end{array}\right]+\\ &\quad \left[\begin{array}{cc}I&0\\0&0\end{array}\right]\left[\begin{array}{cc}\dot{P}_{1}(t)&\dot{P}_{2}(t)\\ \dot{P}_{3}(t)&\dot{P}_{4}(t)\end{array}\right]=\\ &\quad \left[\begin{array}{cc}\ast&\ast\\\ast&A_{22}^{\rm T}(t)P_{4}(t)+P_{4}^{\rm T}(t)A_{22}(t)\end{array}\right] < 0 \end{aligned} \end{align*} $
由上式显然有 $A_{22}^{\rm T}(t)P_{4}(t)+P_{4}^{\rm T}(t)A_{22}(t) < 0$ .因此, $A_{22}(t)$ 可逆, 系统对任意初始状态无脉冲.
构造下列广义Lyapunov函数
$ \begin{align*} V(t, {\boldsymbol x})={\boldsymbol x}^{\rm T}(t)E^{\rm T}P(t){\boldsymbol x}(t) \end{align*} $
当 $t\notin \mathcal{T}_{x(\cdot)}$ , 即系统状态向量 ${\boldsymbol x}(t)$ 没有达到跳变集合.则对 $V(t, {\boldsymbol x})$ 求导:
$ \begin{align*} &\dot V(t, {\boldsymbol x})={\boldsymbol x}^{\rm T}(t)[A^{\rm T}(t)P(t)+P^{\rm T}(t)A(t)+\\ &\qquad E^{\rm T}\dot{P}(t)]{\boldsymbol x}(t) \end{align*} $
由条件 (4b) 可知 $\dot V(t, {\boldsymbol x})< 0$ .
然而当 $t\in\mathcal{T}_{x(\cdot)}$ , 即系统依赖状态发生跳变, 由条件 (4c) 可得:
$ \begin{align*} & V (t, {\boldsymbol x}^+_k)-V (t, {\boldsymbol x})={\boldsymbol x}^{\rm T}(t)\times\\ & \qquad [A_{d, k}^{\rm T}E^{\rm T}P (t) A_{d, k}-E^{\rm T}P (t)]{\boldsymbol x}(t) < 0 \end{align*} $
则可以推出 $V(t, {\boldsymbol x})$ 在 $J$ 上是严格递减的.
对于系统 (1) 给定初始条件 $t_0$ 使得 ${\boldsymbol x}_{0}^{\rm T}E^{\rm T}R{\boldsymbol x}_{0}\leq c_{1}$ , 对所有的 $t\in J$ 都有:
$ \begin{align*} \begin{aligned} {\boldsymbol x}^{\rm T}(t)E^{\rm T}\Gamma(t){\boldsymbol x}(t)&\leq {\boldsymbol x}^{\rm T}(t)E^{\rm T}P(t){\boldsymbol x}(t)\leq\\ & {\boldsymbol x}_{0}^{\rm T}E^{\rm T}P(t_0){\boldsymbol x}_{0} < \\ &{\boldsymbol x}_{0}^{\rm T}E^{\rm T}RE{\boldsymbol x}_{0} < c_1 \end{aligned} \end{align*} $
因此系统 (1) 对于 $(c_1, J, R, \Gamma(\cdot))$ 时域稳定.
定理2.对于系统 (2), 如果存在分段连续可微对称非奇异函数矩阵 $P(\cdot)$ 在 $J$ 上满足下列不等式, $\forall t\in J$ .
$ E^{\rm T}P(t)=P^{\rm T}(t)E\geq 0 $
(5a) $ \begin{bmatrix} \Pi(t)&P^{\rm T}(t)G(t)\\ G^{\rm T}(t)P(t)&-I \end{bmatrix}< 0 $
(5b) $ \begin{array}{l} A_{d, k}^{\rm T}E^{\rm T}P(t)A_{d, k}-E^{\rm T}P(t)< 0\\ \qquad {\boldsymbol x}(t)\in \mathcal{S}_k, \qquad k=1, 2, \cdot\cdot\cdot, {N} \end{array} $
(5c) $ E^{\rm T}\Gamma(t)\leq E^{\rm T}P(t)\leq E^{\rm T}P(t_0) < E^{\rm T}R $
(5d) 则称系统 (2) 是对于 $(c_1, c_2, {\boldsymbol \omega}(t), J, R, \Gamma(\cdot))$ 时域稳定的.其中
$ \begin{align*} \Pi(t)=A^{\rm T}(t)P(t)+P^{\rm T}(t)A(t)+E^{\rm T}\dot{P}(t) \end{align*} $
证明.由条件 (5b) 可知 $\Pi(t) < 0$ , 同理可证系统 (2) 对任意初始状态无脉冲.
考虑下列广义Lyapunov函数
$ \begin{align*} V(t, {\boldsymbol x})={\boldsymbol x}^{\rm T}(t)E^{\rm T}P(t){\boldsymbol x}(t) \end{align*} $
当 $t\notin \mathcal{T}_{x(\cdot)}$ , 即系统状态向量 ${\boldsymbol x}(t)$ 没有达到跳变集合.则对 $V(t, {\boldsymbol x})$ 求导:
$ \begin{align*} \begin{array}{l} \dot V(t, {\boldsymbol x})={\boldsymbol x}^{\rm T}(t)\Pi(t){\boldsymbol x}(t)+{\boldsymbol \omega}^{\rm T}(t)G^{\rm T}(t)P(t)\times\\ {\boldsymbol x}(t)+{\boldsymbol x}^{\rm T}(t)P^{\rm T}(t)G(t){\boldsymbol \omega}(t) \end{array} \end{align*} $
构造下列向量
$ \begin{align*} {\boldsymbol z}(t)=\left[\begin{array}{c}{\boldsymbol x}(t)\\ {\boldsymbol \omega}(t) \end{array}\right] \end{align*} $
由式 (5b) 得:
$ \begin{array}{lll} {\boldsymbol z}^{\rm T}(t) \left[\begin{array}{cc}\Pi(t)&P^{\rm T}(t)G(t)\\ G^{\rm T}(t)P(t)&-I\end{array}\right]{\boldsymbol z}(t)=\\ \quad \dot V(t, {\boldsymbol x})-{\boldsymbol \omega}^{\rm T}(t){\boldsymbol \omega}(t) < 0 \end{array} $
显然有:
$ \begin{align*} \dot V(t, {\boldsymbol x}) < {\boldsymbol \omega}^{\rm T}(t){\boldsymbol \omega}(t) \end{align*} $
对上式在 $[t_0, t]$ 上求积分得:
$ \begin{align*} \int_{t_0}^{t}\dot V(s, {\boldsymbol x}){\rm d}s < \int_{t_0}^{t}{\boldsymbol \omega}^{\rm T}(s){\boldsymbol \omega}(s){\rm d}s \end{align*} $
则
$ \begin{align*} \begin{aligned} V(t, {\boldsymbol x})& < V(t_0, {\boldsymbol x})+\int_{t_0}^{t}{\boldsymbol \omega}^{\rm T}(s){\boldsymbol \omega}(s){\rm d}s < \\ &{\boldsymbol x}_{0}^{\rm T}E^{\rm T}P(t_0){\boldsymbol x}_{0}+d < \\ &{\boldsymbol x}_{0}^{\rm T}E^{\rm T}R{\boldsymbol x}_{0}+d < \\ &c_1+d \end{aligned} \end{align*} $
当 $t\in\mathcal{T}_{x(\cdot)}$ , 即系统状态发生跳变
$ \begin{align*} \begin{aligned} V(t, {\boldsymbol x}^+)&= {\boldsymbol x}^{\rm T}(t)A_{d, k}^{\rm T}E^{\rm T}P(t)A_{d, k}{\boldsymbol x}(t)< \\ &{\boldsymbol x}^{\rm T}(t)E^{\rm T}P(t){\boldsymbol x}(t) < V(t, {\boldsymbol x}) < \\ &c_1+d \end{aligned} \end{align*} $
则 $\exists c_2>c_1$ 使得 $V(t, {\boldsymbol x})$ 在 $J$ 上有 $V(t, {\boldsymbol x}) < c_2$ .
对系统 (2) 给定初始条件 $t_0$ 使得 ${\boldsymbol x}_{0}^{\rm T}E^{\rm T}R{\boldsymbol x}_{0}\leq c_{1}$ , 对所有的 $t\in J$ 都有:
$ \begin{align*} {\boldsymbol x}^{\rm T}(t)E^{\rm T}\Gamma (t){\boldsymbol x}(t)\leq {\boldsymbol x}^{\rm T}(t)E^{\rm T}P(t){\boldsymbol x}(t) < c_2\end{align*} $
则称系统 (2) 对于 $(c_1, c_2, {\boldsymbol\omega}(t), J, R, \Gamma(\cdot))$ 时域稳定.
接下来应用S-procedure理论[30]进一步研究系统 (1) 和系统 (2) 的时域稳定.
引理1[25].存在一个连续闭集 $\mathcal{S}\subseteq \boldsymbol{R}^n$ 、对称矩阵 $Q_0\in \boldsymbol{R}^{n\times n}$ 、 $Q_i\in \boldsymbol{R}^{n\times n}$ 满足:
$ {\boldsymbol x}^{\rm T}(t)Q_{0}{\boldsymbol x}(t) < 0, \quad {\boldsymbol x}(t)\in \mathcal{S} $
(6a) $ {\boldsymbol x}^{\rm T}(t)Q_{i}{\boldsymbol x}(t) < 0, \quad {\boldsymbol x}(t)\in \mathcal{S}, \quad i=1, \cdot\cdot\cdot, p $
(6b) 则一定存在非负标量 $c_i, i=1, \cdot\cdot\cdot, p$ , 使得:
$ \begin{align} Q_0-\sum_{i=1}^{p}c_iQ_i < 0 \end{align} $
(6c) 显然条件 (6c) 可以推出条件 (6a). S-procedure就是通过判断条件 (6c) 的可行性来验证条件 (6a) 是否成立的.一般来说, 条件 (6c) 比条件 (6a) 更容易检验.所以, 通过应用S-procedure理论可以找到检验 (6a) 成立的更有效的方法.
由引理1的结论, 考虑条件 (4c), 当给定 $k$ 时, 令
$ \begin{align*} \begin{array}{l} Q_0=A_{d, k}^{\rm T}E^{\rm T}P(t)A_{d, k}-E^{\rm T}P(t), \quad \mathcal{S}=\mathcal{S}_k \end{array} \end{align*} $
则条件 (4c) 等价于如下不等式:
$ \begin{align*} \begin{array}{l} A_{d, k}^{\rm T}E^{\rm T}P(t)A_{d, k}- E^{\rm T}P(t)-\sum\limits_{i=1}^{p}c_{i, k}(t)Q_{i, k} < 0 \end{array} \end{align*} $
于是可以推出如下定理.
定理3.如果存在对称矩阵集合 $Q_{i, k}, i=1, \cdot\cdot\cdot, p_k, k=1, \cdot\cdot\cdot, {N}$ 满足引理1条件, 并且存在一个连续可微对称非奇异函数矩阵 $P(\cdot)$ 和非负标量 $c_{i, k}(\cdot)\geq 0 $ 有:
$ E^{\rm T}P(t)=P^{\rm T}(t)E\geq 0 $
(7a) $ A^{\rm T}(t)P(t)+P^{\rm T}(t)A(t)+E^{\rm T}\dot{P}(t) < 0 $
(7b) $ \begin{array}{l} A_{d, k}^{\rm T}E^{\rm T}P(t)A_{d, k}- E^{\rm T}P(t)-\sum\limits_{i=1}^{p}c_{i, k}(t)Q_{i, k}<0\\ \qquad {\boldsymbol x}(t)\in \mathcal{S}_k, \quad k=1, 2, \cdot\cdot\cdot, {N} \end{array} $
(7c) $ E^{\rm T}\Gamma(t)\leq E^{\rm T}P(t)\leq E^{\rm T}P(t_0)< E^{\rm T}R $
(7d) 成立, 则系统 (1) 对于 $(c_1, J, R, \Gamma(\cdot))$ 时域稳定.其中 $J=[t_0\quad t_0 +T]$ .
注1.由引理1知定理3的条件有利于这类问题的求解.在定理1中, 跳变时需要解无穷多个矩阵不等式, 而在定理3中, 跳变时只需解在指定集合上的有限个矩阵不等式.同理, 由定理2可以推出如下定理.
定理4.如果存在对称矩阵集合 $Q_{i, k}, i=1, \cdot\cdot\cdot, p_k, k=1, \cdot\cdot\cdot, {N}$ 满足引理1条件, 并且存在一个连续可微对称非奇异函数矩阵 $P(\cdot)$ 和非负标量 $c_{i, k}(\cdot)\geq 0$ 有:
$ E^{\rm T}P(t)=P^{\rm T}(t)E\geq 0 $
(8a) $ \begin{bmatrix} \Pi(t)&P^{\rm T}(t)G(t)\\ G^{\rm T}(t)P(t)&-I \end{bmatrix} < 0 $
(8b) $ \begin{array}{l} A_{d, k}^{\rm T}E^{\rm T}P(t)A_{d, k}-E^{\rm T}P(t)-\sum\limits_{i=1}^{p}c_{i, k}(t)Q_{i, k} < 0\\ \qquad {\boldsymbol x}(t)\in \mathcal{S}_k, \quad k=1, 2, \cdot\cdot\cdot, {N} \end{array} $
(8c) $ E^{\rm T}\Gamma(t)\leq E^{\rm T}P(t)\leq E^{\rm T}P(t_0) < E^{\rm T}R $
(8d) 成立, 则称系统 (2) 对于 $(c_1, c_2, {\boldsymbol \omega}(t), J, R, \Gamma(\cdot))$ 时域稳定.其中 $\Pi(t)$ 与定理2相同.
3. 时域控制器设计
考虑如下状态依赖广义时变脉冲系统
$ \begin{align} \left\{ \begin{array}{l} E\dot{{\boldsymbol x}}(t)=A(t){\boldsymbol x}(t)+G(t){\boldsymbol \omega}(t)+\\ \qquad B(t)u(t), \quad {\boldsymbol x}(t)\notin \mathcal{S}_k\\ {\boldsymbol x}^{+}_{k}(t)=A_{d, k}{\boldsymbol x}(t), \quad {\boldsymbol x}(t)\in \mathcal{S}_k\\ {\boldsymbol x}(t_{0})={\boldsymbol x}_{0}\quad k=1, 2, \cdot\cdot\cdot, {N} \end{array} \right. \end{align} $
(9) 对上述系统找到一个状态反馈控制律
$ \begin{align*} {\boldsymbol u}(t)=K(t){\boldsymbol x}(t) \end{align*} $
使得闭环系统
$ \begin{align} \left\{ \begin{array}{l} E\dot{{\boldsymbol x}}(t)=A_c(t){\boldsymbol x}(t)+G(t){\boldsymbol \omega}(t), \quad {\boldsymbol x}(t)\notin \mathcal{S}_k\\ {\boldsymbol x}^{+}_{k}(t)=A_{d, k}{\boldsymbol x}(t), \quad {\boldsymbol x}(t)\in \mathcal{S}_k\\ {\boldsymbol x}(t_{0})={\boldsymbol x}_{0}, \quad k=1, 2, \cdot\cdot\cdot, {N} \end{array} \right. \end{align} $
(10) 是时域稳定, 其中 $A_c(t)=A(t)+B(t)K(t)$ .
定理5.对于系统 (10), 如果存在分段连续可微对称非奇异的函数矩阵 $\bar{P}(\cdot)$ 、函数矩阵 $L_{k}(\cdot)$ 和非负标量 $C_{i, k}\leq 0$ 满足下列不等式组, $\forall t\in J$ .
$ \begin{bmatrix} \Pi_{1}(t)&G(t)\\ G^{\rm T}(t)&-I \end{bmatrix} < 0 $
(11a) $ \begin{array}{l} A_{d, k}^{\rm T}E^{\rm T}\bar{P}^{-1}(t)A_{d, k}-E^{\rm T}\bar{P}^{-1}(t)-\\ \qquad \quad \sum\limits_{i=1}^{p}c_{i, k}(t)Q_{i, k} < 0\\ \qquad {\boldsymbol x}(t)\in S_k, \quad k=1, 2, \cdot\cdot\cdot, {N} \end{array} $
(11b) $ E^{\rm T}\Gamma(t)\leq E^{\rm T}\bar{P}^{-1}(t)\leq E^{\rm T}\bar{P}^{-1}(t_0) < E^{\rm T}R $
(11c) 则称系统 (10) 对于 $(c_1, c_2, {\boldsymbol\omega}(t), J, R, \Gamma(\cdot))$ 时域稳定, 且状态反馈控制律为
$ \begin{align} K_k(t)=L_k(t)\bar{P}^{-1}(t) \end{align} $
(12) 其中, $\Pi_1(t)=-E\dot{\bar{P}}(t)+\bar{P}^{\rm T}(t)A^{\rm T}(t)+A(t)\bar{P}(t)+L^{\rm T}_{k}(t)B^{\rm T}(t)+B(t)L_{k}(t)$ .
证明.对于 $t\in J_k$ , 将状态反馈控制律 $K_{k}(t)=L_{k}(t)\bar{P}^{-1}(t)$ 带入式 (9), 可以得到闭环系统 (10), 其中, $A_{c}(t)=A(t)+B(t)L_{i}(t)\bar{P}(t)^{-1}$ .显然 (11a) 等价于下列不等式:
$ \begin{align} \left[\begin{array}{cc}\Pi_{2}(t)&G(t)\\ G^{\rm T}(t)&-I\end{array}\right] < 0 \end{align} $
(13) 其中
$ \begin{align*} \Pi_{2}(t)=-E\dot{\bar{P}}(t)+\bar{P}^{\rm T}(t)A_{c}^{\rm T}(t)+A_{c}(t)\bar{P}(t) \end{align*} $
令 $P(t)=\bar{P}^{-1}(t)$ , 将式 (13) 分别左乘 ${\rm diag}\{\bar{P}^{\rm -T}(t), I\}$ , 右乘 ${\rm diag} \{\bar{P}^{-1}(t), I\}$ , 得到下列不等式:
$ \begin{align*} \left[\begin{array}{cc}\Pi_{3}(t)&\bar{P}^{\rm-T}(t)G(t)\\ G^{\rm T}(t)\bar{P}^{-1}(t)&-I\end{array}\right] < 0 \end{align*} $
其中, $ \Pi_{3}(t)=-\bar{P}^{\rm -T}(t)E\dot{\bar{P}}(t)\bar{P}^{-1}(t)+ A_{c}^{\rm T}(t) \bar{P}^{-1}(t)+\bar{P}^{\rm -T}(t)A_{c}(t).$
因为 $P(t)=\bar{P}^{-1}(t)$ , 故
$ \begin{align*} I=\bar{P}(t)P(t), \quad 0=\dot{\bar{P}}(t)P(t)+\bar{P}(t)\dot{P}(t) \end{align*} $
又因为 $E^{\rm T}P(t)=P^{\rm T}(t)E\geq0$ , 我们很容易可以得出:
$ \begin{align*} -P^{\rm T}(t)E\dot{\bar{P}}(t)P(t)=-E^{\rm T}P(t)\dot{\bar{P}}(t)P(t)=E^{\rm T}\dot{P}(t)\end{align*} $
由此可得:
$ \begin{align} \left[\begin{array}{cc}\Pi_{4}(t)&P^{\rm T}(t)G(t)\\ G^{\rm T}(t)P(t)&-I\end{array}\right] < 0 \end{align} $
(14) 其中
$ \begin{align*} \Pi_{4}(t)=E^{\rm T}\dot{P}(t)+A_c^{\rm T}(t)P(t)+P(t)A_c(t) \end{align*} $
另一方面, 因为 $P(t)=\bar{P}^{-1}(t)$ , 条件 (11b) 和 (11c) 等价于式 (7c) 和 (7d).综上所述, 闭环系统 (10) 是对于 $(c_1, c_2, {\boldsymbol\omega}(t), J, R, \Gamma(\cdot))$ 时域稳定的.
为了将小区间内的时变矩阵不等式转化为标准的矩阵不等式组.可以将小区间内的时变矩阵不等式做如下处理.假设 $P(t)$ (或 $\bar{P}(t)$ ) 是分段线性的, $P(t)$ (或 $\bar{P}(t)$ ) 在 $\mathcal{T}_{x(\cdot)}$ 处发生跳变 (以下只给出 $P(t)$ (或 $\bar{P}(t)$ ) 的形式, $L(t)$ 、 $\dot{P}(t)$ 形式与 $P(t)$ 类似).
$ \begin{align*} \label{eq} \left\{ \begin{aligned} & P(0)({\rm or}\ (\bar{P}(0)))=\Pi_{1}^{0}\\ & P(t)({\rm or}\ (\bar{P}(t)))=\Pi_{k}^{0}+\Pi_{k}^{s}(t-(k-1)T_{s}), \\ & \qquad \qquad k\in N : kx \bar{k}, \quad t\in[(k-1)T_{s}, kT_{s}]\\ & P(t)({\rm or}\ (\bar{P}(t)))=\Pi_{\bar{k}+1}^{0}+\Pi_{\bar{k}+1}^{0}(t-\bar{k}T_{s}), t\in[\bar{k}T_{s}, T] \end{aligned} \right. \end{align*} $
因此上述条件可以转化为一组标准的矩阵不等式求解问题.由于 $E^{\rm T}P(t)=P^{\rm T}(t)E\geq0$ ( $E^{\rm T}\Pi_{k}^{0}=\Pi_{k}^{0\rm T}E\geq0$ $E^{\rm T}\Pi_{k}^{s}=\Pi_{k}^{s{\rm T}}E\geq0$ ) 是一组非严格的矩阵不等式, 这样对于求解会造成一定的麻烦.为了将非严格的矩阵不等式组转化为严格的矩阵不等式组, 我们介绍如下引理.
引理2[31].如果 $X\in \boldsymbol{R}^{n\times n}$ 是对称矩阵且满足 $E_{L}^{\rm T}XE_{L}>0$ , $T\in {\bf R }^{(n-r)\times(n-r)}$ 是非奇异矩阵.则 $XE+M^{\rm T}TS^{\rm T}$ 也是非奇异的且它的逆可以表示为
$ \begin{align*} (XE+M^{\rm T}TS^{\rm T})^{-1}=XE^{\rm T}+STM \end{align*} $
其中, $X$ 是对称矩阵, $T$ 是非奇异矩阵.
$ \begin{align*} E_{R}^{\rm T}XE_{R}=(E_{L}^{\rm T}XE_{L})^{-1}, \ T=(S^{\rm T}S)^{-1}T^{-1}(MM^{\rm T})^{-1}\end{align*} $
$M$ 和 $S$ 是行满秩矩阵满足 $ME=0$ , $ES=0$ ; $E$ 可以分解为 $E=E_{L}E_{R}^{\rm T}$ , 其中 $E_{L}\in \boldsymbol{R}^{n\times r}$ , $E_{R}\in {\bf R }^{n\times r}$ 是列满秩的.
令 $\Pi_{k}^{0}=X_{k}^{0}E+M^{\rm T}T_{k}^{0}S^{\rm T}$ , $\Pi_{k}^{s}=X_{k}^{s}E+M^{\rm T}T_{k}^{s}S^{\rm T}$ .根据引理2可以得到 $(X_{k}^{0}E+M^{\rm T}T_{k}^{0}S^{\rm T})^{-1}=X_{k}^{0}E^{\rm T}+ST_{k}^{0}M$ 和 $(X_{k}^{s}E+M^{\rm T}T_{k}^{s}S^{\rm T})^{-1}=X_{k}^{s}E^{\rm T}+ST_{k}^{0}M$ .这样 $E^{\rm T}P(t)=P^{\rm T}(t)E\geq0$ 就得到了满足.因此, 非严格的矩阵不等式组转化为了严格的矩阵不等式组.利用Matlab LMI工具箱, 就可以对 $X_{k}^{s}, T_{k}^{0}, T_{k}^{s}, X_{k}^{0}$ (或 $X_{k}^{0}, X_{k}^{s}, T_{k}^{0}, T_{k}^{s}), \Lambda_{k}^{0}, \Lambda_{k}^{s}$ 进行求解, 从而得到 $P(t)$ (或 $(\bar{P}(t))$ 和 $L(t)$ .
4. 数值算例
例1.考虑广义时变脉冲系统 (9),
$ \begin{align*} &E=\left[\begin{array}{ccc} 1&0\\0&0 \end{array}\right], \quad A=\left[\begin{array}{ccc} 1&-1.5\\0.5&t \end{array}\right]\\ &A_{d, 1}=\left[\begin{array}{ccc} 0.8&0\\-1&0.5 \end{array}\right], \quad G=\left[\begin{array}{ccc} 1\\1 \end{array}\right] B=\left[\begin{array}{ccc} 0\\1 \end{array}\right] \end{align*} $
跳变集合
$ \begin{align*} \mathcal{S}_1= \left(\begin{array}{*{20}c}\left(\begin{array}{*{20}c}0.5\\ 0.2\end{array}\right), &\left(\begin{array}{*{20}c}0.4\\ 0.4 \end{array}\right)\end{array}\right) \end{align*} $
其中, 选取 ${\boldsymbol\omega}(t)=1$ , $J=[0 {\rm s}\quad 5 {\rm s}]$ , $R=\left[{array}{ccc} 2&0\\0&2 {array}\right]$ , $c_1=3$ , $c_2=4$ .由引理1可选取
$ \begin{align*} Q=\left[\begin{array}{ccc} 0.4000&-0.7000\\-0.7000&1.0000 \end{array}\right]\end{align*} $
显然
$ \begin{align*} E_{R}=E_{L}=\left[\begin{array}{ccc} 1\\0 \end{array}\right] \end{align*} $
我们选 $M^{\rm T}=S=[0 \quad 1]^{\rm T}$ .则存在 $\Gamma(t)=\left[{array}{ccc} 1&0\\0&1{array}\right]$ , 根据Matlab LMI工具箱求解矩阵不等式组, 可得正数 $c_1(\cdot)$ 及矩阵 $P(\cdot), L_1(\cdot)$ , 使得式 (11) 成立, 则闭环系统 (10) 是时域稳定的, 且状态反馈控制律 $K(t)=[K_1(t)\quad K_2(t)]$ 见图 1.
5. 结论
本文针对状态依赖广义时变脉冲系统时域稳定问题进行研究, 给出了广义时变脉冲系统时域稳定充分条件及状态反馈控制器的设计.并且对上述充分条件提出DLMIs优化计算的方法, 使得这类问题在数值计算上易于处理.利用分段线性化将小区间内广义时变矩阵不等式转化为广义时不变线性矩阵不等式来求解.最后给出数值算例来验证结论的有效性.
-
表 1 不同的可诊断性对应不同故障诊断深度
Table 1 Different kinds of diagnosabilities correspond to different degrees of fault diagnosis
可诊断性分类 故障诊断深度要求 功能模块级可诊断性 确定发生故障的功能模块 部件级可诊断性 确定发生故障的部件 系统级可诊断性 确定系统是否发生故障 
下载: 导出CSV
表 2 可诊断性与可测试性之间的对比分析
Table 2 The comparative analysis of diagnosability and testability
可测试性 可诊断性 本质 设计特性 研究目标 处理故障 研究方法 主要采用多信号流图方法 多信号流图, 基于数据、统计特性相似度度量等方法 度量指标 故障检测率, 故障隔离率, 故障虚警率 可检测性, 可隔离性, 可辨识性 应用范围 优化系统配置 优化系统配置, 优化诊断方案 关系 可诊断性包含可测试性
下载: 导出CSV
表 3 可诊断性与能观测性、可重构性之间的对比结果
Table 3 The comparisons of diagnosability, observability and reconfigurability
能观测性 可诊断性 可重构性 基本概念 系统状态运动可由输出完全反映的属性 系统故障能够被确定和有效地识别的程度 发生故障时, 系统克服故障恢复既定功能的能力 两者关系 能观测性分析是研究可诊断性的一种方法 处理故障的不同阶段所对应的性质
下载: 导出CSV
表 4 不同可诊断性评价方法的优越性及其局限性
Table 4 The superiority and limitation of different kinds of diagnosability evaluation methods
评价方法 优越性 局限性 基于定量模型 物理意义明确 难以获得精确模型 基于定性模型 宏观描述系统 对专业知识及经验要求较高 基于数据 不需要建立系统模型 运算量大, 难以评价未知故障
下载: 导出CSV
-
[1] Biswal M, Brahma S M, Cao H P.Supervisory protection and automated event diagnosis using PMU data.IEEE Transactions on Power Delivery, 2016, 31(4):1855-1863 doi: 10.1109/TPWRD.2016.2520958 [2] Teixeira A, Shames I, Sandberg H, Johansson K H.A secure control framework for resource-limited adversaries.Automatica, 2015, 51:135-148 doi: 10.1016/j.automatica.2014.10.067 [3] Keliris C, Polycarpou M M, Parisini T.An integrated learning and filtering approach for fault diagnosis of a class of nonlinear dynamical systems.IEEE Transactions on Neural Networks and Learning Systems, 2017, 28(4):988-1004 doi: 10.1109/TNNLS.2015.2504418 [4] Gao Z W, Ding S X, Cecati C.Real-time fault diagnosis and fault-tolerant control.IEEE Transactions on Industrial Electronics, 2015, 62(6):3752-3756 doi: 10.1109/TIE.2015.2417511 [5] Jiang B, Staroswiecki M, Cocquempot V.Fault accommodation for nonlinear dynamic systems.IEEE Transactions on Automatic Control, 2006, 51(9):1578-1583 doi: 10.1109/TAC.2006.878732 [6] Wang T Z, Qi J, Xu H, Wang Y D, Liu L, Gao D J.Fault diagnosis method based on FFT-RPCA-SVM for cascaded-multilevel inverter.ISA Transactions, 2016, 60:156-163 doi: 10.1016/j.isatra.2015.11.018 [7] Tang B P, Song T, Li F, Deng L.Fault diagnosis for a wind turbine transmission system based on manifold learning and Shannon wavelet support vector machine.Renewable Energy, 2014, 62:1-9 doi: 10.1016/j.renene.2013.06.025 [8] Yin S, Zhu X P.Intelligent particle filter and its application to fault detection of nonlinear system.IEEE Transactions on Industrial Electronics, 2015, 62(6):3852-3861 http://www.wanfangdata.com.cn/details/detail.do?_type=perio&id=JJ0234617504 [9] Sun F C, Liu H P, He K Z, Sun Z Q.Reduced-order H∞ filtering for linear systems with Markovian jump parameters.Systems and Control Letters, 2005, 54(8):739-746 doi: 10.1016/j.sysconle.2004.11.012 [10] 化永朝, 李清东, 任章, 刘成瑞.连续系统故障可诊断性评价方法综述.控制与决策, 2016, 31(12):2113-2121 http://d.old.wanfangdata.com.cn/Periodical/kzyjc201612001Hua Yong-Zhao, Li Qing-Dong, Ren Zhang, Liu ChengRui.Overview of fault diagnosability evaluation methods for continuous systems.Control and Decision, 2016, 31(12):2113-2121 http://d.old.wanfangdata.com.cn/Periodical/kzyjc201612001 [11] 刘文静, 刘成瑞, 王南华.故障可诊断性评价与设计研究进展.航天控制, 2011, 29(6):72-78, 87 http://d.old.wanfangdata.com.cn/Periodical/htkz201106015Liu Wen-Jing, Liu Cheng-Rui, Wang Nan-Hua.Overview of fault diagnosability evaluation and design.Aerospace Control, 2011, 29(6):72-78, 87 http://d.old.wanfangdata.com.cn/Periodical/htkz201106015 [12] IEEE Trial-Use Standard for Testability and Diagnosability Characteristics and Metrics, IEEE Standard 1522, 2004. [13] Wang D W, Yu M, Low C B, Arogeti S.Modelbased Health Monitoring of Hybrid Systems.New York:Springer, 2013.2-16 [14] Gertler J.Fault Detection and Diagnosis in Engineering Systems.New York:Marcel Dekker, 1998.1-22 [15] Ding S X.Model-based Fault Diagnosis Techniques:Design Schemes, Algorithms and Tools.Berlin Heidelberg:Springer-Verlag, 2008.51-68 [16] Chi G Y, Wang D W, Zhu S Q.An integrated approach for sensor placement in linear dynamic systems.Journal of the Franklin Institute, 2015, 352(3):1056-1079 doi: 10.1016/j.jfranklin.2014.11.013 [17] Eriksson D, Frisk E, Krysander M.A method for quantitative fault diagnosability analysis of stochastic linear descriptor models.Automatica, 2013, 49(6):1591-1600 doi: 10.1016/j.automatica.2013.02.045 [18] Scott J K, Findeisen R, Braatz R D, Raimondo D M.Design of active inputs for set-based fault diagnosis.In: Proceedings of the 2013 American Control Conference.Washington, DC, USA: IEEE, 2013.3561-3566 [19] Düştegör D, Frisk E, Cocquempot V, Krysander M, Staroswiecki M.Structural analysis of fault isolability in the DAMADICS benchmark.Control Engineering Practice, 2006, 14(6):597-608 doi: 10.1016/j.conengprac.2005.04.008 [20] Krysander M, Frisk E.Sensor placement for fault diagnosis.IEEE Transactions on Systems, Man, and Cybernetics, Part A:Systems and Humans, 2008, 38(6):1398-1410 doi: 10.1109/TSMCA.2008.2003968 [21] Leal R, Aguilar J, Travé-Massuyés L, Camargo E, Ríos A.An approach for diagnosability analysis and sensor placement for continuous processes based on evolutionary algorithms and analytical redundancy.Applied Mathematical Sciences, 2015, 9(43):2125-2146 http://www.academia.edu/20214521/An_Approach_for_Diagnosability_Analysis_and_Sensor_Placement_for_Continuous_Processes_Based_on_Evolutionary_Algorithms_and_Analytical_Redundancy [22] Sun F C, Li L, Li H X, Liu H P.Neuro-fuzzy dynamicinversion-based adaptive control for robotic manipulators-discrete time case.IEEE Transactions on Industrial Electronics, 2007, 54(3):1342-1351 doi: 10.1109/TIE.2007.893056 [23] Sun F C, Li H X, Lei L.Robot discrete adaptive control based on dynamic inversion using dynamical neural networks.Automatica, 2002, 38(11):1977-1983 doi: 10.1016/S0005-1098(02)00116-4 [24] Zheng W H, Jia Y M.Leader-follower formation control of mobile robots with sliding mode.Journal of Robotics, Networking and Artificial Life, 2017, 4(1):10-13 doi: 10.2991/jrnal.2017.4.1.3 [25] Gertler J J.Survey of model-based failure detection and isolation in complex plants.IEEE Control Systems Magazine, 1988, 8(6):3-11 doi: 10.1109/37.9163 [26] Kouadri A, Bensmail A, Kheldoun A, Refoufi L.An adaptive threshold estimation scheme for abrupt changes detection algorithm in a cement rotary kiln.Journal of Computational and Applied Mathematics, 2014, 259:835-842 doi: 10.1016/j.cam.2013.07.039 [27] 符方舟, 王大轶, 李文博.基于卡尔曼滤波器组的多重故障诊断方法研究.控制理论与应用, 2017, 34(5):586-593 http://d.old.wanfangdata.com.cn/Periodical/kzllyyy201705004Fu Fang-Zhou, Wang Da-Yi, Li Wen-Bo.Multiple fault detection and isolation based on Kalman filters.Control Theory and Applications, 2017, 34(5):586-593 http://d.old.wanfangdata.com.cn/Periodical/kzllyyy201705004 [28] Niu G, Zhao Y J, Tran V T.Fault detection and isolation based on bond graph modeling and empirical residual evaluation.Proceedings of the Institution of Mechanical Engineers, Part C:Journal of Mechanical Engineering Science, 2015, 229(3):417-428 doi: 10.1177/0954406214536381 [29] Chilin D, Liu J F, Chen X Z, Christofides P D.Fault detection and isolation and fault tolerant control of a catalytic alkylation of benzene process.Chemical Engineering Science, 2012, 78:155-166 doi: 10.1016/j.ces.2012.05.015 [30] 符方舟, 王大轶, 李文博.基于分层随机梯度辨识算法的传感器故障检测方法.空间控制技术与应用, 2016, 42(4):12-17 doi: 10.3969/j.issn.1674-1579.2016.04.003Fu Fang-Zhou, Wang Da-Yi, Li Wen-Bo.Sensor fault detection based on hierarchical stochastic gradient identification algorithm.Aerospace Control and Application, 2016, 42(4):12-17 doi: 10.3969/j.issn.1674-1579.2016.04.003 [31] 国家标准.GJB 451A-2005可靠性维修性保障性术语, 2005.National Standard.GJB 451A-2005 Reliability, Maintainability and Supportability Terms, 2005. [32] Frank P M.Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy:a survey and some new results.Automatica, 1990, 26(3):459-474 doi: 10.1016/0005-1098(90)90018-D [33] Venkatasubramanian V, Rengaswamy R, Yin K, Kavuri S N.A review of process fault detection and diagnosis, Part Ⅰ:quantitative model-based methods.Computers and Chemical Engineering, 2003, 27(3):293-311 doi: 10.1016/S0098-1354(02)00160-6 [34] Venkatasubramanian V, Rengaswamy R, Kavuri S N.A review of process fault detection and diagnosis, Part Ⅱ:qualitative models and search strategies.Computers and Chemical Engineering, 2003, 27(3):313-326 doi: 10.1016/S0098-1354(02)00161-8 [35] Venkatasubramanian V, Rengaswamy R, Kavuri S N, Yin K.A review of process fault detection and diagnosis, Part Ⅲ:process history based methods.Computers and Chemical Engineering, 2003, 27(3):327-346 doi: 10.1016/S0098-1354(02)00162-X [36] 李娟, 周东华, 司小胜, 陈茂银, 徐春红.微小故障诊断方法综述.控制理论与应用, 2012, 29(12):1517-1529 http://d.old.wanfangdata.com.cn/Periodical/kzllyyy201212001Li Juan, Zhou Dong-Hua, Si Xiao-Sheng, Chen Mao-Yin, Xu Chun-Hong.Review of incipient fault diagnosis methods.Control Theory and Applications, 2012, 29(12):1517-1529 http://d.old.wanfangdata.com.cn/Periodical/kzllyyy201212001 [37] 周东华, 史建涛, 何潇.动态系统间歇故障诊断技术综述.自动化学报, 2014, 40(2):161-171 http://www.aas.net.cn/CN/abstract/abstract18279.shtmlZhou Dong-Hua, Shi Jian-Tao, He Xiao.Review of intermittent fault diagnosis techniques for dynamic systems.Acta Automatica Sinica, 2014, 40(2):161-171 http://www.aas.net.cn/CN/abstract/abstract18279.shtml [38] Zhang B, Jia Y M, Matsuno F, Endo T.Task-space synchronization of networked mechanical systems with uncertain parameters and communication delays.IEEE Transactions on Cybernetics, 2017, 47(8):2288-2298 doi: 10.1109/TCYB.2016.2597446 [39] Apkarian P, Gahinet P.A convex characterization of gainscheduled H∞ controllers.IEEE Transactions on Automatic Control, 1995, 40(5):853-864 doi: 10.1109/9.384219 [40] Park S, Park Y, Park Y S.Degree of fault isolability and active fault diagnosis for redundantly actuated vehicle system.International Journal of Automotive Technology, 2016, 17(6):1045-1053 doi: 10.1007/s12239-016-0102-1 [41] Du Y C, Duever T A, Budman H.Fault detection and diagnosis with parametric uncertainty using generalized polynomial chaos.Computers and Chemical Engineering, 2015, 76:63-75 doi: 10.1016/j.compchemeng.2015.02.009 [42] Hou L Q, Bergmann N W.Novel industrial wireless sensor networks for machine condition monitoring and fault diagnosis.IEEE Transactions on Instrumentation and Measurement, 2012, 61(10):2787-2798 doi: 10.1109/TIM.2012.2200817 [43] Liu W J, Teng B Y.Application of weighted evidence theory in the space-earth fault diagnosis result fusion of spacecraft.In: Proceedings of the 12th World Congress on Intelligent Control and Automation.Guilin, China: IEEE, 2016.1742-1748 [44] Kelkar S, Kamal R.Adaptive fault diagnosis algorithm for controller area network.IEEE Transactions on Industrial Electronics, 2014, 61(10):5527-5537 doi: 10.1109/TIE.2013.2297296 [45] 刘文静, 王南华.面向资源约束航天器控制系统的故障检测研究.宇航学报, 2011, 32(7):1527-1533 doi: 10.3873/j.issn.1000-1328.2011.07.014Liu Wen-Jing, Wang Nan-Hua.FD for spacecraft control system with resource constraint.Journal of Astronautics, 2011, 32(7):1527-1533 doi: 10.3873/j.issn.1000-1328.2011.07.014 [46] Jia Y M.General solution to diagonal model matching control of multiple-output-delay systems and its applications in adaptive scheme.Progress in Natural Science, 2009, 19(1):79-90 doi: 10.1016/j.pnsc.2008.05.019 [47] Yang F W, Li Y M.Set-membership filtering for systems with sensor saturation.Automatica, 2009, 45(8):1896-1902 doi: 10.1016/j.automatica.2009.04.011 [48] Wang H, Huang Z J, Daley S.On the use of adaptive updating rules for actuator and sensor fault diagnosis.Automatica, 1997, 33(2):217-225 doi: 10.1016/S0005-1098(96)00155-0 [49] Ding S X, Zhong M Y, Tang B Y, Zhang P.An LMI approach to the design of fault detection filter for time-delay LTI systems with unknown inputs.In: Proceedings of the 2001 American Control Conference.Arlington, VA, USA: IEEE, 2001.2137-2142 [50] Shen Q K, Jiang B, Shi P.Active fault-tolerant control against actuator fault and performance analysis of the effect of time delay due to fault diagnosis.International Journal of Control Automation and Systems, 2017, 15(2):537-546 doi: 10.1007/s12555-015-0307-5 [51] Russell E L, Chiang L H, Braatz R D.Fault detection in industrial processes using canonical variate analysis and dynamic principal component analysis.Chemometrics and Intelligent Laboratory Systems, 2000, 51(1):81-93 doi: 10.1016/S0169-7439(00)00058-7 [52] Han L, Li C W, Guo S L, Su X W.Feature extraction method of bearing AE signal based on improved FASTICA and wavelet packet energy.Mechanical Systems and Signal Processing, 2015, 62-63:91-99 doi: 10.1016/j.ymssp.2015.03.009 [53] Sun J W, Xi L F, Pan E S, Du S C, Xia T B.Design for diagnosability of multistation manufacturing systems based on sensor allocation optimization.Computers in Industry, 2009, 60(7):501-509 doi: 10.1016/j.compind.2009.02.001 [54] Wang X Q, Zhao Y, Wang D, Zhu H J, Zhang Q.Improved multi-objective ant colony optimization algorithm and its application in complex reasoning.Chinese Journal of Mechanical Engineering, 2013, 26(5):1031-1040 doi: 10.3901/CJME.2013.05.1031 [55] Lee J M, Qin S J, Lee I B.Fault detection and diagnosis based on modified independent component analysis.AIChE Journal, 2006, 52(10):3501-3514 doi: 10.1002/(ISSN)1547-5905 [56] Ye H, Wang G, Ding S X.A new parity space approach for fault detection based on stationary wavelet transform.IEEE Transactions on Automatic Control, 2004, 49(2):281-287 doi: 10.1109/TAC.2003.822856 [57] Kaufman M, Sheppard J.P1522: a formal standard for testability and diagnosability measures.In: Proceedings of the 1999 IEEE Systems Readiness Technology Conference.San Antonio, Texas, USA: IEEE, 1999.411-418 [58] Provan G.System diagnosability analysis using modelbased diagnosis tools.In: Proceedings of the 2001 Aerospace/Def-ense Sensing, Simulation, and Controls.Orlando, FL, USA: SPIE, 2001.93-101 [59] Pattipati K R, Raghavan V, Shakeri M, Deb S, Shrestha R.TEAMS: testability engineering and maintenance system.In: Proceedings of the 1994 American Control Conference.Baltimore, Maryland, USA: IEEE, 1994.1989-1995 [60] Wey C L.Design of testability for analogue fault diagnosis.International Journal of Circuit Theory and Applications, 1987, 15(2):123-142 doi: 10.1002/(ISSN)1097-007X [61] Simpson W R, Sheppard J W.System Test and Diagnosis.US:Springer, 1994.139-190 http://d.old.wanfangdata.com.cn/Periodical/dwjs201201042 [62] Li K S M, Chang Y W, Lee C L, Su C, Chen J E.Multilevel full-chip routing with testability and yield enhancement.IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2007, 26(9):1625-1636 doi: 10.1109/TCAD.2007.895587 [63] Ungar L Y.Economic evaluation of testability and diagnosability for commercial off the shelf equipment.In: Proceedings of the 2010 AUTOTESTCON.Orlando, USA: IEEE, 2010.1-5 [64] Le Traon Y, Ouabdesselam F, Robach C, Baudry B.From diagnosis to diagnosability:axiomatization, measurement and application.Journal of Systems and Software, 2003, 65(1):31-50 doi: 10.1016/S0164-1212(02)00026-2 [65] 国家标准.GJB 3385-98测试与诊断术语, 1998.National Standard.GJB 3385-98 Terms for Testing and Diagnostics, 1998. [66] Sheppard J W, Kaufman M.Formal specification of testability metrics in IEEE P1522.In: Proceedings of the 2001 IEEE Systems Readiness Technology Conference, AUTOTESTCON.Valley Forge, PA, USA: IEEE, 2001.71-82 [67] Magni J F, Mouyon P.On residual generation by observer and parity space approaches.IEEE Transactions on Automatic Control, 1994, 39(2):441-447 doi: 10.1109/9.272354 [68] Diop S, Martínez-Guerra R.On an algebraic and differential approach of nonlinear systems diagnosis.In: Proceedings of the 40th IEEE Conference on Decision and Control.Orlando, Florida, USA: IEEE, 2001.585-589 [69] Huber J, Kopecek H, Hofbaur M.Sensor selection for fault parameter identification applied to an internal combustion engine.In: Proceedings of the 2014 IEEE Conference on Control Applications.Juan Les Antibes, France: IEEE, 2014.89-96 [70] Wu N E, Zhou K M, Salomon G.Control reconfigurability of linear time-invariant systems.Automatica, 2000, 36(11):1767-1771 doi: 10.1016/S0005-1098(00)00080-7 [71] 王大轶, 屠园园, 刘成瑞, 何英姿, 李文博.航天器控制系统可重构性的内涵与研究综述.自动化学报, 2017, 43(10):1687-1702 http://www.aas.net.cn/CN/abstract/abstract19147.shtmlWang Da-Yi, Tu Yuan-Yuan, Liu Cheng-Rui, He Ying-Zi, Li Wen-Bo.Connotation and research of reconfigurability for spacecraft control systems:a review.Acta Automatica Sinica, 2017, 43(10):1687-1702 http://www.aas.net.cn/CN/abstract/abstract19147.shtml [72] Svärd C, Nyberg M, Frisk E.Realizability constrained selection of residual generators for fault diagnosis with an automotive engine application.IEEE Transactions on Systems, Man, and Cybernetics:Systems, 2013, 43(6):1354-1369 doi: 10.1109/TSMC.2013.2258906 [73] Cocquempot V, Izadi-Zamanabadi R, Staroswiecki M, Blanke M.Residual generation for the ship benchmark using structural approach.In: Proceedings of the 1998 UKACC International Conference on Control.Swansea, UK: IET, 1998.1480-1485 [74] Izadi-Zamanabadi R.Structural analysis approach to fault diagnosis with application to fixed-wing aircraft motion.In: Proceedings of the 2002 American Control Conference.Anchorage, USA: IEEE, 2002.3949-3954 [75] Bozzano M, Cimatti A, Katoen J P, Nguyen V Y, Noll T, Roveri M.The COMPASS approach: correctness, modelling and performability of aerospace systems.In: Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security.Heidelberg, Berlin, Germany: Springer-Verlag, 2009.173-186 [76] Roychoudhury I, Biswas G, Koutsoukos X.Designing distributed diagnosers for complex continuous systems.IEEE Transactions on Automation Science and Engineering, 2009, 6(2):277-290 doi: 10.1109/TASE.2008.2009094 [77] Svärd C, Nyberg M.Automated design of an FDI system for the wind turbine benchmark.Journal of Control Science and Engineering, 2012, 2012: Article ID 989873 [78] Eriksson D, Krysander M, Frisk E.Quantitative fault diagnosability performance of linear dynamic descriptor models.In: Proceedings of the 22nd International Workshop on Principles of Diagnosis.Murnau, Germany, 2011.1-8 [79] Hao J J, Kinnaert M.Sensor fault detection and isolation over wireless sensor network based on hardware redundancy.Journal of Physics:Conference Series, 2017, 783(1):012006 http://difusion.ulb.ac.be/vufind/Record/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/247702/Details [80] Chen J L, Sun H L, Wang S, He Z J.Quantitative index and abnormal alarm strategy using sensor-dependent vibration data for blade crack identification in centrifugal booster fans.Sensors, 2016, 16(5):632 doi: 10.3390/s16050632 [81] Sharifi R, Langari R.Sensor fault diagnosis with a probabilistic decision process.Mechanical Systems and Signal Processing, 2013, 34(1-2):146-155 doi: 10.1016/j.ymssp.2012.07.014 [82] Varga A.Solving Fault Diagnosis Problems.New York:Springer, 2017.9-25 [83] Patton R J, Chen J.Observer-based fault detection and isolation:robustness and applications.Control Engineering Practice, 1997, 5(5):671-682 doi: 10.1016/S0967-0661(97)00049-X [84] Del Gobbo D, Napolitano M R.Issues in fault detectability for dynamic systems.In: Proceedings of the 2000 American Control Conference.Chicago, Illinois, USA: IEEE, 2000.3203-3207 [85] Varga A.Design of fault detection filters for periodic systems.In: Proceedings of the 40th IEEE Conference on Decision and Control.Nassau, Bahamas: IEEE, 2004.4800-4805 [86] Kóscielny J M, Syfert M, Rostek K, Sztyber A.Fault isolability with different forms of the faults-symptoms relation.International Journal of Applied Mathematics and Computer Science, 2016, 26(4):815-826 doi: 10.1515/amcs-2016-0058 [87] Nyberg M.Criterions for detectability and strong detectability of faults in linear systems.International Journal of Control, 2002, 75(7):490-501 doi: 10.1080/00207170110121303 [88] Heintz F, Krysander M, Roll J, Frisk E.FlexDx: a reconfigurable diagnosis framework.In: Proceedings of the 19th International Workshop on Principles of Diagnosis DX.Blue Mountains, Australia, 2008.79-86 [89] Nyberg M, Frisk E.Residual generation for fault diagnosis of systems described by linear differential-algebraic equations.IEEE Transactions on Automatic Control, 2006, 51(12):1995-2000 doi: 10.1109/TAC.2006.884960 [90] Liu B, Si J.Fault isolation filter design for linear timeinvariant systems.IEEE Transactions on Automatic Control, 1997, 42(5):704-707 doi: 10.1109/9.580881 [91] Ding Y, Shi J J, Ceglarek D.Diagnosability analysis of multi-station manufacturing processes.Journal of Dynamic Systems, Measurement, and Control, 2001, 124(1):1-13 http://www.wanfangdata.com.cn/details/detail.do?_type=perio&id=CC027191526 [92] 李文博, 王大轶, 刘成瑞.有干扰的控制系统故障可诊断性量化评估.控制理论与应用, 2015, 32(6):744-752 http://d.old.wanfangdata.com.cn/Periodical/kzllyyy201506004Li Wen-Bo, Wang Da-Yi, Liu Cheng-Rui.Quantitative fault diagnosis ability evaluation for control systems with disturbances.Control Theory and Applications, 2015, 32(6):744-752 http://d.old.wanfangdata.com.cn/Periodical/kzllyyy201506004 [93] 符方舟, 王大轶, 李文博.复杂动态系统的实际非完全失效故障的可诊断性评估.自动化学报, 2017, 43(11):1941-1949 http://www.aas.net.cn/CN/abstract/abstract19169.shtmlFu Fang-Zhou, Wang Da-Yi, Li Wen-Bo.Quantitative evaluation of actual LOE fault diagnosability for dynamic systems.Acta Automatica Sinica, 2017, 43(11):1941-1949 http://www.aas.net.cn/CN/abstract/abstract19169.shtml [94] 李文博, 王大轶, 刘成瑞.动态系统实际故障可诊断性的量化评价研究.自动化学报, 2015, 41(3):497-507 http://www.aas.net.cn/CN/abstract/abstract18628.shtmlLi Wen-Bo, Wang Da-Yi, Liu Cheng-Rui.Quantitative evaluation of actual fault diagnosability for dynamic systems.Acta Automatica Sinica, 2015, 41(3):497-507 http://www.aas.net.cn/CN/abstract/abstract18628.shtml [95] 黄琳, 耿志勇, 王金枝, 段志生, 杨莹.控制与本质非线性问题.自动化学报, 2007, 33(10):1009-1013 http://www.aas.net.cn/CN/abstract/abstract15810.shtmlHuang Lin, Geng Zhi-Yong, Wang Jin-Zhi, Duan ZhiSheng, Yang Ying.Problems in control and intrinsic nonlinearities.Acta Automatica Sinica, 2007, 33(10):1009-1013 http://www.aas.net.cn/CN/abstract/abstract15810.shtml [96] Frisk E, Åslund J.Lowering orders of derivatives in nonlinear residual generation using realization theory.Automatica, 2005, 41(10):1799-1807 doi: 10.1016/j.automatica.2005.04.022 [97] Zhang X D, Parisini T, Polycarpou M M.Sensor bias fault isolation in a class of nonlinear systems.IEEE Transactions on Automatic Control, 2005, 50(3):370-376 doi: 10.1109/TAC.2005.843875 [98] Zhang X D.Sensor bias fault detection and isolation in a class of nonlinear uncertain systems using adaptive estimation.IEEE Transactions on Automatic Control, 2011, 56(5):1220-1226 doi: 10.1109/TAC.2011.2112471 [99] Ferrari R M G, Parisini T, Polycarpou M M.Distributed fault detection and isolation of large-scale discrete-time nonlinear systems:an adaptive approximation approach.IEEE Transactions on Automatic Control, 2012, 57(2):275-290 doi: 10.1109/TAC.2011.2164734 [100] Peng X F, Lin L X, Zhong X Y, Liu C R.Methods for fault diagnosability analysis of a class of affine nonlinear systems.Mathematical Problems in Engineering, 2015, 2015: Article ID 409184 [101] Xing Z R, Xia Y Q.Evaluation and design of actuator fault diagnosability for nonlinear affine uncertain systems with unknown indeterminate inputs.International Journal of Adaptive Control and Signal Processing, 2017, 31(1):122-137 doi: 10.1002/acs.v31.1 [102] 李文博, 王大轶, 刘成瑞.一类非线性系统的故障可诊断性量化评价方法.宇航学报, 2015, 36(4):455-462 doi: 10.3873/j.issn.1000-1328.2015.04.012Li Wen-Bo, Wang Da-Yi, Liu Cheng-Rui.An approach to fault diagnosability quantitative evaluation for a class of nonlinear systems.Journal of Astronautics, 2015, 36(4):455-462 doi: 10.3873/j.issn.1000-1328.2015.04.012 [103] 蒋栋年, 李炜, 王君.非线性系统故障可诊断性量化评价及诊断方法.华中科技大学学报:自然科学版, 2016, 44(12):102-108 http://d.old.wanfangdata.com.cn/Periodical/hzlgdxxb201612018Jiang Dong-Nian, Li Wei, Wang Jun.Fault diagnosability quantitative evaluation and method of fault diagnosis for nonlinear system.Journal of Huazhong University of Science and Technology:Natural Science Edition, 2016, 44(12):102-108 http://d.old.wanfangdata.com.cn/Periodical/hzlgdxxb201612018 [104] Cabasino M P, Giua A, Seatzu C.Diagnosability of discrete-event systems using labeled Petri nets.IEEE Transactions on Automation Science and Engineering, 2014, 11(1):144-153 doi: 10.1109/TASE.2013.2289360 [105] Haar S, Benveniste A, Fabre E, Jard C.Partial order diagnosability of discrete event systems using petri net unfoldings.In: Proceedings of the 42nd IEEE Conference on Decision and Control.Maui, HI, USA: IEEE, 2003.3748-3753 [106] Kościelny J M, Bartys M, Rzepiejewski P, Sáda Costa J.Actuator fault distinguishability study for the DAMADICS benchmark problem.Control Engineering Practice, 2006, 14(6):645-652 doi: 10.1016/j.conengprac.2005.06.014 [107] Liu J, Hua Y Z, Li Q D, Ren Z.Fault diagnosability qualitative analysis of spacecraft based on temporal fault signature matrix.In: Proceedings of the 2016 IEEE Chinese Guidance, Navigation and Control Conference.Nanjing, China: IEEE, 2017.1496-1500 [108] Mekki T, Triki S, Kamoun A.A qualitative approach to single fault isolation in switching systems.In: Proceedings of the 14th International Conference on Sciences and Techniques of Automatic Control and Computer Engineering.Sousse, Tunisia: IEEE, 2013.220-224 [109] Chittaro L, Ranon R.Hierarchical model-based diagnosis based on structural abstraction.Artificial Intelligence, 2004, 155(1-2):147-182 doi: 10.1016/j.artint.2003.06.003 [110] Genesereth M R.The use of design descriptions in automated diagnosis.Artificial Intelligence, 1984, 24(1-3):411-436 doi: 10.1016/0004-3702(84)90043-2 [111] Pucel X, Mayer W, Stumptner M.Diagnosability analysis without fault models.In: Proceedings of the 20th International Workshop on Principles of Diagnosis.Stockholm, Sweden, 2009.67-74 [112] 李晗, 萧德云.基于数据驱动的故障诊断方法综述.控制与决策, 2011, 26(1):1-9 http://d.old.wanfangdata.com.cn/Periodical/zdhxb201609001Li Han, Xiao De-Yun.Survey on data driven fault diagnosis methods.Control and Decision, 2011, 26(1):1-9 http://d.old.wanfangdata.com.cn/Periodical/zdhxb201609001 [113] Dunia R, Joe Qin S.Subspace approach to multidimensional fault identification and reconstruction.AIChE Journal, 1998, 44(8):1813-1831 doi: 10.1002/(ISSN)1547-5905 [114] Yue H H, Qin S J.Reconstruction-based fault identification using a combined index.Industrial and Engineering Chemistry Research, 2001, 40(20):4403-4414 doi: 10.1021/ie000141+ [115] Charbonnier S, Bouchair N, Gayet P.Fault template extraction to assist operators during industrial alarm floods.Engineering Applications of Artificial Intelligence, 2016, 50:32-44 doi: 10.1016/j.engappai.2015.12.007 [116] Hua Y Z, Li Q D, Ren Z, Liu C R.A data driven method for quantitative fault diagnosability evaluation.In: Proceedings of the 2016 Chinese Control and Decision Conference.Yinchuan, China: IEEE, 2016.1890-1894 [117] Ji H Q, He X, Shang J, Zhou D H.Incipient sensor fault diagnosis using moving window reconstruction-based contribution.Industrial and Engineering Chemistry Research, 2016, 55(10):2746-2759 doi: 10.1021/acs.iecr.5b03944 [118] Basseville M, Benveniste A, Moustakides G V, Rougee A.Optimal sensor location for detecting changes in dynamical behavior.IEEE Transactions on Automatic Control, 1987, 32(12):1067-1075 doi: 10.1109/TAC.1987.1104501 [119] Daigle M, Roychoudhury I, Bregon A.Diagnosabilitybased sensor placement through structural model decomposition.In: Proceedings of the 2nd European Conference of the Prognostics and Health Management Society.Nantes, France, 2014.33-46 [120] Travé-Massuyés L, Escobet T, Milne R.Model-based diagnosability and sensor placement application to a frame 6 gas turbine subsystem.In: Proceedings of the 17th International Joint Conference on Artificial Intelligence.Seattle, WA, USA: Morgan Kaufmann Publishers Inc., 2001.551-556 [121] Travé-Massuyés L, Escobet T, Olive X.Diagnosability analysis based on component-supported analytical redundancy relations.IEEE Transactions on Systems, Man, and Cybernetics, Part A:Systems and Humans, 2006, 36(6):1146-1160 doi: 10.1109/TSMCA.2006.878984 [122] Debouk R, Lafortune S, Teneketzis D.On an optimization problem in sensor selection.Discrete Event Dynamic Systems, 2002, 12(4):417-445 doi: 10.1023/A:1019770124060 [123] Frisk E, Krysander M, Åslund J.Sensor placement for fault isolation in linear differential-algebraic systems.Automatica, 2009, 45(2):364-371 doi: 10.1016/j.automatica.2008.08.013 [124] Eriksson D, Krysander M, Frisk E.Using quantitative diagnosability analysis for optimal sensor placement.IFAC Proceedings Volumes, 2012, 45(20):940-945 doi: 10.3182/20120829-3-MX-2028.00196 [125] Jung D, Eriksson L, Frisk E, Krysander M.Development of misfire detection algorithm using quantitative FDI performance analysis.Control Engineering Practice, 2015, 34:49-60 doi: 10.1016/j.conengprac.2014.10.001 [126] Nguyen D T, Duong Q B, Zamai E, Shahzad M K.Fault diagnosis for the complex manufacturing system.Proceedings of the Institution of Mechanical Engineers, Part O:Journal of Risk and Reliability, 2016, 230(2):178-194 doi: 10.1177/1748006X15623089 [127] Cui Y Q, Shi J Y, Wang Z L.System-level operational diagnosability analysis in quasi real-time fault diagnosis:the probabilistic approach.Journal of Process Control, 2014, 24(9):1444-1453 doi: 10.1016/j.jprocont.2014.06.014 [128] Kinnaert M, Hao J J.Distributed sensor fault detection and isolation over network.IFAC Proceedings Volumes, 2014, 47(3):11458-11463 doi: 10.3182/20140824-6-ZA-1003.00674 [129] Ding S X.Application of factorization and gap metric techniques to fault detection and isolation, Part Ⅰ:a factorization technique based FDI framework.IFAC-PapersOnLine, 2015, 48(21):113-118 doi: 10.1016/j.ifacol.2015.09.513 [130] Ding S X.Application of factorization and gap metric techniques to fault detection and isolation, Part Ⅱ:gap metric technique aided FDI performance analysis.IFACPapersOnLine, 2015, 48(21):119-124 https://www.sciencedirect.com/science/article/pii/S2405896315016432 [131] Eriksson D, Sundstrom C.Sequential residual generator selection for fault detection.In: Proceedings of the 2014 European Control Conference.Strasbourg, France: IEEE, 2014.932-937 [132] Bregon A, Daigle M, Roychoudhury I.An integrated framework for distributed diagnosis of process and sensor faults.In: Proceedings of the 2015 IEEE Aerospace Conference.Big Sky, MT, USA: IEEE, 2015.1-11 [133] Daigle M J, Bregon A, Koutsoukos X, Biswas G, Pulido B.A qualitative event-based approach to multiple fault diagnosis in continuous systems using structural model decomposition.Engineering Applications of Artificial Intelligence, 2016, 53:190-206 doi: 10.1016/j.engappai.2016.04.002 [134] Daigle M, Bregon A, Biswas G, Koutsoukos X, Pulido B.Improving multiple fault diagnosability using possible conflicts.IFAC Proceedings Volumes, 2012, 45(20):144-149 doi: 10.3182/20120829-3-MX-2028.00132 [135] Khorasgani H, Jung D, Biswas G.Structural approach for distributed fault detection and isolation.IFACPapersOnLine, 2015, 48(21):72-77 http://www.wanfangdata.com.cn/details/detail.do?_type=perio&id=JJ0232657451 [136] Basseville M.On fault detectability and isolability.European Journal of Control, 2001, 7(6):625-637 doi: 10.3166/ejc.7.625-637 [137] Jiang B, Chowdhury F N.Fault estimation and accommodation for linear MIMO discrete-time systems.IEEE Transactions on Control Systems Technology, 2005, 13(3):493-499 doi: 10.1109/TCST.2004.839569 [138] Joshi S M, González O R, Upchurch J M.Identifiability of additive actuator and sensor faults by state augmentation.Journal of Guidance, Control, and Dynamics, 2014, 37(3):941-946 doi: 10.2514/1.62523 [139] Upchurch J M, González O R, Joshi S M.Identifiability of Additive, Time-Varying Actuator and Sensor Faults by State Augmentation, Technical Report NASA/TM-2014-218669, L-20505, NF1676L-20305, NASA Langley Research Center, Hampton, VA, USA, 2014. [140] Ding Y, Kim P, Ceglarek D, Jin J.Optimal sensor distribution for variation diagnosis in multistation assembly processes.IEEE Transactions on Robotics and Automation, 2003, 19(4):543-556 doi: 10.1109/TRA.2003.814516 [141] Wani M F, Gandhi O P.Diagnosability evaluation of systems using bipartite graph and matrix approach.AI EDAM-Artificial Intelligence for Engineering Design Analysis and Manufacturing, 2000, 14(3):193-206 doi: 10.1017/S0890060400143021 [142] Liu Z T, Ahmed Q, Zhang J Y, Rizzoni G, He H W.Structural analysis based sensors fault detection and isolation of cylindrical lithium-ion batteries in automotive applications.Control Engineering Practice, 2016, 52:46-58 doi: 10.1016/j.conengprac.2016.03.015 [143] de Kleer J, Williams B C.Diagnosing multiple faults.Artificial Intelligence, 1987, 32(1):97-130 doi: 10.1016/0004-3702(87)90063-4 [144] Feldman A, van Gemund A.A two-step hierarchical algorithm for model-based diagnosis.In: Proceedings of the 2006 Actional Conference on Artificial Intelligence.Boston, USA: AAAI Press, 2006.827-833 [145] De Kleer J.Hitting set algorithms for model-based diagnosis.In: Proceedings of the 22nd International Workshop on Principles of Diagnosis.Murnau, Germany, 2011.1-6 [146] Console L, Picardi C, Ribaudo M.Diagnosis and diagnosability analysis using process algebras.In: Proceedings of the 14th European Conference on Artificial Intelligence.Berlin, Germany, 2000.131-135 [147] Dressler O, Struss P.A toolbox integrating model-based diagnosability analysis and automated generation of diagnostics.In: Proceedings of the 14th International Workshop on Principles of Diagnosis.USA, 2003.99-104 [148] Struss P, Rehfus B, Brignolo R, Cascio F, Console L, Dague P, et al.Model-based tools for the integration of design and diagnosis into a common process-a project report.In: Proceedings of the 13th International Workshop on Principles of Diagnosis.Semmering, Austria, 2002.25-32 -
下载:
计量
- 文章访问数: 2569
- HTML全文浏览量: 537
- PDF下载量: 1683
- 被引次数: 0
