Efficient Generation of Minimal Dynamic Bayesian Networks for Hybrid Systems Fault Diagnosis using Hybrid Possible Conflicts



Published Oct 14, 2013
Belarmino Pulido Noemi Moya Carlos J. Alonso-Gonza ́lez Anibal Bregon


Hybrid systems diagnosis requires different sets of equations for each operation mode in order to estimate the continuous system behaviour. In this work we rely upon Hybrid Possible Conflicts (HPCs), which are an extension of Possible Conflicts (PCs) for hybrid systems, that introduce the information about potential system modes as control specifications that activate/deactivate different sets of equations. We also introduce the concept of Hybrid Minimal Evaluation Models (H-MEMs) to represent the set of globally consistent causal assignments in an HPC for any potential mode.

H-MEMs can be explored for a specific operation mode, and its computational model automatically generated. In this work, the selected computational models are minimal Dynamic Bayesian Networks (DBNs). Since DBNs can be directly generated from PCs, and can be used for fault detection and isolation, we propose to efficiently generate Mini- mal DBNs models on-line using the H-MEM structure. By introducing fault parameters in the DBN model, we can also perform fault identification, providing an unifying framework for fault diagnosis, under single fault assumption. We test the approach in a simulation four-tank system.

How to Cite

Pulido, B. ., Moya, N. ., J. Alonso-Gonza ́lez C. ., & Bregon, A. . (2013). Efficient Generation of Minimal Dynamic Bayesian Networks for Hybrid Systems Fault Diagnosis using Hybrid Possible Conflicts. Annual Conference of the PHM Society, 5(1). https://doi.org/10.36001/phmconf.2013.v5i1.2255
Abstract 293 | PDF Downloads 79



fault diagnosis, Hybrid Systems, Model-based diagnosis, Dynamic Bayesian Network, Possible Conflicts

Alonso-Gonzalez, C., Moya, N., & Biswas, G. (2011). Dynamic Bayesian network factors from possible conflicts for continuous system diagnosis. In Proc. of the 14th Intl. Conf. on
Advances in AI (pp. 223–232). Berlin: Springer-Verlag. Available from http://dl.acm.org/citation.cfm?- id=2075561.2075588

Armengol, J., Brego ́n, A., Escobet, T., Gelso, E., Krysander, M., Nyberg, M., et al. (2009). Minimal Structurally Overdetermined sets for residual generation: A comparison of alternative approaches. In Proceedings of the 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, SAFEPROCESS09 (pp. 1480–1485).

