Fault Diagnosis in Discrete-Event Systems with Incomplete Models: Learnability and Diagnosability

IEEE Transactions on Cybernetics

Volumn 45, Issue 7, 2015, Pages 1236-1249

  Kwong, Raymond H ^a   Yonge Mallo, David L ^b  

^a UNIVERSITY OF TORONTO   (Canada)

^b GOOGLE   (Switzerland)

Author keywords

diagnosability; discrete event systems; Fault diagnosis; incomplete models; learnability; learning

Indexed keywords

CONTINUOUS TIME SYSTEMS; FAILURE ANALYSIS; FAULT DETECTION;

DIAGNOSABILITY; DISCRETE EVENT MODELS; HYPOTHESIS GENERATION; INCOMPLETE MODEL; LEARNABILITY; LEARNING; MODEL BASED APPROACH; STRONG DIAGNOSABILITY;

DISCRETE EVENT SIMULATION;

EID: 85027926488     PISSN: 21682267     EISSN: None     Source Type: Journal    
DOI: 10.1109/TCYB.2014.2347801     Document Type: Article

References (39)

1. M. Blanke, M. Kinnaert, J. Lunze, and M. Staroswiecki, Diagnosis and Fault-Tolerant Control, 2nd ed. Berlin, Germany: Springer, 2006.
2. J. Korbicz, J. M. Koscielny, Z. Kowalczuk, and W. Cholewa, Eds., Fault Diagnosis. Berlin, Germany: Springer, 2003.
3. M.-O. Cordier et al., "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. B, Cybern., vol. 34, no. 5, pp. 2163-2177, Oct. 2004.
4. S. Gentil, J. Montmain, and C. Combastel, "Combining FDI and AI approaches within causal-model-based diagnosis," IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 34, no. 5, pp. 2207-2221, Oct. 2004.
5. G. Lamperti and M. Zanella, "A bridged diagnostic method for the monitoring of polymorphic discrete-event systems," IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 34, no. 5, pp. 2222-2244, Oct. 2004.
6. R. H. Kwong and D. Yonge-Mallo, "Fault diagnosis in discrete-event systems: Incomplete models and learning," IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 41, no. 1, pp. 118-130, Feb. 2011.
7. B. Hruz and M. Zhou, Modeling and Control of Discrete Event Dynamic Systems. London, U.K.: Springer, 2007.
8. C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2nd ed. New York, NY, USA: Springer, 2008.
9. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete-event systems," IEEE Trans. Autom. Control, vol. 40, no. 9, pp. 1555-1575, Sep. 1995.
10. S. Hashtrudi Zad, R. 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.
11. Y. Wang, T.-S. Yoo, and S. Lafortune, "Diagnosis of discrete event systems using decentralized structures," Discrete Event Dyn. Syst., vol. 17, no. 2, pp. 233-263, 2007.
12. R. Kumar and S. Takai, "Decentralized prognosis of failures in discrete event systems," IEEE Trans. Autom. Control, vol. 55, no. 1, pp. 48-59, Jan. 2010.
13. H. Chakib and A. Khoumsi, "Multiple decision diagnosis: Decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems," Discrete Event Dyn. Syst., vol. 22, no. 3, pp. 333-380, 2012.
14. R. Su and W. M. Wonham, "Global and local consistencies in distributed fault diagnosis for discrete-event systems," IEEE Trans. Autom. Control, vol. 50, no. 12, pp. 1923-1935, Dec. 2005.
15. E. Fabre, A. Benveniste, A. Haar, and C. Jard, "Distributed monitoring of concurrent and asynchronous systems," Discrete Event Dyn. Syst., vol. 15, no. 1, pp. 33-84, Mar. 2005.
16. A. Paoli and S. Lafortune, "Diagnosability analysis of a class of hierarchical state machines," Discrete Event Dyn. Syst., vol. 18, no. 3, pp. 385-413, 2008.
17. D. Thorsley and D. Teneketzis, "Diagnosability of stochastic discrete event systems," IEEE Trans. Autom. Control, vol. 50, no. 4, pp. 476-492, Apr. 2005.
18. F. Liu, D. Qiu, H. Xing, and Z. Fan, "Decentralized diagnosis of stochastic discrete event systems," IEEE Trans. Autom. Control, vol. 53, no. 2, pp. 535-546, Mar. 2008.
19. F. Liu and D. Qiu, "Safe diagnosability of stochastic discrete event systems," IEEE Trans. Autom. Control, vol. 53, no. 5, pp. 1291-1296, Jun. 2008.
20. S. Hashtrudi Zad, R. Kwong, and W. M. Wonham, "Fault diagnosis in discrete-event systems: Incorporating timing information," IEEE Trans. Autom. Control, vol. 50, no. 7, pp. 1010-1015, Jul. 2005.
21. F. Cassez, "The complexity of codiagnosability for discrete event and timed systems," IEEE Trans. Autom. Control, vol. 57, no. 7, pp. 1752-1764, Jul. 2012.
22. F. Basile, P. Chiacchio, and G. De Tommasi, "An efficient approach to online diagnosis of discrete event systems," IEEE Trans. Autom. Control, vol. 54, no. 4, pp. 748-759, Apr. 2009.
23. M. Cabasino, A. Gua, and C. Seatzu, "Fault detection for discrete event systems using Petri nets with unobservable transitions," Automatica, vol. 40, no. 9, pp. 1531-1539, 2010.
24. C. Mahulea, C. Seatzu, M. P. Cabasino, and M. Silva, "Fault diagnosis of discrete-event systems using continuous Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 42, no. 4, pp. 970-984, Jul. 2012.
25. Q. Wen, R. Kumar, J. Huang, and H. Liu, "A framework for faulttolerant control of discrete event systems," IEEE Trans. Autom. Control, vol. 53, no. 8, pp. 1839-1849, Sep. 2008.
26. A. Paoli, M. Sartini, and S. Lafortune, "Active fault tolerant control of discrete event systems using online diagnostics," Automatica, vol. 47, no. 4, pp. 639-649, Apr. 2011.
27. S. Shu and F. Lin, "Fault-tolerant control for safety of discrete-event systems," IEEE Trans. Autom. Sci. Eng., vol. 11, no. 1, pp. 78-89, Jan. 2014.
28. J. Zaytoon and S. Lafortune, "Overview of fault diagnosis methods for discrete event systems," Annu. Rev. Control, vol. 37, no. 2, pp. 308-320, Dec. 2013.
29. E. Gold, "Complexity of automaton identification from given data," Inf. Control, vol. 37, no. 3, pp. 302-320, Jun. 1978.
30. L. Pitt, "Inductive inference, DFAs, and computational complexity," in Analogical and Inductive Inference (Lecture Notes in Computer Science), vol. 397, K. Jantke, Ed. Berlin, Germany: Springer, 1989, pp. 18-44.
31. R. Rivest and R. Schapire, "Diversity-based inference of finite automata," J. ACM, vol. 41, no. 3, pp. 555-589, 1994.
32. T. Whiteford and R. H. Kwong, "Probabilistic DES fault diagnosis with an incomplete model," in Proc. 1st IFAC Workshop Dependable Control Discrete Syst., Paris, France, 2007, pp. 49-54.
33. D. Yeung, "Fault diagnosis and learning in discrete-event systems with incomplete information," Master's thesis, ECE Dept. Univ. Toronto, Toronto, ON, Canada, 2003.
34. J. Hopcroft, R. Motwani, and J. Ullman, Introduction to Automata Theory, Languages, and Computation, 3rd ed. Boston, MA, USA: Pearson, 2007.
35. Y. Peng and J. Reggia, Abductive Inference Models for Diagnostic Problem-Solving. New York, NY, USA: Springer, 1990.
36. S. Jiang, Z. Huang, V. Chandra, and R. Kumar, "A polynomial algorithm for testing diagnosability of discrete event systems," IEEE Trans. Autom. Control, vol. 46, no. 8, pp. 1318-1321, Aug. 2001.
37. T. Yoo and S. Lafortune, "Polynomial-time verification of diagnosis for partially-observed discrete event systems," IEEE Trans. Autom. Control, vol. 47, no. 9, pp. 1491-1495, Sep. 2002.
38. D. B. Johnson, "Finding all the elementary circuits of a directed graph," SIAM J. Comput., vol. 4, no. 1, pp. 77-84, 1975.
39. P. Mateti and N. Deo, "On algorithms for enumerating all circuits of a graph," SIAM J. Comput., vol. 5, no. 1, pp. 90-98, 1976.