Global and local consistencies in distributed fault diagnosis for discrete-event systems

IEEE Transactions on Automatic Control

Volumn 50, Issue 12, 2005, Pages 1923-1935

  Su, R ^a   Wonham, W M ^b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

Discrete event systems; Distributed fault diagnosis; Global consistency; Local consistency

Indexed keywords

CONTROL SYSTEM ANALYSIS; DISTRIBUTED PARAMETER CONTROL SYSTEMS; FINITE AUTOMATA; MATHEMATICAL MODELS; RELIABILITY;

DISTRIBUTED FAULT DIAGNOSIS; GLOBAL CONSISTENCY; LOCAL CONSISTENCY;

DISCRETE TIME CONTROL SYSTEMS;

EID: 30344486002     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2005.860291     Document Type: Article

References (40)

1. Aghasaryan, E. Fabre, A. Benveniste, R. Boubour, and C. Jard, "A Petri net approach to fault detection and diagnosis in distributed systems," in Proc. 1997 IEEE Conf. Decision and Control (CDC'97), Dec. 1997, pp. 720-725.
2. P. Baroni, G. Lamperti, P. Pogliano, and M. Zanella, "Diagnosis of large active systems,"Art. Intell., vol. 110, no. 1, pp. 135-183, May 1999.
3. J. Chen and R. J. Patton, Robust Model-Based Fault Diagnosis for Dynamic Systems. Boston, MA: Kluwer, 1999.
4. M. D. Cin, W. Hohl, and V. Sieh, "Hardware-supported fault tolerance for multiprocessors," in Proc. Architektur von Rechensystemen ARCS'97. Rostock, Germany, 1997, pp. 13-22.
5. A. P. Dawid, "Applications of a general propagation algorithm for probabilistic expert systems," Statist. Comput., vol. 2, pp. 25-36, 1992.
6. J. de Kleer and B. C. Williams, "Diagnosing multiple faults," Art. Intell., vol. 32, pp. 97-130, 1987.
7. R. Debouk, S. Lafortune, and D. Teneketzis, "Coordinated decentralized protocols for failure diagnosis of discrete event systems," Discrete Event Dyna. Syst.: Theory Appl., vol. 10, no. 1/2, pp. 33-86, Jan. 2000.
8. R. Diestel, Graph Theory, 2nd ed. New York: Springer-Verlag, 2000.
9. E. Fabre, A. Benveniste, S. Haar, and C. Jard, "Distributed monitoring of concurrent and asynchronous systems;" J. Discrete Event Dyna. Syst., vol. 15, no. 1, pp. 33-84, Mar. 2005.
10. E. Fabre, A. Benveniste, and C. Jard, "Distributed diagnosis for large discrete event dynamic systems," in Proc. 15th IFAC World Congr., Barcelona, Spain, Jul. 2002.
11. E. Fabre, A. Benveniste, C. Jard, L. Ricker, and M. Smith, "Distributed state reconstruction for discrete event systems," in Proc. 39th IEEE Conf. Decision and Control (CDC'00), Sydney, NSW, Australia, Dec. 2000, pp. 2252-2257.
12. R. G. Gallager, Low-Density Parity Check Codes. Cambridge, MA: MIT Press, 1963.
13. C. N. Hadjicostis and G. C. Verghese, "Monitoring discrete event systems using Petri net embeddings," in Springer-Verlag Lecture Notes in Computer Science. New York: Springer-Verlag, Jun. 1999, vol. 1639, pp. 188-207.
14. J. E. Hoperoft and J. D. Ullman, Introduction to Automata Theory, Languages and Computation. Reading, MA: Addison-Wesley, 1979.
15. N. Klarlund, "Mona & Fido: The logic-automaton connection in practice," in Springer-Verlag Lecture Notes in Computer Science. New York: Springer-Verlag, 1997, vol. 1414, pp. 311-326.
16. J. Kurien and P. P. Nayak, "Back to the future with consistency based trajectory tracking," in Proc. 17th National Conf. Artificial Intelligence (AAAI 2000), Austin, TX, Jul. 2000, pp. 370-377.
17. G. Lamperti, M. Zanella, and P. Pogliano, "Diagnosis of active systems by automata-based reasoning techniques," Appl. Intell., vol. 12, no. 3, pp. 217-237, May 2000.
18. N. A. Lynch, Distributed Algorithms. San Francisco, CA: Morgan Kaufmann, 1996.
19. R. McEliece, D. MacKey, and J. Cheng, "Turbo decoding as an instance of Pearl's 'belief propagation' algorithm;" IEEE J. Select. Areas Commun., vol. 16, no. 2, pp. 140-152, Feb. 1998.
20. R. Mohr and T. Henderson, "Arc and path consistency revisited," Art. Intell., vol. 28, pp. 225-233, 1986.
21. J. Pearl, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. San Mateo, CA: Morgan Kaufmann, 1988.
22. Y. Pencolé and M.-O. Cordier, "A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks," Art. Intell., vol. 164, no. 1-2, pp. 121-170, May 2005.
23. Y. Peng and J. A. Reggia, Abductive Inference Models for Diagnostic Problem Solving. New York: Springer-Verlag, 1990.
24. R. Reiter, "A theory of diagnosis from first principles," Art. Intell., vol. 32,pp. 57-95, 1987.
25. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Failure diagnosis using discrete-event models," IEEE Trans. Control Syst. Technol., vol. 4, no. 2, pp. 105-124, Feb. 1996.
26. J. G. Thistle and R. Su, "Uncomputability of supremal local supports and effective consistent distributed diagnosis," Dept. Elect. Comput. Eng., Univ. Waterloo, Waterloo, ON, Canada, Tech. Rep. 2005-06, Apr. 2005.
27. R. Su and W. M. Wonham, "Decentralized fault diagnosis for discrete-event systems," in Proc. 2000 CISS, Princeton, NJ, Mar. 2000, pp. TPI-1-TPI-6.
28. R. Su and W. M. Wonham, "An algorithm to achieve local consistency in distributed diagnosis," in Proc. 43th IEEE Conf. Decision and Control (CDC'04), Nassau, Bahamas, Dec. 2004, pp. 998-1003.
29. R. Su and W. M. Wonham, "Hierarchical distributed diagnosis under global consistency," in Proc. 2004 IFAC Workshop on Discrete Event Systems (WODES'04), Reims, France, Sep. 2004, pp. 157-162.
30. R. Su and W. M. Wonham, "Undecidability of termination of CPLC for computing supremal local support," in Proc. 42nd Annu. Allerton Conf. Communication, Control, and Computing, Monticello, IL, Sep. 2004.
31. R. Su, W M. Wonham, J. Kurien, and X. Koutsoukos, "Distributed diagnosis for qualitative systems," in Proc. 6th Int. Workshop on Discrete Event Systems (WODES'02), Zaragoza, Spain, Oct. 2002, pp. 169-174.
32. R. Su, "Distributed diagnosis for discrete-event systems," Ph.D. dissertation, ECE Dept., Univ. Toronto, Toronto, ON, Canada, 2004.
33. J. G. Thistle and R. Su, "Uncomputability of supremal local supports in distributed diagnosis," in Proc. Joint 44th IEEE Conf. Decision and Control (CDC) and European Control Conference (ECC), Seville, Spain, Dec. 2005.
34. M. J. Wainwright, T. Jaakkola, and A. S. Willsky, Tree Consistency and Bounds on the Performance of the Max-Product Algorithm and its Generalizations. Cambridge, MA: Laboratory for Information and Decision Systems, 2002.
35. R. Weigel and B. Faltings, "Compiling constraint satisfaction problems," Art. Intell., vol. 115, no. 2, pp. 257-287, 1999.
36. K. C. Wong and W. M. Wonham, "On the computation of observers in discrete-event systems," Discrete Event Dyna. Syst: Theory Appl., vol. 14, no. 1, pp. 55-107, Jan. 2004.
37. W. M. Wortham. (2004) Supervisory Control of Discrete-Event Systems [Online]. Available: www.control.utoronto.ca/DES
38. W. M. Wortham, (2004) Design Software [Online]. Available: www.control.utoronto.ca/DES
39. M. Yokoo, E. H. Durfee, T. Ishida, and K. Kuwabara, "The distributed constraint satisfaction problem: Formalization and algorithms," IEEE Trans. Knowledge Data Eng., vol. 10, no. 5, pp. 673-685, Oct. 1998.
40. S. H. Zad, R. H. Kwong, and W. M. Wonham, "Fault diagnosis in discrete-event systems: Framework and model reduction," IEEE Trans. Autom. Control, vol. 48, no. 7, pp. 1199-1212, Jul. 2003.