Partial syndrome-based system-level fault diagnosis using game theory

This paper introduces a novel diagnosis approach, using game theory, to solve the comparison-based system-level fault identification problem in distributed and parallel systems based on the asymmetric comparison model. Under this diagnosis model tasks are assigned to pairs of nodes and the results of executing these tasks are compared. Using the agreements and disagreements among the nodes’ outputs, i.e. the input syndrome, the fault diagnosis algorithm identifies the fault status of the system’s nodes, under the assumption that at most t of these nodes can permanently fail simultaneously. Since the introduction of the comparison model, significant progress has been made in both theory and practice associated with the original model and its offshoots. Nevertheless, the problem of efficiently identifying the set of faulty nodes when not all the comparison outcomes are available to the fault identification algorithm prior to initiating the diagnosis phase, i.e. partial syndromes, remains an outstanding research issue. In this paper, we first show how game theory can be adapted to solve the fault diagnosis problem by maximising the payoffs of all players (nodes). We then demonstrate, using results from a thorough simulation, the effectiveness of this approach in solving the fault identification problem using partial syndromes from randomly generated diagnosable systems of different sizes and under various fault scenarios. We have considered large diagnosable systems, and we have experimented extreme faulty situations by simulating all possible fault sets even those that are less likely to occur in practice. Over all the extensive simulations we have conducted, the new game-theory-based diagnosis algorithm performed very well and provided good diagnosis results, in terms of correctness, latency, and scalability, making it a viable addition or alternative to existing diagnosis algorithms.     

Fault detection for discrete-time LPV systems using interval observers

This paper is concerned with the fault detection (FD) problem for discrete-time linear parameter-varying systems subject to bounded disturbances. A parameter-dependent FD interval observer is designed based on parameter-dependent Lyapunov and slack matrices. The design method is presented by translating the parameter-dependent linear matrix inequalities (LMIs) into finite ones. In contrast to the existing results based on parameter-independent and diagonal Lyapunov matrices, the derived disturbance attenuation, fault sensitivity and nonnegative conditions lead to less conservative LMI characterisations. Furthermore, without the need to design the residual evaluation functions and thresholds, the residual intervals generated by the interval observers are used directly for FD decision. Finally, simulation results are presented for showing the effectiveness and superiority of the proposed method.     

Fault detection for discrete piecewise linear systems with infinite distributed time-delays

In this paper, the fault detection problem is investigated for a class of discrete-time piecewise linear systems with external disturbances and infinite distributed time-delays. As a modelling framework, piecewise linear system often arise when piecewise linear components are encountered, such as dead-zone, saturation, relays and hysteresis. The time-delays are assumed to be infinitely distributed in the discrete-time domain. The aim of this paper is to detect the possible faults and to estimate the system state. For this purpose, firstly, stability analysis is given based on a piecewise smooth Lyapunov function. Afterward, an appropriate approach of fault detection and filter design problem is provided to achieve a satisfactory balance between the disturbances attenuation level γ and the sensitivity to the fault for piecewise linear systems. As a consequence, a sufficient condition is obtained in terms of the linear matrix inequalities such that, for all admissible infinite distributed time-delays and external disturbances, the system is guaranteed to be asymptotically stable and the residual is guaranteed to satisfy H_∞ filtering performance and fault detection performance. At last, a simulation example is provided to demonstrate the applicability and effectiveness of the fault detection filtering scheme proposed in this paper.     

Finite-frequency fault detection for two-dimensional Fornasini–Marchesini dynamical systems

This paper is concerned with the fault detection problem for two-dimensional (2-D) discrete-time systems described by the Fornasini–Marchesini local state-space model. The goal of the paper is to design a fault detection filter to detect the occurrence of faults in finite-frequency domain. To this end, a finite-frequency H_? index is used to describe fault sensitivity performance, and a finite-frequency H_∞ index is used to describe disturbance attenuation performance. In light of the generalised Kalman–Yakubovich–Popov lemma for 2-D systems and matrix inequality techniques, convex conditions are derived for this fault detection problem. Based on these conditions, a numerical algorithm is put forward to construct a desired fault detection filter. Finally, a numerical example and an industrial example are given to illustrate the effectiveness of the proposed algorithm.     

