Fault diagnosis in discrete-event systems: Incomplete models and learning

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics

Volumn 41, Issue 1, 2011, Pages 118-130

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

^a UNIVERSITY OF TORONTO   (Canada)

^b UNIVERSITY OF WATERLOO   (Canada)

^c GOOGLE INC   (United States)

Author keywords

Discrete event systems; fault diagnosis; incomplete models; learning; parsimonious covering

Indexed keywords

DISCRETE EVENT SYSTEMS; FAULT DIAGNOSIS; INCOMPLETE MODEL; LEARNING; PARSIMONIOUS COVERING;

CONTINUOUS TIME SYSTEMS;

EID: 79551683114     PISSN: 10834419     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCB.2010.2047257     Document Type: Article

References (37)

1. M. Blanke, M. Kinnaert, J. Lunze, and M. Staroswiecki, Diagnosis and Fault-Tolerant Control., 2nd ed. New York: Springer-Verlag, 2006.
2. J. Korbicz, J. M. Koscielny, Z. Kowalczuk, and W. Cholewa, Eds., Fault Diagnosis. New York: Springer-Verlag, 2003.
3. M.-O. Cordier, P. Dague, F. Lévy, J. Montmain, M. Staroswiecki, and L. Travé-Massuyès, "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. W. Hamscher, L. Console, and J. de Kleer, Readings in Model-Based Diagnosis. San Mateo, CA: Morgan Kaufmann, 1992.
7. 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.
8. 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, Mar. 1996.
9. 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.
10. 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. (Pubitemid 41078402)
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. Y. Pencolé and M.-O. Cordier, "A formal framework for the decentralized diagnosis of large scale discrete event systems and its application to telecommunication networks," Artif. Intell., vol. 164, no. 1/2, pp. 171-208, 2005.
13. P. Baroni, G. Lamperti, and M. Zanella, "Diagnosis of a class of distributed discrete-event systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 30, no. 6, pp. 731-752, Nov. 2000.
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, Sep. 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. Jiang, R. Kumar, and H. Garcia, "Diagnosis of repeated/intermittent failures in discrete event systems," IEEE Trans. Robot. Autom., vol. 19, no. 2, pp. 310-323, Apr. 2003.
21. O. Conant, S. Lafortune, and D. Teneketzis, "Diagnosis of intermittent faults," Discrete Event Dyn. Syst., vol. 14, no. 2, pp. 171-202, Apr. 2004.
22. S. Soldani, M. Combacau, A. Subias, and J. Thomas, "Intermittent fault diagnosis: A diagnoser derived from the normal behavior," in Proc. 18th Int. Workshop Principles Diagnosis, DX'07, Nashville, TN, 2007, pp. 391-398.
23. S. Klein, L. Litz, and J.-J. Lesage, "Fault detection of discrete event systems using an identification approach," in Proc. 16th IFAC World Congr., Prague, Czech Republic, 2005.
24. D. Yeung and R. Kwong, "Fault diagnosis in discrete event systems: Incomplete models and learning," in Proc. Amer. Control Conf., Jun. 2005, pp. 3327-3332.
25. X. Zhao and D. Ouyang, "Model-based diagnosis of discrete event systems with an incomplete system model," in Proc. ECAI, 2008, pp. 189-193.
26. R. Rivest and R. Schapire, "Diversity-based inference of finite automata," J. ACM, vol. 41, no. 3, pp. 555-589, May 1994.
27. E. Gold, "Complexity of automaton identification from given data," Inf. Control, vol. 37, no. 3, pp. 302-320, Jun. 1978.
28. M. Li and U. Vazirani, "On the learnability of finite automata," in Proc. 1st Annu. Workshop COLT, 1988, pp. 359-370.
29. A. Belz and B. Eskikaya, "A genetic algorithm for finite state automata induction with an application to phonotactics," in Proc. ESSLLI-98 Workshop Automated Acquisition Syntax Parsing, 1998, pp. 9-17.
30. S. Hashtrudi Zad, "Fault diagnosis in discrete-event and hybrid systems," Ph.D. dissertation, Univ. Toronto, Toronto, ON, Canada, 1999.
31. D. Yeung, "Fault diagnosis and learning in discrete-event systems with incomplete information," M.S. thesis, Univ. Toronto, Toronto, ON, Canada, 2003.
32. Y. Peng and J. Reggia, Abductive Inference Models for Diagnostic Problem-Solving. New York: Springer-Verlag, 1990.
33. V. Dasigi and K. Thirunarayan, "On the relationship between parsimonious covering and Boolean minimization," in Proc. IEEE Nat. Aerosp. Electron. Conf., Dayton, OH, 1991, pp. 1164-1169.
34. T. Cormen, C. Leiserson, and R. Rivest, Introduction to Algorithms. Cambridge, MA: MIT Press, 1990.
35. T. Bylander, D. Allemang, M. Tanner, and J. Josephson, "The computational complexity of abduction," Artif. Intell., vol. 49, no. 1-3, pp. 25-60, May 1991.
36. C. Ma and W. M. Wonham, "Nonblocking supervisory control of state tree structures," IEEE Trans. Autom. Control, vol. 51, no. 5, pp. 782-793, May 2006.
37. 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.