Hierarchical fault diagnosis for discrete-event systems under global consistency

Discrete Event Dynamic Systems: Theory and Applications

Volumn 16, Issue 1, 2006, Pages 39-70

  Su, R ^a   Wonham, W M ^b  

^a UNIVERSITY OF WATERLOO   (Canada)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

Discret event systems; Distributed fault daignosis; Hierarchical; Multiresolutional computation

Indexed keywords

COMMUNICATION SYSTEMS; COMPUTATIONAL COMPLEXITY; FAULT TOLERANT COMPUTER SYSTEMS;

DISCRETE-EVENT SYSTEMS; DISTRIBUTED FAULT DIAGNOSIS; HIERARCHICAL; MULTIRESOLUTIONAL COMPUTATION;

DISCRETE TIME CONTROL SYSTEMS;

EID: 32944482813     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10626-006-6178-4     Document Type: Conference Paper

References (37)

1. Aghasaryan A, Fabre E, Benveniste A, Boubour R, Jard C (1997, December). A Petri net approach to fault detection and diagnosis in distributed systems. In Proc. 1997 IEEE Conference on Decision and Control (CDC'97), pp 720-725.
2. Autio K, Reiter R (1998, August). Structural abstraction in model-based diagnosis. Proc. 13th European Conference on Artificial Intelligence (ECAI'98), Brighton, UK pp 269-273.
3. Baroni P, Lamperti G, Pogliano P, Zanella M (1999, May). Diagnosis of large active systems. Artif. Intell 110(1):135-183.
4. Beeri C, Fagin R, Maier D, Yannakakis M (1983, July). On the desirability of acyclic database schemes. J Assoc Comput Mach 30(3):479-513.
5. Collin Z, Dechter R, Katz S (1991). On the feasibility of distributed constraint satisfaction. Proc. 12th International Joint Conference on Artificial Intelligence, pp 318-324.
6. Contant O, Lafortune S, Teneketzis D (2004, September). Diagnosis of modular discrete event systems. Proc. 7th International Workshop on Discrete Event Systems (WODES04), Reims, France, pp 337-342.
7. Debouk R, Lafortune S, Teneketzis D (2000, January). Coordinated decentralized protocols for failure diagnosis of discrete event systems. Discrete Event Dynamic Systems: Theory and Applications 10(1/2):33-86.
8. Duarte E, Nanya T (1998). A hierarchical adaptive distributed system-level diagnosis algorithm. IEEE Trans, on Computers 47(1):34-45.
9. Fabre E, Benveniste A, Jard C (2002, July). Distributed diagnosis for large discrete event dynamic systems. Proc. 15th IFAC World Congress, Barcelona, Spain.
10. Fabre E, Benveniste A., Haar S, and Jard C (2000, March). Distributed monitoring of concurrent and asynchronous systems. Discrete Event Dynamic Systems: Theory and Applications 15(1):33-84.
11. Fagin R (1983, July). Degrees of acyclicity for hypergraphs and relational database schemes. J. Assoc Comput Mach 30(3):514-550.
12. Giunchiglia F, Walsh T (1992). A theory of abstraction. Artif Intell 57(2):323-389.
13. Hadjicostis, CN and Verghese GC (1999, June). Monitoring discrete event systems using Petri net embeddings. Springer-Verlag Lect. Notes Comput Sci 1639:188-207.
14. Harel D (1987). Statecharts: a visual formalism for complex systems. Sci Comput Program 8:231-274.
15. Harel D (1997). Executable object modeling with statecharts. IEEE Comput 30(7):31-42.
16. Hashtrudi Zad S, Kwong RH, Wonham WM, (2003). Fault diagnosis in discrete-event systems: framework and model reduction. IEEE Trans Automat Contr 48(7):1199-1212.
17. Hopcroft JE, Ullman JD (1979). Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading, Massachusetts.
18. Mac Lane S, Birkhoff G (1988). Algebra. Chelsea, New York.
19. Meyer Y (1992). Wavelets and Operators. Cambridge University, Cambridge.
20. Mohammadi Idghamishi A, Hashtrudi Zad S (2004a, December). Fault diagnosis in hierarchical discrete-event systems. Proc. of the 43th IEEE Conference on Decision and Control, Nassau, Bahamas.
21. Mohammadi Idghamishi A, Hashtrudi Zad S (2004b, December). Hierarchical fault diagnosis: application to an ozone plant. 2004 IEEE Conference on Robotics, Automation and Mechatronics, Singapore.
22. Mozetic I (1991). Hierarchical model-based diagnosis. Int J Man-Mach Stud 35(3):329-362.
23. Nayak PP, Levy AY (1995). A semantic theory of abstractions. Proc. 14th International Joint Conference on Artificial Intelligence (IJCAI-95), Montreal, Canada, pp 196-203.
24. Pencolé Y, Cordier M-O, Rozé L (2002, September). A decentralized model-based diagnostic tool for complex systems. Int J Artif Intell Tools (IJAIT) 11(3):327-346.
25. Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1996). Failure diagnosis using discrete-event models. IEEE Trans Control Syst Technol 4(2):105-124.
26. Stroobandt D, Van Campenhout J (1996, November). Hierarchical test generation with built-in fault diagnosis. Proc 5th Asian Test Symp, pp 22-28.
27. Su R, Wonham WM (2000, March). Decentralized fault diagnosis for discrete-event systems. In Proc. 2000 CISS, Princeton, New Jersey, pp TP1:1-6.
28. Su R, Wonham WM (2004, September). A model of component consistency in distributed diagnosis. Proc. 2004 IFAC Workshop on Discrete Event Systems (WODES'04), Reims, France, pp 427-432.
29. Su R, Wonham WM (2005, December). Global and local consistencies in distributed fault diagnosis for discrete-event systems. IEEE Transactions on Automatic Control 50(12): 1923-1935.
30. Su M-S, Thulasiraman K, Das A (2001, October). A multi-level adaptive distributed diagnosis algorithm for fault detection in a network of processors. Proc. 39th Annual Allerton Conf. on Communication, Control, and Computers, Monticello, IL.
31. Su R, Wonham WM, Kurien J, Koutsoukos X (2002, October). Distributed diagnosis for qualitative systems. Proc. 6th International Workshop on Discrete Event Systems (WODES'02), Zaragoza, Spain, pp 169-174.
32. Weigel R, Faltings B (1999). Compiling constraint satisfaction problems. Artif Intell 115(2): 257-287.
33. Wong K C, Wonham WM (2004, January). On the computation of observers in discrete-event systems. Discrete Event Dynamic Systems: Theory and Applications 14(1):55-107.
34. Wonham WM (2004a). Supervisory Control of Discrete-Event Systems. Systems Control Group, Dept. of ECE, University of Toronto. URL: www.control.utoronto. ca/DES.
35. Wonham WM (2004b). Design Software. Systems Control Group, Dept. of ECE, University of Toronto. URL: www.control.utoronto.ca/DES.
36. Yokoo M, Durfee EH, Ishida T, Kuwabara K (1998). The distributed constraint satisfaction problem: formalization and algorithms. IEEE Trans Knowl Data Eng 10(5):673-685.
37. Zhang Y, Mackworth A (1991). Parallel and distributed algorithms for finite constraint satisfaction problems. Proc. 3rd IEEE Symposium on Parallel and Distributed Processing, pp 394-39.