Incipient fault detection with smoothing techniques in statistical process monitoring

In modern industry, detecting incipient faults timely is of vital importance to prevent serious system performance deterioration and ensure optimal process operation. Recently, multivariate statistical process monitoring (MSPM) techniques have been extensively studied and widely applied to modern industrial systems. However, conventional fault detection indices utilized in statistical process monitoring are not sensitive to incipient faults with small magnitude. In this paper, by introducing two representative smoothing techniques, novel incipient fault detection strategies based on a generic fault detection index in MSPM are proposed. Fault detectability for each proposed strategy is analyzed. In addition, the effects of the smoothing parameters on fault detection, including advantages and disadvantages, are also investigated. Finally, case studies on a numerical example and two practical industrial processes are carried out to demonstrate the effectiveness of the proposed incipient fault detection strategies.     

基于故障树分析的嵌入式系统AADL模型可靠性分析方法

采用架构分析与设计语言(AADL)建立嵌入式系统的半形式化模型,实现从AADL模型到静态故障树(Static Fault Tree,SFT)模型的转换,并根据故障树定量分析法对系统可靠性进行分析。首先结合AADL错误模型附件建立可靠性模型;然后设计了从AADL模型到SFT模型的语义映射规则,并实现了将AADL模型中的基本元素转换为静态故障树中相对应的元素;最后结合飞机车轮刹车系统实例,使用文献中提出的方法对其进行可靠性分析,从而验证 所提方法的可行性和有效性。     

面向语句的MBFL变异体约减策略

在软件调试过程中如何高效、精确地定位程序中的错误代码是软件开发人员普遍关注的问题。MBFL是一种基于变异分析的错误定位技术,它在获得较高错误定位精度的同时会生成大量变异体,并在变异体上执行测试用例集,开销庞大。为了减少MBFL的变异执行开销,提出面向语句的变异体约减策略,通过分析测试用例的执行信息, 按一定比例 对每条由失败测试用例覆盖的语句生成的变异体集合进行约减。实验结果表明,在7个程序包的112个错误版本上,应用面向语句的变异体约减策略的MBFL,在保持较高错误定位精度的同时,能够有效减少73.51%~79.98%的变异执行开销。     

Real-time risk monitoring system for chemical plants

This study was performed to develop a Real-Time Risk Monitoring System which helps to do fault detection using the information from plant information systems in a chemical process. In this study, to do fault detection, principal component analysis (PCA) methods of multivariate statistical analysis were used. The fundamental notions are a set of variable combinations, that is, detection of principal components which indicate the tendency of variables and operating data. Besides classical statistic process control, PCA can reduce the dimension of variables with monitoring process. Therefore, they are known as suitable methods to treat enormous data composed of many dimensions. The developed Real-Time Risk Monitoring System can analyze and manage the plant information on-line, diagnose causes of abnormality and so prevent major accidents. It’s useful for operators to treat numerous process faults efficiently.     

关联维数在高速列车运行状态评估中的应用研究

基于监测数据评估高速列车空气弹簧和横向减振器等关键部件的运行状态,针对车体横向加速度振动信号,本文提出了关联维数的列车状态评估方法,分析了车体横向振动特征,对时域信号进行了频谱分析,并进一步分析了关联维数。为了计算关联维数,需先对信号进行相空间重构,然后求出重构相空间的两个关键参数;用互信息量方法[1]求出最佳延迟时间和用CAO [2]方法求出最佳嵌入维数。通过对监测数据的关联维数分析,证明了该列车在四种不同标准状态下的工况具有明显不同的关联维数特征。因此,按照关联维数的大小,就可诊断出列车可能出现的故障。研究结果表明,关联维数分析方法在设备状态监测与故障诊断中,尤其是在非线性系统的故障诊断中显示出其独特的优势,具有较为广阔的应用前景。