×

An event-based distributed diagnosis framework using structural model decomposition. (English) Zbl 1334.68294

Summary: Complex engineering systems require efficient on-line fault diagnosis methodologies to improve safety and reduce maintenance costs. Traditionally, diagnosis approaches are centralized, but these solutions do not scale well. Also, centralized diagnosis solutions are difficult to implement on increasingly prevalent distributed, networked embedded systems. This paper presents a distributed diagnosis framework for physical systems with continuous behavior. Using possible conflicts, a structural model decomposition method from the artificial intelligence model-based diagnosis (DX) community, we develop a distributed diagnoser design algorithm to build local event-based diagnosers. These diagnosers are constructed based on global diagnosability analysis of the system, enabling them to generate local diagnosis results that are globally correct without the use of a centralized coordinator. We also use possible conflicts to design local parameter estimators that are integrated with the local diagnosers to form a comprehensive distributed diagnosis framework. Hence, this is a fully distributed approach to fault detection, isolation, and identification. We evaluate the developed scheme on a four-wheeled rover for different design scenarios to show the advantages of using possible conflicts, and generate on-line diagnosis results in simulation to demonstrate the approach.

MSC:

68W15 Distributed algorithms
68M15 Reliability, testing and fault tolerance of networks and computer systems
68T40 Artificial intelligence for robotics
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Struss, P., Model-based diagnosis for industrial applications, (Colloquium-Applications of Model-Based Reasoning (1997), Institute of Electrical Engineers (IEE): Institute of Electrical Engineers (IEE) Savoy Place, London, United Kingdom)
[2] Reiter, R., A theory of diagnosis from first principles, Artif. Intell., 32, 57-95 (1987) · Zbl 0643.68122
[3] Hamscher, W.; Console, L.; de Kleer, J., Readings in Model-Based Diagnosis (1992), Morgan-Kaufmann Pub.: Morgan-Kaufmann Pub. San Mateo
[4] Gertler, J. J., Fault Detection and Diagnosis in Engineering Systems (1998), Marcel Dekker, Inc.: Marcel Dekker, Inc. New York, NY
[5] Dressler, O.; Struss, P., The consistency-based approach to automated diagnosis of devices, (Brewka, G., Principles of Knowledge Representation (1996), CSLI Publications: CSLI Publications Standford), 269-314 · Zbl 0962.68156
[6] Sampath, M.; Sengupta, R.; Lafortune, S.; Sinnamohideen, K.; Teneketzis, D., Diagnosability of discrete-event systems, IEEE Trans. Autom. Control, 40, 9, 1555-1575 (1995) · Zbl 0839.93072
[7] Mosterman, P. J.; Biswas, G., Diagnosis of continuous valued systems in transient operating regions, IEEE Trans. Syst. Man Cybern., Part A, Syst. Hum., 29, 6, 554-565 (1999)
[8] Roychoudhury, I.; Biswas, G.; Koutsoukos, X., Designing distributed diagnosers for complex continuous systems, IEEE Trans. Autom. Sci. Eng., 6, 2, 277-290 (2009)
[9] Daigle, M. J.; Koutsoukos, X.; Biswas, G., A qualitative event-based approach to continuous systems diagnosis, IEEE Trans. Control Syst. Technol., 17, 4, 780-793 (2009)
[10] Daigle, M.; Roychoudhury, I.; Biswas, G.; Koutsoukos, X., An event-based approach to distributed diagnosis of continuous systems, (Proceedings of the 21st International Workshop on Principles of Diagnosis (DX10). Proceedings of the 21st International Workshop on Principles of Diagnosis (DX10), Portland, Oregon, USA (2010)), 15-22
[11] Blanke, M.; Kinnaert, M.; Lunze, J.; Staroswiecki, M., Diagnosis and Fault-Tolerant Control (2006), Springer · Zbl 1126.93004
[12] Travé-Massuyès, L.; Escobet, T.; Olive, X., Diagnosability analysis based on component supported analytical redundancy relations, IEEE Trans. Syst. Man Cybern., Part A, Syst. Hum., 36, 6, 1146-1160 (2006)
[13] Krysander, M.; Aslund, J.; Nyberg, M., An efficient algorithm for finding minimal over-constrained sub-systems for model-based diagnosis, IEEE Trans. Syst. Man Cybern., Part A, Syst. Hum., 38, 1, 197-206 (2008)
[14] Pulido, B.; Alonso-González, C., Possible conflicts: a compilation technique for consistency-based diagnosis, IEEE Trans. Syst. Man Cybern., Part B, Cybern., 34, 5, 2192-2206 (2004)
[15] Bregon, A.; Biswas, G.; Pulido, B., A decomposition method for nonlinear parameter estimation in TRANSCEND, IEEE Trans. Syst. Man Cybern., Part A, Syst. Hum., 42, 3, 751-763 (2012)
[16] Balaban, E.; Narasimhan, S.; Daigle, M.; Celaya, J.; Roychoudhury, I.; Saha, B.; Saha, S.; Goebel, K., A mobile robot testbed for prognostics-enabled autonomous decision making, (Annual Conference of the Prognostics and Health Management Society (PHM11). Annual Conference of the Prognostics and Health Management Society (PHM11), Montreal, Canada (2011)), 15-30
[17] Balaban, E.; Narasimhan, S.; Daigle, M.; Roychoudhury, I.; Sweet, A.; Bond, C.; Gorospe, G., Development of a mobile robot test platform and methods for validation of prognostics-enabled decision making algorithms, Int. J. Prognost. Health Manag., 4, 1 (2013)
[18] Roychoudhury, I.; Daigle, M.; Bregon, A.; Pulido, B., A structural model decomposition framework for systems health management, (Proceedings of the 2013 IEEE Aerospace Conference. Proceedings of the 2013 IEEE Aerospace Conference, Big Sky, Montana, USA (2013))
[19] Chantler, M.; Daus, S.; Vikatos, T.; Coghill, G., The use of quantitative dynamic models and dependency recording engines, (Proc. of the 7th Intl. WS. on Principles of Diagnosis, DX96. Proc. of the 7th Intl. WS. on Principles of Diagnosis, DX96, Val Morin, Quebec, Canada (1996)), 59-68
[20] Biswas, G.; Cordier, M.; Lunze, J.; Travé-Massuyè, L.; Staroswiecki, M., Diagnosis of complex systems: bridging the methodologies of the FDI and DX communities, IEEE Trans. Syst. Man Cybern., Part B, Cybern., 34, 5, 2159-2162 (2004)
[21] de Kleer, J.; Kurien, J., Fundamentals of model-based diagnosis, (Preprints of the 5th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, SAFEPROCESS03. Preprints of the 5th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, SAFEPROCESS03, Washington D.C., USA (2003))
[22] Kinnaert, M., Fault diagnosis based on analytical models for linear and nonlinear systems - A tutorial, (Proceedings of the 15th International Workshop on Principles of Diagnosis (2003)), 37-50
[23] Cordier, M.; Dague, P.; Lévy, F.; Montmain, J.; Staroswiecki, M.; Travé-Massuyès, L., Conflicts versus analytical redundancy relations: a comparative analysis of the model-based diagnosis approach from the artificial intelligence and automatic control perspectives, IEEE Trans. Syst. Man Cybern., Part B, Cybern., 34, 5, 2163-2177 (2004)
[24] Brusoni, V.; Console, L.; Terenziani, P.; Theseider-Dupre, D., A spectrum of definitions for temporal model-based diagnosis, Artif. Intell., 102, 1, 39-80 (1998) · Zbl 0909.68177
[25] Loiez, E.; Taillibert, P., Polynomial temporal band sequences for analog diagnosis, (Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97). Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), Nagoya, Japan (1997)), 474-479
[26] Travé-Massuyès, L.; Escobet, T.; Quevedo, J., The causal qualitative fault detection and diagnosis system CAEN and its application in the gas turbine domain, (QMFDI Vacation School, DAMADICS Excellence Network (2000))
[27] Struss, P., Fundamentals of model-based diagnosis of dynamic systems, (International Joint Conference on Artificial Intelligence, vol. 15 (1997)), 480-485
[28] de Kleer, J.; Williams, B. C., Diagnosing multiple faults, Artif. Intell., 32, 97-130 (1987) · Zbl 0642.94045
[29] Armengol, J.; Bregon, A.; Escobet, T.; Gelso, E.; Krysander, M.; Nyberg, M.; Olive, X.; Pulido, B.; Travé-Massuyès, L., Minimal structurally overdetermined sets for residual generation: A comparison of alternative approaches, (Proceedings of the 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, SAFEPROCESS09. Proceedings of the 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, SAFEPROCESS09, Barcelona, Spain (2009)), 1480-1485
[30] Pulido, B.; Bregon, A.; Alonso-Gonzalez, C., Analyzing the influence of differential constraints in Possible Conflict and ARR computation, (Meseguer, P.; Mandow, L.; Gasca, R. M., Current Topics in Artificial Intelligence, CAEPIA 2009 Selected Papers. Current Topics in Artificial Intelligence, CAEPIA 2009 Selected Papers, LNAI, vol. 5988 (2009), Springer-Verlag: Springer-Verlag Berlin), 11-21
[31] Struss, P.; Dressler, O., Physical negation: Introducing fault models into the General Diagnostic Engine, (Proceedings of the 11th International Joint Conference on Artificial Intelligence, IJCAI89. Proceedings of the 11th International Joint Conference on Artificial Intelligence, IJCAI89, Detroit, Michigan, USA (1989)), 1318-1323
[32] Isermann, R.; Ballé, P., Trends in the application of model-based fault detection and diagnosis of technical processes, Control Eng. Pract., 5, 5, 709-719 (1997)
[33] Manders, E.-J.; Narasimhan, S.; Biswas, G.; Mosterman, P.-J., A combined qualitative/quantitative approach for fault isolation in continuous dynamic systems, (SafeProcess 2000, vol 1. SafeProcess 2000, vol 1, Budapest, Hungary (2000)), 1074-1079
[34] Daigle, M. J.; Koutsoukos, X. D.; Biswas, G., Distributed diagnosis in formations of mobile robots, IEEE Trans. Robot., 23, 2, 353-369 (2007)
[35] Daigle, M., A qualitative event-based approach to fault diagnosis of hybrid systems (2008), Vanderbilt University, Ph.D. thesis
[36] Sampath, M.; Sengupta, R.; Lafortune, S.; Sinnamohideen, K.; Teneketzis, D., Failure diagnosis using discrete-event models, IEEE Trans. Control Syst. Technol., 4, 2, 105-124 (1996)
[37] Debouk, R.; Lafortune, S.; Teneketzis, D., Coordinated decentralized protocols for failure diagnosis of discrete event systems, Discrete Event Dyn. Syst., 10, 1-2, 33-86 (2000) · Zbl 0959.93039
[38] Mutambara, A. G., Decentralized Estimation and Control for Multisensor Systems (1998), CRC Press: CRC Press Boca Raton · Zbl 0966.93007
[39] Samantaray, A.; Bouamama, B., Model-Based Process Supervision: A Bond Graph Approach (2008), Springer Verlag: Springer Verlag London, UK
[40] Pencolé, Y.; Cordier, M.-O., A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks, Artif. Intell., 164, 121-170 (2005) · Zbl 1132.93336
[41] Julier, S. J.; Uhlmann, J. K., A new extension of the Kalman filter to nonlinear systems, (Proceedings of the 11th International Symposium on Aerospace/Defense Sensing, Simulation and Controls (1997)), 182-193
[42] Arulampalam, M. S.; Maskell, S.; Gordon, N.; Clapp, T., A tutorial on particle filters for online nonlinear/non-Gaussian Bayesian tracking, IEEE Trans. Signal Process., 50, 2, 174-188 (2002)
[43] Biswas, G.; Simon, G.; Mahadevan, N.; Narasimhan, S.; Ramirez, J.; Karsai, G., A robust method for hybrid diagnosis of complex systems, (Proceedings of the 5th Symposium on Fault Detection, Supervision and Safety for Technical Processes (2003)), 1125-1131
[44] Roychoudhury, I.; Biswas, G.; Koutsoukos, X., Comprehensive diagnosis of continuous systems using dynamic Bayes nets, (Proceedings of the 19th International Workshop on Principles of Diagnosis (DX08). Proceedings of the 19th International Workshop on Principles of Diagnosis (DX08), Blue Mountains, Australia (2008)), 151-158
[45] Zad, S. H.; Kwong, R.; Wonham, W., Fault diagnosis in discrete-event systems: framework and model reduction, IEEE Trans. Autom. Control, 48, 7, 1199-1212 (2003) · Zbl 1364.93464
[46] Su, R.; Wonham, W. M., Global and local consistencies in distributed fault diagnosis of discrete-event systems, IEEE Trans. Autom. Control, 15, 12, 1923-1935 (2005) · Zbl 1365.93303
[47] Baroni, P.; Lamperti, G.; Pogliano, P.; Zanella, M., Diagnosis of large active systems, Artif. Intell., 110, 1, 135-183 (1999) · Zbl 0996.68209
[48] Kurien, J.; Koutsoukos, X.; Zhao, F., Distributed diagnosis of networked embedded systems, (Proceedings of the 13th International Workshop on Principles of Diagnosis (DX-02). Proceedings of the 13th International Workshop on Principles of Diagnosis (DX-02), Semmering, Austria (2002)), 179-188
[49] Indra, S.; Travé-Massuyès, L.; Chanthery, E., A decentralized FDI scheme for spacecraft: Bridging the gap between model based FDI research and practice, (4th European Conference for Aerospace Sciences. 4th European Conference for Aerospace Sciences, St Petersburg, Russia (2011))
[50] Koscielny, J.; Zakroczymski, K., Fault isolation method based on time sequences of symptom appearance, (Proceedings of IFAC Safaprocess. Proceedings of IFAC Safaprocess, Budapest, Hungary (2000))
[51] Puig, V.; Quevedo, J.; Escobet, T.; Pulido, B., On the integration of fault detection and isolation in model-based fault diagnosis, (Proceedings of the 16th International Workshop on Principles of Diagnosis (DX-05) (2005)), 227-232
[52] Puig, V.; Schmid, F.; Quevedo, J.; Pulido, B., A new fault diagnosis algorithm that improves the integration of fault detection and isolation, (Proceedings of the 44th IEEE Conference on Decision and Control (2005)), 3809-3814
[53] Bayoudh, M.; Travé-Massuyès, L.; Olive, X., Hybrid systems diagnosability by abstracting faulty continuous dynamics, (Proc. of the 17th Int. Workshop on Principles of Diagnosis (2006)), 9-15
[54] Meseguer, J.; Puig, V.; Escobet, T., Fault diagnosis using a timed discrete-event approach based on interval observers: Application to Sewer networks, IEEE Trans. Syst. Man Cybern., Part A, Syst. Hum., 40, 5, 900-916 (2010)
[55] Cordier, M.; Dousson, C., Alarm driven monitoring based on chronicles, (Proceedings of Safeprocess (2000)), 286-291
[56] Daigle, M.; Roychoudhury, I.; Biswas, G.; Koutsoukos, X.; Patterson-Hine, A.; Poll, S., A comprehensive diagnosis methodology for complex hybrid systems: A case study on spacecraft power distribution systems, IEEE Trans. Syst. Man Cybern., Part A, Syst. Hum., 4, 5, 917-931 (2010)
[57] Bregon, A.; Alonso, C.; Biswas, G.; Pulido, B.; Moya, N., Hybrid systems fault diagnosis with possible conflicts, (Proceedings of the 22nd International Workshop on Principles of Diagnosis. Proceedings of the 22nd International Workshop on Principles of Diagnosis, Murnau, Germany (2011)), 195-202
[58] Daigle, M.; Bregon, A.; Roychoudhury, I., Distributed damage estimation for prognostics based on structural model decomposition, (Annual Conference of the Prognostics and Health Management Society (PHM11). Annual Conference of the Prognostics and Health Management Society (PHM11), Montreal, Canada (2011)), 198-208
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.