Bayoudh, M., Trave ́-Massuye`s, L., & Olive ́, X. (2009). Di- agnosis of a Class of Non Linear Hybrid Systems by On-line Instantiation of Parameterized Analytical Redundancy Relations. In Proc. of the XX Intl. Workshop on Principles of Diagnosis, DX’09 (p. 283-289). Stock- holm, Sweden.

Bregon, A., Alonso, C., Biswas, G., Pulido, B., & Moya, N. (2012). Fault Diagnosis in Hybrid Systems using Possible Conflicts. In Proc. of the 8th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Safeprocess’12. Mexico City, Mexico.

Bregon, A., Biswas, G., & Pulido, B. (2012). A Decomposition Method for Nonlinear Parameter Estimation in TRANSCEND. IEEE Trans. Syst. Man. Cy. Part A, 42(3), 751-763.

Bregon, A., Pulido, B., Biswas, G., & Koutsoukos, X. (2009). Generating Possible Conflicts from Bond Graphs Using Temporal Causal Graphs. In Proceedings of the 23rd European Conference on Modelling and Simulation, ECMS’09 (p. 675-682). Madrid, Spain.

Cocquempot, V., El Mezyani, T., & Staroswiecki, M. (2004, Jul.). Fault detection and isolation for hybrid systems using structured parity residuals. In Proceedings of the 5th Asian Control Conference.

Hofbaur, M., & Williams, B. (2004, Oct.). Hybrid estimation of complex systems. IEEE T. Syst. Man. Cy. Part B, 34(5), 2178 -2191.

Karnopp, D., Margolis, D., & Rosenberg, R. (2006). System Dynamics: Modeling and Simulation of Mechatronic Systems. New York, NY, USA: John Wiley & Sons, Inc.

Koller, D., & Lerner, U. (2001). Sequential Monte Carlo Methods in Practice. In N. d. F. A. Doucet & N. Gordon (Eds.), (chap. Sampling in factored dynamic systems). Springer.

Koutsoukos, X., Kurien, J., & Zhao, F. (2003). Estimation of Distributed Hybrid Systems Using Particle Filtering Methods. In Proc. of the Intl. Workshop on Hybrid Systems: Computation and Control, HSCC’03 (p. 298- 313). Springer.

Moya, N., Bregon, A., Alonso-Gonza ́lez, C., & Pulido, B. (2013). A Common Framework for Fault Diagnosis of Parametric and Discrete Faults using Possible Con- flicts. In Proc. of the 15th Intl. Conf. on Advances in AI (pp. 239–249). Madrid, Spain: Springer-Verlag, Berlin.

Moya, N., Bregon, A., Alonso-Gonza ́lez, C., Pulido, B., & Biswas, G. (2012, Jul-Aug). Automatic Generation of Dynamic Bayesian Networks for Hybrid Systems Fault Diagnosis. In Proc. of the XXIII Intl. Workshop on Principles of Diagnosis, DX’12. Great Malvern, UK.

Murphy, K. (2002). Dynamic Bayesian Networks: Representation, Inference and Learning. Unpublished doctoral dissertation, University of California, Berkeley.

Narasimhan, S., & Biswas, G. (2007, May). Model-Based Diagnosis of Hybrid Systems. IEEE T. Syst. Man Cy. Part A, 37(3), 348-361.

Narasimhan, S., & Brownston, L. (2007). HyDE: A General Framework for Stochastic and Hybrid Model-based Diagnosis. In Proc. the XVIII Intl. Workshop on Principles of Diagnosis, DX’07 (p. 186-193). Nashville, USA.

Podgursky, B., G. B., & Koutsoukos, X. (2010, Oct). Efficient Tracking of Behavior in Complex Hybrid Systems via Hybrid Bond Graphs. In Proc. of the Prognostics and Health Management Conf., PHM’10. Portland, OR, USA.

Pulido, B., & Alonso, C. (2001). Dealing with cyclical configurations in (MORDRED). In Proc. of the 9th Intl. Conf. on Advances in AI, CAPIA’01 (p. 983-992). Gi- jon, Spain.

Pulido, B., & Alonso-Gonza ́lez, C. (2004, Oct.). Possi- ble Conflicts: a compilation technique for consistency- based diagnosis. IEEE Trans. Sys. Man Cy. Part B, 34(5), 2192-2206.

Pulido, B., Bregon, A., & Alonso-Gonza ́lez, C. (2010). analyzing the influence of differential constraints in Possible Conflicts and ARR Computation. In P. Meseguer, L. Mandow, & R.
Gasca (Eds.), Current Topics in Artificial Intelligence (Vol. 5988, p. 11-21). Springer Berlin.

Rienmu ̈ller, T., Bayoudh, M., Hofbaur, M., & Trave ́- Massuye`s, L. (2009). Hybrid Estimation through Synergic Mode-Set Focusing. In Proc. of 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Safeprocess’09 (p. 1480-1485). Barcelona, Spain.

Roychoudhury, I., Biswas, G., & Koutsoukos, X. (2008, Sept.). Comprehensive Diagnosis of Continuous systems Using Dynamic Bayes Nets. In Proc. of XIX Intl. Workshop on Principles of Diagnosis, DX’08. Blue Mountains, Australia.

Roychoudhury, I., Daigle, M., Biswas, G., & Koutsoukos, X. (2011, June). Efficient simulation of hybrid systems: A hybrid bond graph approach. SIMULATION: Transactions of the Society for Modeling and Simulation International(6), 467-498.
Technical Research Papers