{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T15:01:28Z","timestamp":1777734088894,"version":"3.51.4"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2021,11,8]],"date-time":"2021-11-08T00:00:00Z","timestamp":1636329600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,11,8]],"date-time":"2021-11-08T00:00:00Z","timestamp":1636329600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["JP18K04201"],"award-info":[{"award-number":["JP18K04201"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2022,6]]},"DOI":"10.1007\/s10626-021-00353-1","type":"journal-article","created":{"date-parts":[[2021,11,8]],"date-time":"2021-11-08T05:03:45Z","timestamp":1636347825000},"page":"159-193","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Decentralized diagnosis of discrete event systems subject to permanent sensor failures"],"prefix":"10.1007","volume":"32","author":[{"given":"Akihito","family":"Wada","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0165-4623","authenticated-orcid":false,"given":"Shigemasa","family":"Takai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,11,8]]},"reference":[{"issue":"9","key":"353_CR1","doi-asserted-by":"publisher","first-page":"2068","DOI":"10.1016\/j.automatica.2012.06.042","volume":"48","author":"LK Carvalho","year":"2012","unstructured":"Carvalho LK, Basilio JC, Moreira MV (2012) Robust diagnosis of discrete-event systems against intermittent loss of observations. Automatica 48 (9):2068\u20132078","journal-title":"Automatica"},{"key":"353_CR2","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/j.automatica.2017.01.017","volume":"79","author":"LK Carvalho","year":"2017","unstructured":"Carvalho LK, Moreira MV, Basilio JC (2017) Diagnosability of intermittent sensor faults in discrete event systems. Automatica 79:315\u2013325","journal-title":"Automatica"},{"issue":"1","key":"353_CR3","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/j.automatica.2012.09.017","volume":"49","author":"LK Carvalho","year":"2013","unstructured":"Carvalho LK, Moreira MV, Basilio JC, Lafortune S (2013) Robust diagnosis of discrete-event systems against permanent loss of observations. Automatica 49(1):223\u2013231","journal-title":"Automatica"},{"key":"353_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"2008","unstructured":"Cassandras CG, Lafortune S (2008) Introduction to discrete event systems, 2nd edn. Springer, Berlin","edition":"2nd edn."},{"issue":"7","key":"353_CR5","doi-asserted-by":"publisher","first-page":"1752","DOI":"10.1109\/TAC.2012.2183169","volume":"57","author":"F Cassez","year":"2012","unstructured":"Cassez F (2012) The complexity of codiagnosability for discrete event and timed systems. IEEE Trans Autom Control 57(7):1752\u20131764","journal-title":"IEEE Trans Autom Control"},{"issue":"3","key":"353_CR6","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s10626-011-0122-y","volume":"22","author":"H Chakib","year":"2012","unstructured":"Chakib H, Khoumsi A (2012) Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems. Discrete Event Dyn Syst 22(3):333\u2013380","journal-title":"Discrete Event Dyn Syst"},{"key":"353_CR7","volume-title":"Introduction to algorithms","author":"TH Cormen","year":"1990","unstructured":"Cormen TH, Leiserson CE, Rivest RL (1990) Introduction to algorithms. MIT Press, Cambridge"},{"issue":"1&2","key":"353_CR8","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1023\/A:1008335115538","volume":"10","author":"R Debouk","year":"2000","unstructured":"Debouk R, Lafortune S, Teneketzis D (2000) Coordinated decentralized protocols for failure diagnosis of discrete event systems. Discrete Event Dyn Syst 10(1&2):33\u201386","journal-title":"Discrete Event Dyn Syst"},{"issue":"8","key":"353_CR9","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 Autom Control 46(8):1318\u20131321","journal-title":"IEEE Trans Autom Control"},{"issue":"12","key":"353_CR10","doi-asserted-by":"publisher","first-page":"2598","DOI":"10.1080\/00207179.2015.1051587","volume":"88","author":"N Kanagawa","year":"2015","unstructured":"Kanagawa N, Takai S (2015) Diagnosability of discrete event systems subject to permanent sensor failures. Int J Control 88(12):2598\u20132610","journal-title":"Int J Control"},{"issue":"3","key":"353_CR11","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1109\/TASE.2009.2021330","volume":"6","author":"R Kumar","year":"2009","unstructured":"Kumar R, Takai S (2009) Inference-based ambiguity management in decentralized decision-making: decentralized diagnosis of discrete-event systems. IEEE Trans Autom Sci Eng 6(3):479\u2013491","journal-title":"IEEE Trans Autom Sci Eng"},{"issue":"2","key":"353_CR12","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/s10626-017-0265-6","volume":"28","author":"CEV Nunes","year":"2018","unstructured":"Nunes CEV, Moreira MV, Alves MVS, Carvalho LK, Basilio JC (2018) Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation. Discrete Event Dyn Syst 28(2):215\u2013246","journal-title":"Discrete Event Dyn Syst"},{"issue":"2","key":"353_CR13","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1109\/TSMCA.2005.853503","volume":"36","author":"W Qiu","year":"2006","unstructured":"Qiu W, Kumar R (2006) Decentralized failure diagnosis of discrete event systems. IEEE Trans Syst Man Cybern Part A: Syst Human 36(2):384\u2013395","journal-title":"IEEE Trans Syst Man Cybern Part A: Syst Human"},{"issue":"3","key":"353_CR14","doi-asserted-by":"publisher","first-page":"628","DOI":"10.1109\/TSMCA.2008.918627","volume":"38","author":"W Qiu","year":"2008","unstructured":"Qiu W, Kumar R (2008) Distributed diagnosis under bounded-delay communication of immediately forwarded local observations. IEEE Trans Syst Man Cybern Part A: Syst Humans 38(3):628\u2013643","journal-title":"IEEE Trans Syst Man Cybern Part A: Syst Humans"},{"key":"353_CR15","doi-asserted-by":"crossref","unstructured":"Rohloff KR (2005) Sensor failure tolerant supervisory control. In: Proceedings of the 44th IEEE conference on decision and control and the 2005 European control conference. Sevilla, Spain, pp 3493\u20133498","DOI":"10.1109\/CDC.2005.1582703"},{"issue":"9","key":"353_CR16","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 Autom Control 40(9):1555\u20131575","journal-title":"IEEE Trans Autom Control"},{"issue":"12","key":"353_CR17","doi-asserted-by":"publisher","first-page":"1923","DOI":"10.1109\/TAC.2005.860291","volume":"50","author":"R Su","year":"2005","unstructured":"Su R, Wonham WM (2005) Global and local consistencies in distributed fault diagnosis for discrete-event systems. IEEE Trans Autom Control 50 (12):1923\u20131935","journal-title":"IEEE Trans Autom Control"},{"issue":"6","key":"353_CR18","doi-asserted-by":"publisher","first-page":"2778","DOI":"10.1109\/TAC.2016.2624422","volume":"62","author":"S Takai","year":"2017","unstructured":"Takai S, Kumar R (2017) A generalized framework for inference-based diagnosis of discrete event systems capturing both disjunctive and conjunctive decision-making. IEEE Trans Autom Control 62(6):2778\u20132793","journal-title":"IEEE Trans Autom Control"},{"issue":"2","key":"353_CR19","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/s10626-017-0253-x","volume":"28","author":"S Takai","year":"2018","unstructured":"Takai S, Kumar R (2018) Implementation of inference-based diagnosis: computing delay bound and ambiguity levels. Discrete Event Dyn Syst 28(2):315\u2013348","journal-title":"Discrete Event Dyn Syst"},{"issue":"3","key":"353_CR20","doi-asserted-by":"publisher","first-page":"798","DOI":"10.1109\/TAC.2012.2185881","volume":"57","author":"S Takai","year":"2012","unstructured":"Takai S, Ushio T (2012) Verification of codiagnosability for discrete event systems modeled by Mealy automata with nondeterministic output functions. IEEE Trans Autom Control 57(3):798\u2013804","journal-title":"IEEE Trans Autom Control"},{"key":"353_CR21","doi-asserted-by":"crossref","unstructured":"Thorsley D, Yoo T -S, Garcia HE (2008) Diagnosability of stochastic discrete-event systems under unreliable observations. In: Proceedings of the 2008 American control conference. Seattle, WA, USA, pp 1158\u20131165","DOI":"10.1109\/ACC.2008.4586649"},{"issue":"11","key":"353_CR22","doi-asserted-by":"publisher","first-page":"5808","DOI":"10.1109\/TAC.2016.2638042","volume":"62","author":"JHA Tomola","year":"2017","unstructured":"Tomola JHA, Cabral FG, Carvalho LK, Moreira MV (2017) Robust disjunctive-codiagnosability of discrete-event systems against permanent loss of observations. IEEE Trans Autom Control 62(11):5808\u20135815","journal-title":"IEEE Trans Autom Control"},{"key":"353_CR23","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1016\/j.automatica.2018.12.013","volume":"101","author":"GS Viana","year":"2019","unstructured":"Viana GS, Basilio JC (2019) Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications. Automatica 101:354\u2013364","journal-title":"Automatica"},{"key":"353_CR24","doi-asserted-by":"crossref","unstructured":"Wada A, Takai S (2019) Verification of codiagnosability for decentralized diagnosis of discrete event systems subject to permanent sensor failures. In: Proceedings of the 2019 European control conference. Naples, Italy, pp 1726\u20131731","DOI":"10.23919\/ECC.2019.8795941"},{"key":"353_CR25","unstructured":"Wada A, Chawalarat N, Takai S (2018) Codiagnosability for decentralized diagnosis of discrete event systems subject to permanent sensor failures. In: Proceedings of the SICE annual conference 2018. Nara, Japan, pp 1069\u20131072"},{"issue":"7","key":"353_CR26","doi-asserted-by":"publisher","first-page":"1551","DOI":"10.1109\/TAC.2011.2108410","volume":"56","author":"W Wang","year":"2011","unstructured":"Wang W, Girard AR, Lafortune S, Lin F (2011) On codiagnosability and coobservability with dynamic observations. IEEE Trans Autom Control 56(7):1551\u20131566","journal-title":"IEEE Trans Autom Control"},{"issue":"7","key":"353_CR27","doi-asserted-by":"publisher","first-page":"1165","DOI":"10.1016\/j.automatica.2010.04.004","volume":"46","author":"W Wang","year":"2010","unstructured":"Wang W, Lafortune S, Girard AR, Lin F (2010) Optimal sensor activation for diagnosing discrete event systems. Automatica 46(7):1165\u20131175","journal-title":"Automatica"},{"issue":"2","key":"353_CR28","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s10626-006-0006-8","volume":"17","author":"Y Wang","year":"2007","unstructured":"Wang Y, Yoo T -S, Lafortune S (2007) Diagnosis of discrete event systems using decentralized architectures. Discrete Event Dyn Syst 17(2):233\u2013263","journal-title":"Discrete Event Dyn Syst"},{"key":"353_CR29","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/j.automatica.2015.08.023","volume":"61","author":"X Yin","year":"2015","unstructured":"Yin X, Lafortune S (2015) Codiagnosability and coobservability under dynamic observations: transformation and verification. Automatica 61:241\u2013252","journal-title":"Automatica"},{"issue":"1","key":"353_CR30","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/s10626-016-0229-2","volume":"27","author":"S Yokota","year":"2017","unstructured":"Yokota S, Yamamoto T, Takai S (2017) Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions. Discrete Event Dyn Syst 27(1):45\u201384","journal-title":"Discrete Event Dyn Syst"},{"issue":"12","key":"353_CR31","doi-asserted-by":"publisher","first-page":"1023","DOI":"10.1016\/j.sysconle.2008.06.009","volume":"57","author":"T-S Yoo","year":"2008","unstructured":"Yoo T -S, Garcia HE (2008) Diagnosis of behaviors of interest in partially-observed discrete-event systems. Syst Control Lett 57(12):1023\u20131029","journal-title":"Syst Control Lett"},{"issue":"9","key":"353_CR32","doi-asserted-by":"publisher","first-page":"1491","DOI":"10.1109\/TAC.2002.802763","volume":"47","author":"T-S Yoo","year":"2002","unstructured":"Yoo T-S, Lafortune S (2002) Polynomial-time verification of diagnosability of partially observed discrete-event systems. IEEE Trans Autom Control 47 (9):1491\u20131495","journal-title":"IEEE Trans Autom Control"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-021-00353-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-021-00353-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-021-00353-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,5]],"date-time":"2022-05-05T08:43:43Z","timestamp":1651740223000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-021-00353-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,8]]},"references-count":32,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2022,6]]}},"alternative-id":["353"],"URL":"https:\/\/doi.org\/10.1007\/s10626-021-00353-1","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,11,8]]},"assertion":[{"value":"18 February 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 October 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 November 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}