{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T17:31:07Z","timestamp":1649007067026},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T00:00:00Z","timestamp":1394150400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1007\/s11432-013-4945-z","type":"journal-article","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T12:13:33Z","timestamp":1394194413000},"page":"1-10","source":"Crossref","is-referenced-by-count":4,"title":["Polynomial-time verification of diagnosability of fuzzy discrete event systems"],"prefix":"10.1007","volume":"57","author":[{"given":"FuChun","family":"Liu","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,3,7]]},"reference":[{"key":"4945_CR1","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1109\/TSMCB.2002.1018761","volume":"32","author":"F Lin","year":"2002","unstructured":"Lin F, Ying H. Modeling and control of fuzzy discrete event systems. IEEE Trans Syst Man Cybern B, 2002, 32: 408\u2013415","journal-title":"IEEE Trans Syst Man Cybern B"},{"key":"4945_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to Discrete Event Systems","author":"C G Cassandras","year":"2008","unstructured":"Cassandras C G, Lafortune S. Introduction to Discrete Event Systems. 2nd ed. New York: Springer Science Business Media, 2008","edition":"2nd ed."},{"key":"4945_CR3","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1109\/TSMCB.2004.840457","volume":"35","author":"D W Qiu","year":"2005","unstructured":"Qiu D W. Supervisory control of fuzzy discrete event systems: a formal approach. IEEE Trans Syst Man Cybern B, 2005, 35: 72\u201388","journal-title":"IEEE Trans Syst Man Cybern B"},{"key":"4945_CR4","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1109\/TSMCB.2004.842252","volume":"35","author":"Y Z Cao","year":"2005","unstructured":"Cao Y Z, Ying M S. Supervisory control of fuzzy discrete event systems. IEEE Trans Syst Man Cybern B, 2005, 35: 366\u2013371","journal-title":"IEEE Trans Syst Man Cybern B"},{"key":"4945_CR5","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1109\/TFUZZ.2005.864085","volume":"14","author":"Y Z Cao","year":"2006","unstructured":"Cao Y Z, Ying M S. Observability and decentralized control of fuzzy discrete-event systems. IEEE Trans Fuzzy Syst, 2006, 14: 202\u2013216","journal-title":"IEEE Trans Fuzzy Syst"},{"key":"4945_CR6","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1109\/TSMCB.2006.883429","volume":"37","author":"Y Z Cao","year":"2007","unstructured":"Cao Y Z, Ying M S, Chen G Q. State-based control of fuzzy discrete-event systems. IEEE Trans Syst Man Cybern B, 2007, 37: 410\u2013424","journal-title":"IEEE Trans Syst Man Cybern B"},{"key":"4945_CR7","doi-asserted-by":"crossref","first-page":"578","DOI":"10.1109\/TFUZZ.2008.924212","volume":"17","author":"D W Qiu","year":"2009","unstructured":"Qiu D W, Liu F C. Fuzzy discrete event systems under fuzzy observability and a test-algorithm. IEEE Trans Fuzzy Syst, 2009, 17: 578\u2013589","journal-title":"IEEE Trans Fuzzy Syst"},{"key":"4945_CR8","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1109\/TSMCB.2012.2206074","volume":"43","author":"F C Liu","year":"2013","unstructured":"Liu F C, Dziong Z. Reliable decentralized control of fuzzy discrete event systems and a test algorithm. IEEE Trans Cybern, 2013, 43: 321\u2013331","journal-title":"IEEE Trans Cybern"},{"key":"4945_CR9","doi-asserted-by":"crossref","first-page":"663","DOI":"10.1109\/TITB.2006.874200","volume":"10","author":"H Ying","year":"2006","unstructured":"Ying H, Lin F, MacArthur R D, et al. A fuzzy discrete event system approach to determining optimal HIV\/AIDS treatment regimens. IEEE Trans Inf Technol Biomed, 2006, 10: 663\u2013676","journal-title":"IEEE Trans Inf Technol Biomed"},{"key":"4945_CR10","doi-asserted-by":"crossref","first-page":"3749","DOI":"10.1016\/j.ins.2007.03.011","volume":"177","author":"F Lin","year":"2007","unstructured":"Lin F, Ying H, MacArthur R D, et al. Decision making in fuzzy discrete event systems. Inf Sci, 2007, 177: 3749\u20133763","journal-title":"Inf Sci"},{"key":"4945_CR11","doi-asserted-by":"crossref","first-page":"1224","DOI":"10.1109\/TSMCB.2011.2119311","volume":"41","author":"A Jayasiri","year":"2011","unstructured":"Jayasiri A, Mann G K I, Gosine R G. Behavior coordination of mobile robotics using supervisory control of fuzzy discrete event systems. IEEE Trans Syst Man Cybern B, 2011, 41: 1224\u20131238","journal-title":"IEEE Trans Syst Man Cybern B"},{"key":"4945_CR12","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 Contr, 1995, 40: 1555\u20131575","journal-title":"IEEE Trans Automat Contr"},{"key":"4945_CR13","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1023\/A:1008335115538","volume":"10","author":"R Debouk","year":"2000","unstructured":"Debouk R, Lafortune S, Teneketzis D. Coordinated decentralized protocols for failure diagnosis of discrete event systems. Discrete Event Dynam Syst, 2000, 10: 33\u201379","journal-title":"Discrete Event Dynam Syst"},{"key":"4945_CR14","doi-asserted-by":"crossref","first-page":"1318","DOI":"10.1109\/9.940942","volume":"46","author":"S Jiang","year":"2001","unstructured":"Jiang S, Huang Z, Chandra V, et al. A polynomial-time algorithm for diagnosability of discrete event systems. IEEE Trans Automat Contr, 2001, 46: 1318\u20131321","journal-title":"IEEE Trans Automat Contr"},{"key":"4945_CR15","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1109\/TAC.2007.915172","volume":"53","author":"F C Liu","year":"2008","unstructured":"Liu F C, Qiu D W, Xing H Y, et al. Decentralized diagnosis of stochastic discrete event systems. IEEE Trans Automat Contr, 2008, 53: 535\u2013546","journal-title":"IEEE Trans Automat Contr"},{"key":"4945_CR16","doi-asserted-by":"crossref","first-page":"1335","DOI":"10.1016\/j.automatica.2005.03.017","volume":"41","author":"A Paoli","year":"2005","unstructured":"Paoli A, Lafortune S. Safe diagnosability for fault-tolerant supervision of discrete event systems. Automatica, 2005, 41: 1335\u20131347","journal-title":"Automatica"},{"key":"4945_CR17","doi-asserted-by":"crossref","first-page":"476","DOI":"10.1109\/TAC.2005.844722","volume":"50","author":"D Thorsley","year":"2005","unstructured":"Thorsley D, Teneketzis D. Diagnosability of stochastic discrete-event systems. IEEE Trans Automat Contr, 2005, 50: 476\u2013492","journal-title":"IEEE Trans Automat Contr"},{"key":"4945_CR18","doi-asserted-by":"crossref","first-page":"1491","DOI":"10.1109\/TAC.2002.802763","volume":"47","author":"T-S Yoo","year":"2002","unstructured":"Yoo T-S, Lafortune S. Polynomial-time verification of diagnosability of partially observed discrete-event systems. IEEE Trans Automat Contr, 2002, 47: 1491\u20131495","journal-title":"IEEE Trans Automat Contr"},{"key":"4945_CR19","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 systems: a fuzzy approach. IEEE Trans Fuzzy Syst, 2009, 17: 372\u2013384","journal-title":"IEEE Trans Fuzzy Syst"},{"key":"4945_CR20","volume-title":"Introduction to Algorithms","author":"T H Cormen","year":"1990","unstructured":"Cormen T H, Leiserson C E, Rivest R L. Introduction to Algorithms. Cambridge: MIT Press, 1990"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-013-4945-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-013-4945-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-013-4945-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T15:37:53Z","timestamp":1559403473000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-013-4945-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3,7]]},"references-count":20,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["4945"],"URL":"https:\/\/doi.org\/10.1007\/s11432-013-4945-z","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,3,7]]}}}