{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T14:29:22Z","timestamp":1773930562290,"version":"3.50.1"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,11,23]],"date-time":"2016-11-23T00:00:00Z","timestamp":1479859200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1007\/s11432-015-0897-0","type":"journal-article","created":{"date-parts":[[2016,11,26]],"date-time":"2016-11-26T09:36:21Z","timestamp":1480152981000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Model-based diagnosis of incomplete discrete-event system with rough set theory","\u7c97\u7cd9\u96c6\u7406\u8bba\u4e0b\u4e0d\u5b8c\u5907\u79bb\u6563\u4e8b\u4ef6\u7cfb\u7edf\u7684\u57fa\u4e8e\u6a21\u578b\u8bca\u65ad"],"prefix":"10.1007","volume":"60","author":[{"given":"Xuena","family":"Geng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dantong","family":"Ouyang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yonggang","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,23]]},"reference":[{"key":"897_CR1","doi-asserted-by":"crossref","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"M Sampath","year":"1995","unstructured":"Sampath M, Sengupta R, Lafortune S, et al. Diagnosability of discrete event systems. IEEE Trans Automat Control, 1995, 40: 1555\u20131575","journal-title":"IEEE Trans Automat Control"},{"key":"897_CR2","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/87.486338","volume":"4","author":"M Sampath","year":"1996","unstructured":"Sampath M, Sengupta R, Lafortune S, et al. Failure diagnosis of discrete event models. IEEE Trans Control Syst Technol, 1996, 4: 105\u2013124","journal-title":"IEEE Trans Control Syst Technol"},{"key":"897_CR3","doi-asserted-by":"crossref","first-page":"1083","DOI":"10.1109\/CoASE.2013.6653924","volume-title":"Proceedings of 2013 IEEE International Conference on Automation Science and Engineering, Kuching","author":"J Chen","year":"2013","unstructured":"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\u20131088"},{"key":"897_CR4","doi-asserted-by":"crossref","first-page":"858","DOI":"10.1016\/j.ins.2007.09.009","volume":"178","author":"E Kilic","year":"2008","unstructured":"Kilic E. Diagnosability of fuzzy discrete event system. Inform Sci, 2008, 178: 858\u2013870","journal-title":"Inform Sci"},{"key":"897_CR5","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1109\/TFUZZ.2009.2013840","volume":"17","author":"F C Liu","year":"2009","unstructured":"Liu F C, Qiu D W. Diagnosability of fuzzy discrete-event system: a fuzzy approach. IEEE Trand Fuzzy Syst, 2009, 17: 372\u2013384","journal-title":"IEEE Trand Fuzzy Syst"},{"key":"897_CR6","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/s00500-012-0913-6","volume":"17","author":"J Y Wang","year":"2013","unstructured":"Wang J Y, Yin M H, Gu W X. Fuzzy multiset finite automta and their languages. Soft Comput, 2013, 17: 381\u2013390","journal-title":"Soft Comput"},{"key":"897_CR7","doi-asserted-by":"crossref","first-page":"1318","DOI":"10.1109\/9.940942","volume":"46","author":"S B Jiang","year":"2001","unstructured":"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\u20131321","journal-title":"IEEE Trans Automat Control"},{"key":"897_CR8","first-page":"43","volume-title":"Proceedings of the 16th European Conference on Artificial Intelligence, Valencia","author":"Y Pencole","year":"2004","unstructured":"Pencole Y. Diagnosability analysis of distributed discrete event systems. In: Proceedings of the 16th European Conference on Artificial Intelligence, Valencia, 2004. 43\u201347"},{"key":"897_CR9","doi-asserted-by":"crossref","first-page":"2447","DOI":"10.1109\/TAC.2010.2046062","volume":"55","author":"W L Wang","year":"2010","unstructured":"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\u20132461","journal-title":"IEEE Trans Automat Control"},{"key":"897_CR10","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/s10626-012-0129-z","volume":"22","author":"J Basilio","year":"2012","unstructured":"Basilio J, Lima S, Lafortune S, et al. Computing of minimal event bases that ensure diagnosability. Discret Event Dyn Syst, 2012, 22: 249\u2013292","journal-title":"Discret Event Dyn Syst"},{"key":"897_CR11","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","author":"Z Pawlak","year":"1982","unstructured":"Pawlak Z. Rough sets: basic notion. Comput Inform Sci, 1982, 11: 341\u2013356","journal-title":"Comput Inform Sci"},{"key":"897_CR12","first-page":"189","volume-title":"Proceedings of the 18th European Conference on Artificial Intelligence, Patras","author":"X F Zhao","year":"2008","unstructured":"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\u2013193"},{"key":"897_CR13","first-page":"1311","volume-title":"Proceedings of the 11th International Joint Conferences on Artificial Intelligence, Michigan","author":"L Console","year":"1989","unstructured":"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\u20131317"},{"key":"897_CR14","first-page":"1422","volume-title":"Proceedings of 2009 International Conference on Advanced Information Technologies","author":"Y-C Huang","year":"2009","unstructured":"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\u20131426"},{"key":"897_CR15","doi-asserted-by":"crossref","first-page":"17","DOI":"10.22266\/ijies2012.0630.03","volume":"5","author":"M Shaaban","year":"2012","unstructured":"Shaaban M, Nabwey A. Transformer fault diagnosis method based on rough set and generalized distribution table. Int J Intell Eng Syst, 2012, 5: 17\u201324","journal-title":"Int J Intell Eng Syst"},{"key":"897_CR16","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/S0166-3615(00)00050-6","volume":"43","author":"L X Shen","year":"2000","unstructured":"Shen L X, Tay F, Qu L S, et al. Fault diagnosis using rough sets theory. Comput Ind, 2000, 43: 61\u201372","journal-title":"Comput Ind"},{"key":"897_CR17","first-page":"2013","volume":"31","author":"G Yang","year":"2009","unstructured":"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\u20132019","journal-title":"J Syst Eng Electron"},{"key":"897_CR18","first-page":"820","volume-title":"Proceedings of the 11th International Conference on Telecommunications, Fortaleza","author":"E Fabre","year":"2004","unstructured":"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\u2013825"},{"key":"897_CR19","first-page":"1135","volume-title":"Proceedings of the 28th AAAI Conference on Artificial Intelligence, Quebec","author":"T Zamir","year":"2014","unstructured":"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\u20131141"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-015-0897-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-015-0897-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-015-0897-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,20]],"date-time":"2024-06-20T20:38:57Z","timestamp":1718915937000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-015-0897-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11,23]]},"references-count":19,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,1]]}},"alternative-id":["897"],"URL":"https:\/\/doi.org\/10.1007\/s11432-015-0897-0","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,11,23]]},"article-number":"012205"}}