{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:21:57Z","timestamp":1771698117544,"version":"3.50.1"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,8,21]],"date-time":"2017-08-21T00:00:00Z","timestamp":1503273600000},"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":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1007\/s10626-017-0256-7","type":"journal-article","created":{"date-parts":[[2017,8,21]],"date-time":"2017-08-21T06:13:58Z","timestamp":1503296038000},"page":"641-673","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":25,"title":["Predictability of fuzzy discrete event systems"],"prefix":"10.1007","volume":"27","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8131-384X","authenticated-orcid":false,"given":"Bilal","family":"Benmessahel","sequence":"first","affiliation":[]},{"given":"Mohamed","family":"Touahria","sequence":"additional","affiliation":[]},{"given":"Farid","family":"Nouioua","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,21]]},"reference":[{"key":"256_CR1","doi-asserted-by":"crossref","unstructured":"Brandan Briones L, Madalinski A (2011) Bounded predictability for faulty discrete event systems. In: 30th international conference of the chilean computer science society (SCCC-11), pp 142\u2013146","DOI":"10.1109\/SCCC.2011.19"},{"key":"256_CR2","doi-asserted-by":"crossref","unstructured":"Brandan Briones L, Madalinski A (2013) Distributed bounded predictability. In: Jornadas Chilenas de Computacin. The 32nd international conference of the chilean computer society (SCCC), Temuco, Chile, pp 13\u201315","DOI":"10.1109\/SCCC.2013.25"},{"key":"256_CR3","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1109\/TSMCB.2004.842252","volume":"35","author":"YZ Cao","year":"2005","unstructured":"Cao YZ, Ying MS (2005) Supervisory control of fuzzy discrete event systems. IEEE Trans Syst Man Cybern B 35:366\u2013371","journal-title":"IEEE Trans Syst Man Cybern B"},{"key":"256_CR4","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1109\/TFUZZ.2005.864085","volume":"14","author":"YZ Cao","year":"2006","unstructured":"Cao YZ, Ying MS (2006) Observability and decentralized control of fuzzy discrete-event systems. IEEE Trans Fuzzy Syst 14:202\u2013216","journal-title":"IEEE Trans Fuzzy Syst"},{"key":"256_CR5","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1109\/TSMCB.2006.883429","volume":"37","author":"YZ Cao","year":"2007","unstructured":"Cao YZ, Ying MS, Chen GQ (2007) State-based control of fuzzy discrete-event systems. IEEE Trans Syst Man Cybern B 37:410\u2013424","journal-title":"IEEE Trans Syst Man Cybern B"},{"key":"256_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4070-7","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"1999","unstructured":"Cassandras CG, Lafortune S (1999) Introduction to discrete event systems. Kluwer, Boston"},{"key":"256_CR7","doi-asserted-by":"crossref","unstructured":"Cassez F, Grastien A (2013) Predictability of event occurrences in timed systems. Formal modeling and analysis of timed systems, volume 8053 of the series Lecture Notes in Computer Science","DOI":"10.1007\/978-3-642-40229-6_5"},{"issue":"2","key":"256_CR8","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/j.automatica.2008.06.022","volume":"45","author":"S Genc","year":"2009","unstructured":"Genc S, Lafortune S (2009) Predictability of event occurrences in partially-observed discrete-event systems. Automatica 45(2):301\u2013311","journal-title":"Automatica"},{"issue":"5","key":"256_CR9","doi-asserted-by":"crossref","first-page":"1458","DOI":"10.1002\/asjc.748","volume":"15","author":"M Chang","year":"2013","unstructured":"Chang M, Dong W, Ji Y, Tong L (2013) On fault predictability in stochastic discrete event systems. Asian J Control 15(5):1458\u20131467","journal-title":"Asian J Control"},{"issue":"6","key":"256_CR10","doi-asserted-by":"crossref","first-page":"1570","DOI":"10.1109\/TAC.2014.2381437","volume":"60","author":"J Chen","year":"2015","unstructured":"Chen J, Kumar R (2015) Stochastic failure prognosability of discrete event systems. IEEE Trans Autom Control 60(6):1570\u20131581","journal-title":"IEEE Trans Autom Control"},{"key":"256_CR11","unstructured":"Grastien A (2015) Interval predictability in discrete event systems. CoRR, arXiv: 1508.00683 , http:\/\/dblp.uni-trier.de\/rec\/bib\/journals\/corr\/Grastien15"},{"issue":"5","key":"256_CR12","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1111\/j.1468-0394.2006.00409.x","volume":"23","author":"R Huq","year":"2006","unstructured":"Huq R, Mann GKI, Gosine RG (2006) Distributed fuzzy discrete event system for robotic sensory information processing. Expert Syst 23(5):273\u2013289","journal-title":"Expert Syst"},{"issue":"5","key":"256_CR13","doi-asserted-by":"crossref","first-page":"903","DOI":"10.1109\/TRO.2006.878937","volume":"22","author":"R Huq","year":"2006","unstructured":"Huq R, Mann GKI, Gosine RG (2006) Behavior-modulation technique in mobile robotics using fuzzy discrete event system. IEEE Trans Robot 22(5):903\u2013916","journal-title":"IEEE Trans Robot"},{"key":"256_CR14","doi-asserted-by":"crossref","first-page":"1224","DOI":"10.1109\/TSMCB.2011.2119311","volume":"41","author":"A Jayasiri","year":"2011","unstructured":"Jayasiri A, Mann GK, Gosine RG (2011) Behavior coordination of mobile robotics using supervisory control of fuzzy discrete event systems. IEEE Trans Syst Man Cybern B 41:1224\u20131238","journal-title":"IEEE Trans Syst Man Cybern B"},{"key":"256_CR15","doi-asserted-by":"crossref","unstructured":"Jeron T, Marchand H, Genc S, Lafortune S (2008) Predictability of sequence patterns in discrete event systems. In: Proceedings of the 17th world congress the international federation of automatic control. Seoul, Korea, pp 6\u201311","DOI":"10.3182\/20080706-5-KR-1001.00091"},{"key":"256_CR16","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, Kumar R (2001) A polynomial algorithm for diagnosability of discrete-event systems. IEEE Trans Autom Control 46:1318\u20131321","journal-title":"IEEE Trans Autom Control"},{"key":"256_CR17","unstructured":"Jun C, Kumar R (2014) Failure prognosability of stochastic discrete event systems. American Control Conference (ACC), pp 2041-2046"},{"issue":"1","key":"256_CR18","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/TAC.2009.2034216","volume":"55","author":"R Kumar","year":"2010","unstructured":"Kumar R, Takai S (2010) Decentralized prognosis of failures in discrete event systems. IEEE Trans Autom Control 55(1):48\u201359","journal-title":"IEEE Trans Autom Control"},{"key":"256_CR19","unstructured":"Lin F, Ying H (2001) Fuzzy discrete event systems and their observability. In: Proc Joint Int Conf 9th Int. Fuzzy Systems Assoc. World Congr 20th North America Fuzzy Inform. Process Soci, Vancouver, vol.3, pp 1271-1276 BC Canada Jul. 25\u201328"},{"key":"256_CR20","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 (2002) Modeling and control of fuzzy discrete event systems. IEEE Trans Syst Man Cybern B 32:408\u2013415","journal-title":"IEEE Trans Syst Man Cybern B"},{"key":"256_CR21","doi-asserted-by":"crossref","unstructured":"Lin F, Ying H, Luan X, MacArthur RD, Cohn JA, Barth-Jones DC, Crane LR (2004) Fuzzy discrete event systems and its applications to clinical treatment planning. In: Proc 43rd IEEE conf decision contr, Budapest, Hungary, Jun. 25\u201329, pp 197\u2013202","DOI":"10.1109\/CDC.2004.1428683"},{"key":"256_CR22","doi-asserted-by":"publisher","unstructured":"Liu F (2014) Polynomial-time verification of diagnosability of fuzzy discrete event systems. Science China, Information Sciences, Vol. 57. https:\/\/doi.org\/10.1007\/s11432-013-4945-z","DOI":"10.1007\/s11432-013-4945-z"},{"issue":"1","key":"256_CR23","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1016\/j.ins.2011.08.023","volume":"185","author":"M Luoa","year":"2012","unstructured":"Luoa M, Lib Y, Suna F, Liua H (2012) A new algorithm for testing diagnosability of fuzzy discrete event systems. Inf Sci 185(1):100\u2013113","journal-title":"Inf Sci"},{"key":"256_CR24","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1109\/TSMCB.2012.2206074","volume":"43","author":"FC Liu","year":"2013","unstructured":"Liu FC, Dziong Z (2013) Reliable decentralized control of fuzzy discrete event systems and a test algorithm. IEEE Trans Cybern 43:321\u2013331","journal-title":"IEEE Trans Cybern"},{"issue":"2","key":"256_CR25","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1109\/TFUZZ.2009.2013840","volume":"17","author":"F Liu","year":"2009","unstructured":"Liu F, Qiu DW (2009) Diagnosability of fuzzy discrete-event systems: a fuzzy approach. IEEE Trans Fuzzy Syst 17(2):372\u2013384","journal-title":"IEEE Trans Fuzzy Syst"},{"key":"256_CR26","doi-asserted-by":"crossref","unstructured":"Nouioua F, Dague P (2008) A probabilistic analysis of diagnosability in discrete event systems. In: 18th European conference on artificial intelligence (ECAI\u201908), pp 224\u2013228. IOS Press. Patras, Greece","DOI":"10.3233\/978-1-58603-891-5-224"},{"key":"256_CR27","doi-asserted-by":"crossref","unstructured":"Nouioua F, Dague P, Ye L (2016) Predictability in probabilistic discrete event systems. In: 8th international conference on soft methods in probability and statistics (SMPS-2016). Advances in Intelligent Systems and Computing. Vol. 456, pp 381\u2013389. Springer Verlag. Roma, Italy","DOI":"10.1007\/978-3-319-42972-4_47"},{"issue":"3","key":"256_CR28","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1109\/69.506705","volume":"8","author":"S Parsons","year":"1996","unstructured":"Parsons S (1996) Current approaches to handling imperfect information in data and knowledge bases. IEEE Trans Knowl Data Eng 8(3):353\u2013372","journal-title":"IEEE Trans Knowl Data Eng"},{"issue":"1","key":"256_CR29","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1109\/TSMCB.2004.840457","volume":"35","author":"D Qiu","year":"2005","unstructured":"Qiu D (2005) Supervisory control of fuzzy discrete event systems: A formal approach. IEEE Trans Syst Man Cybern B Cybern 35(1):72\u201388","journal-title":"IEEE Trans Syst Man Cybern B Cybern"},{"key":"256_CR30","doi-asserted-by":"crossref","first-page":"578","DOI":"10.1109\/TFUZZ.2008.924212","volume":"17","author":"DW Qiu","year":"2009","unstructured":"Qiu DW, Liu FC (2009) Fuzzy discrete event systems under fuzzy observability and a test-algorithm. IEEE Trans Fuzzy Syst 17:578\u2013589","journal-title":"IEEE Trans Fuzzy Syst"},{"issue":"9","key":"256_CR31","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, Sinnamohideen K, Teneketzis D (1995) Diagnosability of discrete event systems. IEEE Trans Autom Control 40(9):1555\u20131575","journal-title":"IEEE Trans Autom Control"},{"issue":"5","key":"256_CR32","doi-asserted-by":"crossref","first-page":"1259","DOI":"10.1109\/TAC.2011.2173419","volume":"57","author":"S Takai","year":"2012","unstructured":"Takai S, Kumar R (2012) Distributed failure prognosis of discrete event systems with boundeddelay communications. IEEE Trans Autom Control 57(5):1259\u20131265","journal-title":"IEEE Trans Autom Control"},{"issue":"4","key":"256_CR33","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 (2005) Diagnosability of stochastic discrete-event systems. IEEE Trans Autom Control 50(4):476\u2013492","journal-title":"IEEE Trans Autom Control"},{"key":"256_CR34","doi-asserted-by":"crossref","unstructured":"Traore M, Chatelet E, Soulier E, Gaber H (2014) Diagnosis using incomplete model in fuzzy discrete event system: application to crisis management","DOI":"10.1109\/ICMLA.2014.109"},{"issue":"2","key":"256_CR35","first-page":"1","volume":"6","author":"M Traore","year":"2015","unstructured":"Traore M, Chatelet E, Soulier E, Gaber H (2015) Fault diagnosis in fuzzy discrete event system: incomplete models and learning. Inter J Prognostics and Health Manag 6(2):1\u201312","journal-title":"Inter J Prognostics and Health Manag"},{"key":"256_CR36","unstructured":"Ye L, Dague P, Nouioua F (2013) Predictability analysis of distributed discrete event systems. IEEE Conference on Decision and Control"},{"key":"256_CR37","doi-asserted-by":"crossref","unstructured":"Ye L, Dague P, Nouioua F (2015) A predictability algorithm for distributed discrete event systems. International conference on formal engineering methods","DOI":"10.1007\/978-3-319-25423-4_13"},{"issue":"4","key":"256_CR38","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 RD, Cohn JA, Barth-Jones DC, Ye H, Crane LR (2006) A fuzzy discrete event system approach to determining optimal HIV\/AIDS treatment regimens. IEEE trans Inf Technol Biomed 10(4):663\u2013676","journal-title":"IEEE trans Inf Technol Biomed"},{"issue":"4","key":"256_CR39","doi-asserted-by":"crossref","first-page":"966","DOI":"10.1109\/TSMCB.2007.895360","volume":"37","author":"H Ying","year":"2007","unstructured":"Ying H, Lin F, MacArthur RD, Cohn JA, Barth-Jones DC, Ye H, Crane LR (2007) A self-learning fuzzy discrete event system for HIV\/AIDS treatment regimen selection. IEEE Trans Syst Man Cybern B Cybern 37(4):966\u2013979","journal-title":"IEEE Trans Syst Man Cybern B Cybern"},{"key":"256_CR40","doi-asserted-by":"crossref","unstructured":"Yokotani M, Takai S (2014) Abstraction-based verification for partially observed discrete event systems. In: Proceedings 12th international workshop discrete event system, pp 356\u2013361","DOI":"10.3182\/20140514-3-FR-4046.00019"},{"key":"256_CR41","doi-asserted-by":"crossref","first-page":"1491","DOI":"10.1109\/TAC.2002.802763","volume":"47","author":"TS Yoo","year":"2002","unstructured":"Yoo TS, Lafortune S (2002) Polynomial-time verification of diagnosability of partially observed discrete-event systems. IEEE Trans Automat Cont 47:1491\u20131495","journal-title":"IEEE Trans Automat Cont"},{"issue":"2","key":"256_CR42","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1109\/91.493904","volume":"4","author":"LA Zadeh","year":"1996","unstructured":"Zadeh LA (1996) Fuzzy logic computing with words. IEEE Trans Fuzzy Syst 4 (2):103\u2013111","journal-title":"IEEE Trans Fuzzy Syst"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-017-0256-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-017-0256-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-017-0256-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T23:40:28Z","timestamp":1750808428000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-017-0256-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,21]]},"references-count":42,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,12]]}},"alternative-id":["256"],"URL":"https:\/\/doi.org\/10.1007\/s10626-017-0256-7","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,8,21]]}}}