SCIENCE CHINA Information Sciences, Volume 60 , Issue 1 : 012205(2017) https://doi.org/10.1007/s11432-015-0897-0

Model-based diagnosis of incomplete discrete-event system with rough set theory

More info
  • ReceivedApr 19, 2016
  • AcceptedMay 23, 2016
  • PublishedNov 23, 2016


Fault diagnosis of discrete-event system (DES) is important in the preventing of harmful events in the system. In an ideal situation, the system to be diagnosed is assumed to be complete; however, this assumption is rather restrictive. In this paper, a novel approach, which uses rough set theory as a knowledge extraction tool to deal with diagnosis problems of an incomplete model, is investigated. DESs are presented as information tables and decision tables. Based on the incomplete model and observations, an algorithm called Optimizing Incomplete Model is proposed in this paper in order to obtain the repaired model. Furthermore, a necessary and sufficient condition for a system to be diagnosable is given. In ensuring the diagnosability of a system, we also propose an algorithm to minimize the observable events and reduce the cost of sensor selection.



This work was supported in part by National Natural Science Foundation of China (Grant Nos. 61272208, 61133011, 41172294, 61170092) and Jilin Province Science and Technology Development Plan (Grant No. 201201011).


[1] Sampath M, Sengupta R, Lafortune S, et al. Diagnosability of discrete event systems. IEEE Trans Automat Control, 1995, 40: 1555-1575 CrossRef Google Scholar

[2] Sampath M, Sengupta R, Lafortune S, et al. Failure diagnosis of discrete event models. IEEE Trans Control Syst Technol, 1996, 4: 105-124 CrossRef Google Scholar

[3] Chen J, Kumar R. Decentralized failure diagnosis of stochastic discrete event systems. In: Proceedings of 2013 IEEE International Conference on Automation Science and Engineering, Kuching, 2013. 1083--1088. Google Scholar

[4] Kilic E. Diagnosability of fuzzy discrete event system. Inform Sci, 2008, 178: 858-870 CrossRef Google Scholar

[5] Liu F C, Qiu D W. Diagnosability of fuzzy discrete-event system: a fuzzy approach. IEEE Trand Fuzzy Syst, 2009, 17: 372-384 CrossRef Google Scholar

[6] Wang J Y, Yin M H, Gu W X. Fuzzy multiset finite automta and their languages. Soft Comput, 2013, 17: 381-390 CrossRef Google Scholar

[7] Jiang S B, Huang Z D, Chandra V, et al. A polynomial time algorithm for testing dianosability of discrete event systems. IEEE Trans Automat Control, 2001, 46: 1318-1321 CrossRef Google Scholar

[8] Pencole Y. Diagnosability analysis of distributed discrete event systems. In: Proceedings of the 16th European Conference on Artificial Intelligence, Valencia, 2004. 43--47. Google Scholar

[9] Wang W L, Lafortune S, Lin F, et al. Minimization of dynamic sensor activation in discrete event systems for the purpose of control. IEEE Trans Automat Control, 2010, 55: 2447-2461 CrossRef Google Scholar

[10] Basilio J, Lima S, Lafortune S, et al. Computing of minimal event bases that ensure diagnosability. Discret Event Dyn Syst, 2012, 22: 249-292 CrossRef Google Scholar

[11] Pawlak Z. Rough sets: basic notion. Comput Inform Sci, 1982, 11: 341-356 CrossRef Google Scholar

[12] Zhao X F, Ouyang D T. Model-based diagnosis of discrete event systems with an incomplete system model. In: Proceedings of the 18th European Conference on Artificial Intelligence, Patras, 2008. 189--193. Google Scholar

[13] Console L, Theseider D, Torasso P. A theory of diagnosis for incomplete causal models. In: Proceedings of the 11th International Joint Conferences on Artificial Intelligence, Michigan, 1989. 1311--1317. Google Scholar

[14] Huang Y-C, Sun H-C, Huang K-Y, et al. Fault diagnosis of power transformers using rough set theory. In: Proceedings of 2009 International Conference on Advanced Information Technologies, 2009. 1422--1426. Google Scholar

[15] Shaaban M, Nabwey A. Transformer fault diagnosis method based on rough set and generalized distribution table. Int J Intell Eng Syst, 2012, 5: 17-24 CrossRef Google Scholar

[16] Shen L X, Tay F, Qu L S, et al. Fault diagnosis using rough sets theory. Comput Ind, 2000, 43: 61-72 CrossRef Google Scholar

[17] Yang G, Wu X P, Song Y X, et al. Multi-sensor information fusion fault diagnosis method based on rough set theory. J Syst Eng Electron, 2009, 31: 2013-2019 Google Scholar

[18] Fabre E, Benveniste A, Haar S, et al. Alrorithms for distributed fault management in telecommunications networks. In: Proceedings of the 11th International Conference on Telecommunications, Fortaleza, 2004. 820--825. Google Scholar

[19] Zamir T, Stern R, Kalech M. Using model-based diagnosis to improve software testing. In: Proceedings of the 28th AAAI Conference on Artificial Intelligence, Quebec, 2014. 1135--1141. Google Scholar

Copyright 2020 Science China Press Co., Ltd. 《中国科学》杂志社有限责任公司 版权所有

京ICP备17057255号       京公网安备11010102003388号