Fault diagnosis for discrete event systems: Modelling and verification

Reliability Engineering and System Safety

Volumn 95, Issue 4, 2010, Pages 369-378

  Simeu Abazi, Zineb ^a   Di Mascolo, Maria ^a   Knotek, Michal ^b  

^a LABORATOIRE G SCOP   (France)

^b Honewell HTSL ^*  (France)

Author keywords

Backward analysis; Detection; Diagnosis; Discrete event systems (DES); Fault location; Timed automata

Indexed keywords

BACKWARD ANALYSIS; BACKWARD TIME; BATCH PROCESS; DIAGNOSIS METHODS; DISCRETE EVENT SYSTEMS; DYNAMICAL MODEL; FAULT DIAGNOSIS; FAULT LOCATION; INITIAL STATE; MODEL-CHECKING TECHNIQUES; REAL-WORLD; REVERSE PATH; TIME ANALYSIS; TIMED AUTOMATA; TIMED MODELS;

AUTOMATA THEORY; BATCH DATA PROCESSING; DYNAMIC MODELS; FAILURE ANALYSIS; FAULT DETECTION; PACKET NETWORKS; ROBOTS; TRANSLATION (LANGUAGES);

MODEL CHECKING;

EID: 76149095897     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2009.11.007     Document Type: Article

References (40)

