{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:17:31Z","timestamp":1740107851398,"version":"3.37.3"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2023,4,24]],"date-time":"2023-04-24T00:00:00Z","timestamp":1682294400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,4,24]],"date-time":"2023-04-24T00:00:00Z","timestamp":1682294400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"name":"Deanship of Scientific Research at King Saud University","award":["RG-1440-048"],"award-info":[{"award-number":["RG-1440-048"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2023,6]]},"DOI":"10.1007\/s00500-023-08030-1","type":"journal-article","created":{"date-parts":[[2023,4,24]],"date-time":"2023-04-24T18:02:36Z","timestamp":1682359356000},"page":"6999-7009","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Intermittent fault manifestability of discrete event systems"],"prefix":"10.1007","volume":"27","author":[{"given":"Ye","family":"Liang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3328-3441","authenticated-orcid":false,"given":"Aiwen","family":"Lai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammed A.","family":"El-Meligy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Sharaf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,4,24]]},"reference":[{"issue":"3","key":"8030_CR1","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1007\/s12555-018-0682-9","volume":"18","author":"A Boussif","year":"2020","unstructured":"Boussif A, Ghazel M (2020) Diagnosability analysis of intermittent faults in discrete event systems using a twin-plant structure. Int J Control Auto Syst 18(3):682\u2013695","journal-title":"Int J Control Auto Syst"},{"issue":"1","key":"8030_CR2","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/s10626-020-00324-y","volume":"31","author":"A Boussif","year":"2021","unstructured":"Boussif A, Ghazel M, Basilio JC (2021) Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches. Discrete Event Dyn Syst 31(1):59\u2013102","journal-title":"Discrete Event Dyn Syst"},{"key":"8030_CR3","doi-asserted-by":"crossref","unstructured":"Cassandras CG, Lafortune S (2009) Introduction to discrete event systems. Springer Science & Business Media, Berlin","DOI":"10.1007\/978-0-387-68612-7"},{"issue":"2","key":"8030_CR4","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1023\/B:DISC.0000018570.20941.d2","volume":"14","author":"O Contant","year":"2004","unstructured":"Contant O, Lafortune S, Teneketzis D (2004) Diagnosis of intermittent faults. Discrete Event Dyn Syst 14(2):171\u2013202","journal-title":"Discrete Event Dyn Syst"},{"key":"8030_CR5","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s11334-019-00357-z","volume":"16","author":"P Dague","year":"2020","unstructured":"Dague P, He L, Ye L (2020) How to be sure a faulty system does not always appear healthy? Innov Syst Softw Eng 16:121\u2013142","journal-title":"Innov Syst Softw Eng"},{"issue":"2","key":"8030_CR6","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/s10626-017-0255-8","volume":"28","author":"E Fabre","year":"2018","unstructured":"Fabre E, H\u00e9lou\u00ebt L, Lefaucheux E, Marchand H (2018) Diagnosability of repairable faults. Discrete Event Dyn Syst 28(2):183\u2013213","journal-title":"Discrete Event Dyn Syst"},{"issue":"1","key":"8030_CR7","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10626-016-0234-5","volume":"27","author":"HE Gougam","year":"2017","unstructured":"Gougam HE, Pencol\u00e9 Y, Subias A (2017) Diagnosability analysis of patterns on bounded labeled prioritized petri nets. Discrete Event Dyn Syst 27(1):143\u2013180","journal-title":"Discrete Event Dyn Syst"},{"key":"8030_CR8","doi-asserted-by":"crossref","unstructured":"Hadjicostis CN (2020) Estimation and inference in discrete event systems. Springer, Berlin","DOI":"10.1007\/978-3-030-30821-6"},{"issue":"12","key":"8030_CR9","doi-asserted-by":"publisher","first-page":"5159","DOI":"10.1109\/TAC.2020.2970011","volume":"65","author":"Y Hu","year":"2020","unstructured":"Hu Y, Ma Z, Li Z (2020) Design of supervisors for active diagnosis in discrete event systems. IEEE Trans Auto Control 65(12):5159\u20135172","journal-title":"IEEE Trans Auto Control"},{"issue":"8","key":"8030_CR10","doi-asserted-by":"publisher","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 testing diagnosability of discrete-event systems. IEEE Trans Auto Control 46(8):1318\u20131321","journal-title":"IEEE Trans Auto Control"},{"key":"8030_CR11","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/j.arcontrol.2018.04.002","volume":"45","author":"S Lafortune","year":"2018","unstructured":"Lafortune S, Lin F, Hadjicostis CN (2018) On the history of diagnosability and opacity in discrete event systems. Ann Rev Control 45:257\u2013266","journal-title":"Ann Rev Control"},{"key":"8030_CR12","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1016\/j.automatica.2019.03.003","volume":"105","author":"A Lai","year":"2019","unstructured":"Lai A, Lahaye S, Giua A (2019) State estimation of max-plus automata with unobservable events. Automatica 105:36\u201342","journal-title":"Automatica"},{"key":"8030_CR13","doi-asserted-by":"crossref","unstructured":"Lai A, Lahaye S, Giua A (2019b) A two-step approach for fault diagnosis of max-plus automata. In: Proceedings of the 2019 6th international conference on control, decision and information technologies (CoDIT), IEEE, pp 1061\u20131066","DOI":"10.1109\/CoDIT.2019.8820433"},{"issue":"1","key":"8030_CR14","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/s12555-016-0168-6","volume":"16","author":"J Liu","year":"2018","unstructured":"Liu J, Zhou Z, Wang Z (2018) Online fault diagnosis in discrete event systems with partially observed petri nets. Int J Control Auto Syst 16(1):217\u2013224","journal-title":"Int J Control Auto Syst"},{"issue":"9","key":"8030_CR15","doi-asserted-by":"publisher","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 Auto Control 40(9):1555\u20131575","journal-title":"IEEE Trans Auto Control"},{"key":"8030_CR16","doi-asserted-by":"crossref","unstructured":"Tomola JH, Moreira MV, Basilio JC, Carvalho LK (2015) Robust codiagnosability of discrete-event systems against permanent loss of observations. In: Proceedings of the 2015 IEEE international conference on automation science and engineering (CASE), pp 813\u2013818","DOI":"10.1109\/CoASE.2015.7294181"},{"key":"8030_CR17","unstructured":"Ye L, Dague P, Longuet D, Briones LB, Madalinski A (2016) Fault manifestability verification for discrete event systems. In: Proceedings of the 2016 22nd European conference on artificial intelligence, pp 1718\u20131719"},{"key":"8030_CR18","doi-asserted-by":"crossref","unstructured":"Ye L, Dague P, Longuet D, Briones LB, Madalinski A (2018) How to be sure a faulty system does not always appear healthy? In: Proceedings of the 2018 international conference on verification and evaluation of computer and communication systems, pp 114\u2013129","DOI":"10.1007\/978-3-030-00359-3_8"},{"issue":"10","key":"8030_CR19","doi-asserted-by":"publisher","first-page":"4237","DOI":"10.1109\/TAC.2019.2893873","volume":"64","author":"X Yin","year":"2019","unstructured":"Yin X, Chen J, Li Z, Li S (2019) Robust fault diagnosis of stochastic discrete event systems. IEEE Trans Auto Control 64(10):4237\u20134244","journal-title":"IEEE Trans Auto Control"},{"issue":"9","key":"8030_CR20","doi-asserted-by":"publisher","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 Auto Control 47(9):1491\u20131495","journal-title":"IEEE Trans Auto Control"},{"issue":"2","key":"8030_CR21","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1016\/j.arcontrol.2013.09.009","volume":"37","author":"J Zaytoon","year":"2013","unstructured":"Zaytoon J, Lafortune S (2013) Overview of fault diagnosis methods for discrete event systems. Ann Rev Control 37(2):308\u2013320","journal-title":"Ann Rev Control"},{"issue":"3","key":"8030_CR22","doi-asserted-by":"publisher","first-page":"2337","DOI":"10.1109\/TIE.2019.2907500","volume":"67","author":"D Zhou","year":"2019","unstructured":"Zhou D, Zhao Y, Wang Z, He X, Gao M (2019) Review on diagnosis techniques for intermittent faults in dynamic systems. IEEE Trans Ind Electronics 67(3):2337\u20132347","journal-title":"IEEE Trans Ind Electronics"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-023-08030-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00500-023-08030-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-023-08030-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T17:58:46Z","timestamp":1683827926000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00500-023-08030-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4,24]]},"references-count":22,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2023,6]]}},"alternative-id":["8030"],"URL":"https:\/\/doi.org\/10.1007\/s00500-023-08030-1","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"type":"print","value":"1432-7643"},{"type":"electronic","value":"1433-7479"}],"subject":[],"published":{"date-parts":[[2023,4,24]]},"assertion":[{"value":"9 March 2023","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 April 2023","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"This work does not contain any studies with human participants or animals performed by any of the authors.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}}]}}