Abstract
Real life experience has shown that intermittent faults are among the most challenging kinds of faults to detect and isolate, being present in the majority of production systems. Such a concern has made intermittent fault an active area of research in both discrete event and continuous-variable dynamic systems. In this paper, we present a review of the state-of-the art of intermittent fault diagnosability of discrete event systems modeled by finite state automata. To this end, we revisit the main definitions of diagnosability of intermittent faults, and present comparisons between them, consider verification and analysis techniques, and discuss available complexity results. Examples are used throughout the paper to illustrate the reviewed concepts and verification algorithms. We also look ahead, by suggesting some perspectives for future research.
Similar content being viewed by others
Notes
As shown in Santoro et al. (2017), the case of multiple intermittent faults (and consequently recoveries) can be addressed by considering each fault type separately while assuming the other fault types as ordinary unobservable events.
Every made assumption is to be applied to the remainder of the text unless explicitly indicated. Nevertheless, for the sake of clarity, we will indicate in all results which assumptions are being required.
If the automaton that recognizes some language is non-deterministic, then it can be made deterministic by computing its observer (Cassandras and Lafortune 2008, p. 89).
Some assumptions can be relaxed for some approaches. When this is the case, it will be indicated explicitly.
Given a cycle cl in the diagnoser, we say that two cycles cl1 and cl2 in the system model are consistent with cl if event-sequences s1 and s2 associated with cl1 and cl2 respectively, and the event-sequence s associated with cl, share the same observation, i.e., P(s1) = P(s2) = scl.
The diagnoser computation is presented at the beginning of this section (cf. Section 4.2.1).
Differently from diagnosability, discriminability is the possibility to detect the exclusive occurrence of a particular behavior of interest.
Prediagnosability consists in detecting the occurrence of an indicator trace which ensures that the fault occurrence is inevitable.
References
Anderson RJ, Aylward SR (1993) Lab testing of neural networks for improved aircraft onboard-diagnostics on flight-ready hardware. Annual Reliability and Maintainability Symposium, pp 404–410
Aydin I, Karaköse E, Karaköse M, Gençoğlu MT, Akın E (2013) A new computer vision approach for active pantograph control. IEEE International Symposium on Innovations in Intelligent Systems and Applications, pp 1–5
Ball M, Hardie F (1969) Effects and detection of intermittent failures in digital systems. In: Proceedings of computer conference, pp 329–335
Banerjee N, Khilar P (2010) Performance analysis of distributed intermittent fault diagnosis in wireless sensor networks using clustering. In: International conference on industrial and information systems, pp 13–18
Basilio JC, Lima STS, Lafortune S, Moreira MV (2012) Computation of minimal event bases that ensure diagnosability. Discrete Event Dynamic Systems 22(3):249–292
Biswas S (2012) Diagnosability of discrete event systems for temporary failures. Computers & Electrical Engineering 38(6):1534–1549
Boussif A (2016) Contributions to fault diagnosis of discrete-event systems. PhD thesis, University of Lille - Sciences & Technologies
Boussif A, Ghazel M (2015) Diagnosability analysis of input/output discrete event system using model checking. 5th, IFAC International Workshop on Dependable Control of Discrete Systems 48(7):71–78
Boussif A, Ghazel M (2016a) Intermittent fault diagnosis of industrial systems in a model-checking framework. In: IEEE International Conference on Prognostics and Health Management, pp 1–6
Boussif A, Ghazel M (2016b) Using model-checking techniques for diagnosability analysis of intermittent faults-a railway case study. Verification and Evaluation of Computer and Communication Systems, pp 93–104
Boussif A, Ghazel M (2017) A diagnoser-based approach for intermittent fault diagnosis of discrete-event systems. In: American control conference, pp 3860–3867
Boussif A, Ghazel M (2018) Formal verification of intermittent fault diagnosability of discrete-event systems using model-checking. International Journal of Critical Computer-Based Systems 8(2):193–213
Boussif A, Ghazel M (2020) Diagnosability analysis of intermittent faults in discrete event systems using a twin-plant structure. International Journal of Control Automation and Systems 18:682–695
Boussif A, Liu B, Ghazel M (2016) A twin-plant based approach for diagnosability analysis of intermittent failures. 13th International Workshop on Discrete Event Systems pp 237–244
Carvalho LK, Basilio JC, Moreira MV (2010) Robust diagnosability of discrete event systems subject to intermittent sensor failures. International Workshop on Discrete Event Systems, pp 84–89
Carvalho LK, Basilio JC, Moreira MV (2012) Robust diagnosis of discrete event systems against intermittent loss of observations. Automatica 48 (9):2068–2078
Carvalho LK, Basilio JC, Moreira MV, Clavijo LB (2013) Diagnosability of intermittent sensor faults in discrete event systems. In: American Control Conference, pp 929–934
Carvalho LK, Moreira MV, Basilio JC (2017) Diagnosability of intermittent sensor faults in discrete event systems. Automatica 79:315–325
Cassandras C, Lafortune S (2008) Introduction to discrete event systems, 2nd Edition. Springer Science
Chang JTY, McCluskey EJ (1997) Detecting bridging faults in dynamic CMOS circuits. IEEE International Workshop on IDDQ Testing, pp 106–109
Cherkassky BV, Goldberg AV, Radzik T (1996) Shortest paths algorithms: Theory and experimental evaluation. Math Program 73(2):129–174
Cimatti A, Pecheur C, Cavada R (2003) Formal verification of diagnosability via symbolic model checking. In: Proceedings of the 18th international joint conference on Artificial intelligence, pp 363–369
Contant O (2005) On monitoring and diagnosing classes of discrete event systems. PhD thesis, University of Michigan
Contant O, Lafortune S, Teneketzis D (2002) Failure diagnosis of discrete event system: the case of intermittent faults. In: International Conference on Decision and Control, pp 4006–4017
Contant O, Lafortune S, Teneketzis D (2004) Diagnosis of intermittent faults. Discrete Event Dynamic Systems 14(2):171–202
Correcher A, Garcia E, Morant F, Quiles E (2003) Intermittent failure diagnosis in industrial processes. IEEE International Symposium on Industrial Electronics 2:723–728
Deng G, Qiu J, Liu G, Lyu K (2013) A novel fault diagnosis approach based on environmental stress level evaluation. Proceedings of the Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering 227(5):816–826
Deng G, Qiu J, Liu G, Lyu K (2014a) A discrete event systems approach to discriminating intermittent from permanent faults. Chinese Journal of Aeronautics 27(2):390–396
Deng G, Qiu J, Liu G, Lyu K (2014b) A stochastic automaton approach to discriminate intermittent from permanent faults. Proceedings of the Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering 228 (6):880–888
Emerson EA, et al. (1990) Temporal and modal logic. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 995(1072):1–5
Erkoyuncu JA, Khan S, Hussain SMF, Roy R (2016) A framework to estimate the cost of no-fault found events. Int J Prod Econ 173:207–222
Fabre E, Hélouet L, Lefaucheux E, Marchand H (2016) Diagnosability of repairable faults. 13th International workshop on discrete event systems, pp 230–236
Fabre E, Hélouët L, Lefaucheux E, Marchand H (2018) Diagnosability of repairable faults. Discrete Event Dynamic Systems 28(2):183–213
Fromherz MPJ, Bobrow DG, de Kleer J (2004) Model-based computing for design and control of reconfigurable systems. AI Mag 24(4):120–130
García E, Rodriguez L, Morant F, Correcher A, Quiles E (2008a) Latent nestling method: A new fault diagnosis methodology for complex systems. In: 34th annual conference of industrial electronics, IEEE, pp 253–258
García E, Rodríguez L, Morant F, Correcher A, Quiles E, Blasco R (2008b) Fault diagnosis with coloured Petri nets using latent nestling method. In: IEEE international symposium on industrial electronics, IEEE, pp 986–991
Garcia HE, Yoo TS (2005) Model-based detection of routing events in discrete flow networks. Automatica 41(4):583–594
Ghazel M, Toguyéni A, Yim P (2009) State observer for DES under partial observation with time Petri nets. Discrete Event Dynamic Systems 19 (2):137–165
Goldberg AV (1995) Scaling algorithms for the shortest paths problem. SIAM J Comput 24(3):494–504
Gougam HE, Subias A, Pencolé Y (2013a) Supervision patterns: diagnosability checking by Petri net unfolding. 4th IFAC Workshop on Dependable Control of Discrete Systems, pp 73–78
Gougam HE, Subias A, Pencolé Y (2013b) Supervision patterns: formal diagnosability checking by Petri net unfolding. IFAC Workshop on Dependable Control of Discrete Systems, pp 73–78
Gougam HE, Subias A, Pencolé Y (2014) Discriminability analysis of supervision patterns by net unfoldings. IFAC Proceedings 47(2):459–464
Gougam HE, Pencolé Y, Subias A (2017) Diagnosability analysis of patterns on bounded labeled prioritized petri nets. Discrete Event Dynamic Systems 27(1):143–180
Gracia J, Saiz LJ, Baraza JC, Gil D, Gil PJ (2008) Analysis of the influence of intermittent faults in a microcontroller. In: 11th IEEE workshop on design and diagnostics of electronic circuits and systems, IEEE, pp 1–6
Grastien A (2009) Symbolic testing of diagnosability. 20th International Workshop on Principles of Diagnosis
Hardie FH, Suhocki RJ (1967) Design and use of fault simulation for saturn computer design. IEEE Trans Electron Comput EC-16(4):412–429
Hashtrudi Zad S, Kwong RH, Wonham WM (2003) Fault diagnosis in discrete-event systems: framework and model reduction. IEEE Trans Autom Control 48(7):1199–1212
Hsu YT, Hsu CF (1991) Novel model of intermittent faults for reliability and safety measures in long-life computer systems. Int J Electron 71(6):917–937
Huang Z (2003) Rules based modeling of discrete event systems with faults and their diagnosis. PhD thesis, University of Kentucky
Isermann R (2006) Fault-diagnosis systems: an introduction from fault detection to fault tolerance. Springer Science & Business Media
Ismaeel AA, Bhatnagar R (1997) Test for detection and location of intermittent faults in combinational circuits. IEEE Trans Reliab 46(2):269–274
Jéron T, Marchand H, Pinchinat S, Cordier MO (2006) Supervision patterns in discrete event systems diagnosis. In: 2006 8th International Workshop on Discrete Event Systems, pp 262–268
Jiang S, Kumar R (2004) Failure diagnosis of discrete-event systems with linear-time temporal logic specifications. IEEE Trans Autom Control 49 (6):934–945
Jiang S, Kumar R (2006) Diagnosis of repeated failures for discrete event systems with linear-time temporal-logic specifications. IEEE Trans Autom Sci Eng 3(1):47–59
Jiang S, Huang Z, Chandra V, Kumar R (2001) A polynomial algorithm for testing diagnosability of discrete-event systems. IEEE Trans Autom Control 46(8):1318–1321
Jiang S, Kumar R, Garcia HE (2003) Diagnosis of repeated/intermittent failures in discrete event systems. IEEE Trans Robotic Autom 19(2):310–323
Johnson DB (1975) Finding all the elementary circuits of a directed graph. SIAM J Comput 4(1):77–84
Kim CJ (2009) Electromagnetic radiation behavior of low-voltage arcing fault. IEEE Trans Power Delivery 24(1):416–423
Kimseng K, Hoit M, Tiwari N, Pecht M (1999) Physics-of-failure assessment of a cruise control module. Microelectron Reliab 39(10):1423–1444
Kumar R, Takai S (2014) Comments on “polynomial time verification of decentralized diagnosability of discrete event systems” versus “decentralized failure diagnosis of discrete event systems”: Complexity clarification. IEEE Trans Autom Control 59(5):1391–1392
Lamperti G, Zanella M (2004) Diagnosis of discrete-event systems by separation of concerns, knowledge compilation, and reuse. In: Proceedings of the 16th European conference on artificial intelligence, IOS Press, pp 838–842
Lefebvre D, Leclercq E (2011) Stochastic petri net identification for the fault detection and isolation of discrete event systems. IEEE Transactions on Systems, Man, and Cybernetics-Part A:, Systems and Humans 41(2):213–225
Lin F (1991) Analysis and synthesis of discrete event systems using temporal logic. IEEE International Symposium on Intelligent Control, pp 140–145
Lin F (1994) Diagnosability of discrete event systems and its applications. Discrete Event Dynamic Systems 4(2):197–212
Lin F, Wonham WM (1988) On observability of discrete-event systems. Inf Sci 44(3):173–198
Madden MGM, Nolan PJ (1999) Monitoring and diagnosis of multiple incipient faults using fault tree induction. IEE Proceedings - Control Theory and Applications 146(2):204–212
Martínez MAT, Moreno EG (2008) Fault diagnosis and modeling of the liquids packaging process. a research based on Petri nets. In: 10Th international conference on control, automation, Robotics and Vision, IEEE, pp 1620–1624
Maul C, McBride JW, Swingler J (2001) Intermittency phenomena in electrical connectors. IEEE Transactions on Components and Packaging Technologies 24(3):370–377
Moreira MV, Jesus TC, Basilio JC (2011) Polynomial time verification of decentralized diagnosability of discrete event systems. IEEE Trans Autom Control 56(7):1679–1684
Moreira MV, Basilio JC, Cabral FG (2016) Polynomial time verification of decentralized diagnosability of discrete event systems” versus “Decentralized failure diagnosis of discrete event systems”: A critical appraisal. IEEE Transactions on Automatic Control 61(1):178–181
Overton D (2006) No fault found returns cost the mobile industry $4.5 billion per year. WDSGlobal, juillet
Pan S, Hu Y, Li X (2012) Ivf: Characterizing the vulnerability of microprocessor structures to intermittent faults. IEEE Transactions on Very Large Scale Integration Systems 20(5):777–790
Pencolé Y, Subias A (2018) Diagnosis of supervision patterns on bounded labeled petri nets by model checking. 28th International Workshop on Principles of Diagnosis, pp 184–199
Qiu W, Kumar R (2006) Decentralized failure diagnosis of discrete event systems. IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans 36(2):384–395
Rintanen J, et al. (2007) Diagnosers and diagnosability of succinct transition systems. In: International joint conference on artificial intelligence, pp 538–544
Roberts M (1989) A fault-tolerant scheme that copes with intermittent and transient faults in sequential circuits. In: Proceedings of the 32nd midwest symposium on circuits and systems, pp 36–39
Rodriguez L, Garcia E, Morant F, Correcher A, Quiles E (2008) Application of latent nestling method using coloured Petri nets for the fault diagnosis in the wind turbine subsets. In: Proceedings of 2008 IEEE international conference emerging technologies and factory automation, pp 767–773
Rodriguez-Urrego L, García E, Quiles E, Correcher A, Morant F, Pizá R (2015) Diagnosis of intermittent faults in IGBTs using the latent nestling method with hybrid coloured Petri nets. Math Probl Eng, pp 2015
Salvatore JB, Elizabeth R, Joanne Bechta D, Kishor ST, Nitin M, Robert MG, Mark DS (2003) Hybrid Automated Reliability Predictor Integrated Reliability Tool System HARP (Version 7.0). NASA Langley Technical Report Server
Sampath M, Sengupta R, Lafortune S (1995) Diagnosability of discrete-event systems. IEEE Trans Autom Control 40(9):1555–1575
Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis DC (1996) Failure diagnosis using discrete-event models. IEEE Trans Control Syst Technol 4(2):105–124
Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis DC (1996b) Failure diagnosis using discrete-event models. IEEE Trans Control Syst Technol 4(2):105–124
Santoro LP, Moreira MV, Basilio JC (2017) Computation of minimal diagnosis bases of discrete-event systems using verifiers. Automatica 77:93–102
Schumann A, Pencole Y (2007) Scalable diagnosability checking of event-driven system. In: International joint conference on artificial intelligence, pp 575–580
Sharma R, Dewan L, Chatterji S (2015) Computer networks reliability evaluations and intermittent faults. International Journal of Electronics and Electrical Engineering 3(6):465–471
Sharma R, Dewan L, Chatterji S (2015b) Fault diagnosis methods in dynamic systems: a review. International Journal of Electronics and Electrical Engineering 3(6):465–471
Shen Q, Qiu J, Liu G, Lyu K (2016) Intermittent faults parameter framework and stochastic Petri net based formalization model. Eksploatacja I neizawodnosc 18(2):1–210
Söderholm P (2007) A system view of the no fault found (NFF) phenomenon. Reliability Engineering & System Safety 92(1):1–14
Soldani S, Combacau M, Subias A, Thomas J (2006) Intermittent fault detection through message exchanges: a coherence based approach . International Workshop Principles Diagnosis, pp 251–257
Soldani S, Combacau M, Subias A, Thomas J (2007) Intermittent fault diagnosis: a diagnoser derived from the normal behavior. International Workshop Principles Diagnosis, pp 391–399
Soldani S, Combacau M, Subias A, Thomas J (2007b) On-board diagnosis system for intermittent fault: Application in automotive industry. IFAC Proceedings Volumes 40(22):151–158
Sorensen B, Kelly G, Sajecki A, Sorensen P (1994) An analyzer for detecting intermittent faults in electronic devices. In: IEEE Proceedings of systems readiness technology conference, pp 417–421
Steadman B, Pombo T, Madison I, Shively J, Kirkland L (2002) Reducing no fault found using statistical processing and an expert system. In: AUTOTESTCON Proceedings, IEEE, pp 872–878
Steadman B, Sievert S, Sorensen B, Berghout F (2005) Attacking bad actor and no fault found electronic boxes. In: IEEE AUTOTESTCON, pp 821–824
Steadman B, Berghout F, Olsen N, Sorensen B (2008) Intermittent fault detection and isolation system. IEEE AUTOTESTCON, pp 37–40
Syed WA, Khan S, Phillips P, Perinpanayagam S (2013) Intermittent fault finding strategies. Procedia CIRP 11:74–79
Thistle J, Wonham W (1986) Control problems in a temporal logic framework. Int J Control 44(4): 943–976
Thorsley D, Teneketzis D (2005) Diagnosability of stochastic discrete-event systems. IEEE Trans Autom Control 50(4):476–492
Trigos M, Barrientos A, Del-Cerro J (2016) Unmanned helicopter faults diagnosis based on Petri nets. ID Revista de Investigaciones 08(2):91–103
Viana GS, Moreira MV, Basilio JC (2019) Codiagnosability analysis of discrete-event systems modeled by weighted automata. IEEE Trans Autom Control 64(10):4361–4368
Viana GS, Basilio JC (2019) Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications. Automatica 101:354–364
Viana GS, Basilio JC, Moreira MV (2015) Computation of the maximum time for failure diagnosis of discrete-event systems. In: American Control Conference, pp 396–401
Yan R, He X, Zhou D (2015) Robust detection of intermittent faults for linear discrete-time stochastic systems with parametric perturbations. In: 34th Chinese control conference, pp 6308–6313
Yan Y, Ye L, Dague P (2010) Diagnosability for patterns in distributed discrete event systems. In: 21st international workshop on principles of diagnosis DX’10
Yang H, Jiang B, Zhang Y (2012) Tolerance of intermittent faults in spacecraft attitude control: switched system approach. IET Control Theory & Applications 6(13):2049–2056
Ye L, Dague P (2012) A general algorithm for pattern diagnosability of distributed discrete event systems. In: 2012 IEEE 24th international conference on Tools with artificial intelligence (ICTAI), vol 1. IEEE, pp 130–137
Ye L, Dague P, Yan Y (2009) An incremental approach for pattern diagnosability in distributed discrete event systems. In: 2009 21st IEEE international conference on tools with artificial intelligence, IEEE, pp 123–130
Yoo TS, Garcia HE (2004) Event diagnosis of discrete-event systems with uniformly and nonuniformly bounded diagnosis delays. Proceedings of the American Control Conference 2004(6):5102–5107
Yoo TS, Garcia HE (2005) New results on discrete-event counting under reliable and unreliable observation information. In: IEEE Proceedings on Networking, Sensing and Control, pp 688–693
Yoo TS, Garcia HE (2008) Stochastic event counter for discrete-event systems under unreliable observations. American Control Conference 2008:1145–1152
Yoo TS, Garcia HE (2009) Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays. Discrete Event Dynamic Systems 19(2):167–187
Yoo TS, Lafortune S (2002) Polynomial-time verification of diagnosability of partially observed discrete-event systems. IEEE Trans Autom Control 47 (9):1491–1495
Zaytoon J, Lafortune S (2013) Overview of fault diagnosis methods for discrete event systems. Annu Rev Control 37(2):308–320
Zaytoon J, Sayed-Mouchaweh M (2012) Discussion on fault diagnosis methods of discrete event systems. 11th IFAC Workshop on Discrete Event Systems, pp 9–12
Zhou C, Kumar R (2009) Computation of diagnosable fault-occurrence indices for systems with repeatable faults. IEEE Trans Autom Control 54(7):1477–1489
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The work of M. Ghazel was supported by ELSAT2020 project. ELSAT2020 is co-financed by the European Union with the European Regional development Fund, the French state and the Hauts de France Region Council.
The work of J. C. Basilio was supported in part by the Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES), Finance Code 001, and the Brazilian Research Council (CNPq), grant number 309652/2017-0.
Rights and permissions
About this article
Cite this article
Boussif, A., Ghazel, M. & Basilio, J.C. Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches. Discrete Event Dyn Syst 31, 59–102 (2021). https://doi.org/10.1007/s10626-020-00324-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10626-020-00324-y