A possible conflicts based distributed diagnosis method for hybrid system

Nowadays, complex hybrid systems, whose behavior combines continuous and discrete event dynamics, are applied in many engineering applications, from electrical circuits to aircraft systems. However, diagnosis of hybrid system, which is composed of components involving multiple modes, demands unfordable computation due to high complexity and its exponential behaviors caused by combinational explosion. The complexity of the hybrid system makes the online fault diagnosis challenging. Typical traditional model-based approaches for hybrid systems make use of global, monolithic system models for online analysis, which result in a loss of scalability and efficiency. To tackle this problem, this paper proposes a Possible Conflicts (PC) based distributed diagnosis method which 1) models hybrid system with Concurrent Probabilistic Hybrid Automation (cPHA) guaranteeing the robustness; 2) decomposes original system by PC so as to diagnose subsystems concurrently; and 3) employs Focused Hybrid Estimation (FHE) to estimate the most likely hybrid states (including discrete mode and continuous state) for each subsystem. In conclusion, we combine PC, cPHA and FHE in our distributed diagnosis method, which is an accurate and timely online fault diagnosis approach for state estimation of hybrid system. Finally, by using the method in a three-tank system, the advantage of such method is verified by the experimental results.

[1]  Y. Bar-Shalom,et al.  Multiple-model estimation with variable structure , 1996, IEEE Trans. Autom. Control..

[2]  M. Nyberg,et al.  Minimal Structurally Overdetermined sets for residual generation: A comparison of alternative approaches , 2009 .

[3]  Gautam Biswas,et al.  A Common Framework for Compilation Techniques Applied to Diagnosis of Linear Dynamic Systems , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[4]  Gautam Biswas,et al.  Analytic Redundancy, Possible Conflicts, and TCG-based Fault Signature Diagnosis applied to Nonlinear Dynamic Systems , 2009 .

[5]  Thordur Runolfsson,et al.  State Estimation and Mode Detection for Stochastic Hybrid System , 2008, 2008 IEEE International Symposium on Intelligent Control.

[6]  Carlos J. Alonso,et al.  An alternative approach to dependency-recording engines in consistency-based diagnosis , 2000 .

[7]  Gary J. Balas,et al.  Hybrid Systems: Review and Recent Progress , 2003 .

[8]  Carlos Alonso González,et al.  Possible conflicts: a compilation technique for consistency-based diagnosis , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[9]  Brian C. Williams,et al.  Hybrid estimation of complex systems , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[10]  Jie Chen,et al.  Robust Model-Based Fault Diagnosis for Dynamic Systems , 1998, The International Series on Asian Studies in Computer and Information Science.

[11]  Jitendra Tugnait.  Detection and estimation for abruptly changing systems , 1981, CDC 1981.

[12]  Brian C. Williams,et al.  Conflict-directed A* and its role in model-based embedded systems , 2007, Discret. Appl. Math..

[13]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[14]  G. A. Ackerson,et al.  On state estimation in switching environments , 1968 .

[15]  Brian C. Williams,et al.  Mode Estimation of Probabilistic Hybrid Systems , 2002, HSCC.

[16]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..