1. Alur R., and Dill D. A theory of timed automata. Theoretical Computer Science (TCS) 126 2 (1994) 183-235
2. Aven T. A semi-quantitative approach to risk analysis, as an alternative to QRAs. Reliability Engineering and System Safety 93 (2008) 768-775
3. Bengtsson J., and Yi W. Timed automata: semantics, algorithms and tools. Lecture Notes on Concurrency and Petri Nets. In: Reisig W., and Rozenberg G. (Eds). Lecture Notes in Computer Science, vol. 3098 (2004), Springer-Verlag
4. Blanke M., Kinnaert M., Lunze J., and Staroswiecki M. Diagnosis and fault-tolerant control (2003), Springer Verlag
5. Bryant RE. Symbolic Boolean manipulation with ordered binary decision diagrams. ACM Computing Surveys 24 3 (1992) 293-318
6. Chang K.P., Rausand M., and Vatn J. Reliability assessment of reliquefaction systems on LNG carriers. Reliability Engineering and System Safety 93 (2008) 1345-1353
7. Fanni A, Lera M, Marongiu E, Montisci A, Neural network diagnosis for visual inspection in printed circuit boards. In: Proceedings of the DX00 11th international workshop on principles of diagnosis, via Lattea, Italy, 2000.
8. Gao RX, Suryavanshi ADiagnosis from within the system. IEEE Instrumentation and Measurement Magazine, September.
9. Genc S, Lafortune SA Distributed algorithm for on-line diagnosis of place-bordered Petri Nets. In: Proceedings of the 16th international federation of automatic control world congress, Prague, Czech Republic, July 2005.
10. Gohari P., and Wonham WM. Reduced supervisors for timed discrete-event systems. IEEE Transactions on Automatic Control 48 7 (July 2003) 1187-1193
11. Ham D.H., and Yoon WC. The effects of presenting functionally abstracted information in fault diagnosis tasks. Reliability Engineering and System Safety 73 (2001) 103-119
12. Jones B., Jenkinson I., and Wang J. Methodology of using delay-time analysis for a manufacturing industry. Reliability Engineering and System Safety 94 (2009) 111-124
13. Knotek M. Fault diagnosis based on temporal analysis. PhD thesis, UJF Grenoble France and FEEC BUT Czech Republic, 2006.
14. Knotek M, Simeu-Abazi Z. Fault location by time analysis. In: Proceedings of the International conference on industrial engineering and systems management (IESM), May 2005, Marrakech, Morocco, 2005.
15. Henziger T.A., Nicollin X., Sifakis J., and Yovine S. Symbolic model checking for real-time systems. Journal of Information and Computation 111 2 (1994) 193-224
16. Hristov I, Lunze J, Supavatanakul P. A time discrete-event approach to diagnosis of the damadics actuator benchmark. In: Fifth DAMADICS Workshop, Poland, 2004.
17. Hsu L. Simultaneous determination of preventive maintenance and replacement policies in a queue-like production system with minimal repair. Reliability Engineering and System Safety 63/2 (1999) 161-167
18. Isermann R. Process fault detection based on modeling and estimation methods - a survey. Automatica 20 4 (1984) 387-404
19. Lefebvre A, Simeu-Abazi Z, Derain JP, Glade M. Diagnostic of the avionic equipment based on dynamic Fault tree, IFAC07, September 07, MONTERREY (Mexico).
20. Lunze J, Schröder J, Supavatanakul P. Diagnosis of discrete event systems: the method and an example (2001). In: Proceedings of the workshop on principles of diagnosis, DX'01, via Lattea, Italy, pp. 111-118.
21. Lunze J. Qualitative methods for fault diagnosis. Research report Bericht Nr. 2002.31.2002
22. Marseguerra M., Zio E., and Podofillini L. Condition based maintenance optimization by means of genetic algorithms and Monte Carlo simulation. Reliability Engineering and System Safety 77/2 (2002) 151-165
23. Panati A, Theseider Dupré D. Causal simulation and diagnosis of dynamic systems. In: Proceedings of the DX00 11th international workshop on principles of diagnosis (via Lattea, Italy). 2000
24. Pandalai D.N., and Holloway LE. Discrete-event models of quantised systems for diagnosis. IEEE Transactions on Automatic Control 45 5 (2000) 868-882
25. Pouliezos A.D., and Stavrakakis GS. Real time fault monitoring of industrial processes (1994), Kluwer Academic Publishers
26. Reifman J. Survey of artificial intelligence methods for detection and identification of component faults in nuclear power plants. Nuclear Technology 119 (1997) 76-97
27. Rintanen J, Grastien A. Diagnosablity testing with satisfiability algorithms. In: Proceedings of the international joint conference on artificial intelligence, 2007, Hyderabad, India.
28. Rozé L, Cordier MO. Diagnosing discrete-event systems: extending the "diagnoser approach" to deal with telecommunication networks. Discrete Event Dynamic Systems: Theory and Applications 2002;(12):43-81.
29. Sampath M., Sengupta R., Lafortune S., Sinnamohideen K., and Teneketzis D. Diagnosability of discrete event systems. IEEE Transactions on Automatic Control 40 9 (1995) 1555-1575
30. Sampath M., Sengupta R., Lafortune S., Sinnamohideen K., and Teneketzis D. Failure diagnosis using discrete event models. IEEE Transactions on Control Systems Technology 4 2 (1996) 105-124
31. Sengupta R. Discrete-event diagnostics of automated vehicles and highways. In: Proceedings of the 2001 American control conference (2001).
32. Simeu-Abazi Z, Zikmund J, Bouredji Z. Monitoring and predictive maintenance: optimisation of fault latency. In: International conference on intelligent maintenance system IMS, Arles, July 2004.
33. Simeu-Abazi Z., Zikmund J., and Bouredji Z. Monitoring and predictive maintenance: modelling and analysis of fault latency computer in industry - CII vol. 57 (August 2006), Elsevier Science
34. Simsek HT, Sengupta R, Yovine S, Eskafi F. Fault diagnosis for intra-platoon communication. In: Proceedings of the 38th IEEE conference on decision and control 1999.
35. Su R., and Wonham WM. Supervisor reduction for discrete-event systems. Discrete Event Dynamic Systems 14 1 (2004) 31-53
36. Supavatanakul P, Falkenberg C, Lunze J. Identification of timed discrete-event models for diagnosis. In: International workshop on principles of diagnosis (DX'03), Hamburg, 2003.
37. Tripakis S. Fault diagnosis for timed automata. In: Proceedings of the seventh international symposium on formal techniques in real-time and fault tolerant systems (FTRTFT 02), Oldenburg, Germany, 2002.
38. Wong K.C., and Wonham WM. On the computation of observers in discrete-event systems. Discrete Event Dynamic Systems 14 1 (2004) 55-107
39. Zad SH. Fault diagnosis on discrete-event and hybrid systems. PhD thesis, University Of Toronto, 1999.
40. Zad S.H., Kwong R.H., and Wonham WM. Fault diagnosis in fi{ligature}nite state automata and timed discrete-event systems. In: Topics in control and its applications: a tribute to EJ Davison, DE Miller and L Qiu (1999), Springer Verlag p. 81-105