{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T14:59:35Z","timestamp":1777733975496,"version":"3.51.4"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2024,9,20]],"date-time":"2024-09-20T00:00:00Z","timestamp":1726790400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,9,20]],"date-time":"2024-09-20T00:00:00Z","timestamp":1726790400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["22K04167"],"award-info":[{"award-number":["22K04167"]}],"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":[[2024,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We consider a reliable decentralized diagnosis problem for discrete event systems in the inference-based framework. This problem requires us to synthesize local diagnosers such that the occurrence of any failure string is correctly detected within a finite number of steps, even if local diagnosis decisions of some local diagnosers are not available. In the case of single-level inference, we introduce a notion of reliable 1-inference-diagnosability and show that reliable 1-inference-diagnosability is a necessary and sufficient condition for the existence of a solution to the reliable decentralized diagnosis problem. Then, we show how to verify reliable 1-inference-diagnosability effectively. When the system to be diagnosed is reliably 1-inference-diagnosable, we compute the delay bound within which the occurrence of any failure string can be detected. Local diagnosers can be constructed using the computed delay bound.<\/jats:p>","DOI":"10.1007\/s10626-024-00404-3","type":"journal-article","created":{"date-parts":[[2024,9,20]],"date-time":"2024-09-20T14:03:02Z","timestamp":1726840982000},"page":"497-537","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Reliable decentralized failure diagnosis of discrete event systems using single-level inference"],"prefix":"10.1007","volume":"34","author":[{"given":"Takumi","family":"Hamada","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0165-4623","authenticated-orcid":false,"given":"Shigemasa","family":"Takai","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,9,20]]},"reference":[{"key":"404_CR1","doi-asserted-by":"crossref","unstructured":"Basilio JC, Lafortune S (2009) Robust codiagnosability of discrete event systems. In: Proceedings of the 2009 American control conference. St. Louis, MO, USA, pp 2202\u20132209","DOI":"10.1109\/ACC.2009.5160208"},{"key":"404_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-72274-6","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"2021","unstructured":"Cassandras CG, Lafortune S (2021) Introduction to discrete event systems, 3rd edn. Springer","edition":"3"},{"issue":"7","key":"404_CR3","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":"404_CR4","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":"404_CR5","volume-title":"Introduction to algorithms","author":"TH Cormen","year":"1990","unstructured":"Cormen TH, Leiserson CE, Rivest RL (1990) Introduction to algorithms. MIT Press"},{"issue":"1 &2","key":"404_CR6","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"},{"key":"404_CR7","doi-asserted-by":"crossref","unstructured":"Hamada T, Takai S (2022a) Reliable diagnosability for decentralized diagnosis of discrete event systems with single-level inference. In: Proceedings of the 2022 American control conference. Atlanta, GA, USA, pp 3746\u20133751","DOI":"10.23919\/ACC53348.2022.9867608"},{"key":"404_CR8","doi-asserted-by":"crossref","unstructured":"Hamada T, Takai S (2022b) Verification of reliable inference-diagnosability for decentralized diagnosis with single-level inference. In: Proceedings of the 16th international workshop on discrete event systems. Prague, Czechia, pp 244\u2013249","DOI":"10.1016\/j.ifacol.2022.10.349"},{"issue":"8","key":"404_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":"2","key":"404_CR10","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/s10626-019-00306-9","volume":"30","author":"A Khoumsi","year":"2020","unstructured":"Khoumsi A (2020) Arborescent architecture for decentralized diagnosis of discrete event systems. Discrete Event Dyn Syst 30(2):335\u2013375","journal-title":"Discrete Event Dyn Syst"},{"issue":"10","key":"404_CR11","doi-asserted-by":"publisher","first-page":"1783","DOI":"10.1109\/TAC.2007.906158","volume":"52","author":"R Kumar","year":"2007","unstructured":"Kumar R, Takai S (2007) Inference-based ambiguity management in decentralized decision-making: Decentralized control of discrete event systems. IEEE Trans Autom Control 52(10):1783\u20131794","journal-title":"IEEE Trans Autom Control"},{"issue":"3","key":"404_CR12","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":"9","key":"404_CR13","doi-asserted-by":"publisher","first-page":"1510","DOI":"10.1016\/j.automatica.2010.06.011","volume":"46","author":"F Liu","year":"2010","unstructured":"Liu F, Lin H (2010) Reliable supervisory control for general architecture of decentralized discrete event systems. Automatica 46(9):1510\u20131516","journal-title":"Automatica"},{"issue":"5","key":"404_CR14","doi-asserted-by":"publisher","first-page":"353","DOI":"10.9746\/jcmsi.6.353","volume":"6","author":"S Nakata","year":"2013","unstructured":"Nakata S, Takai S (2013) Reliable decentralized failure diagnosis of discrete event systems. SICE J Control Meas Syst Integr 6(5):353\u2013359","journal-title":"SICE J Control Meas Syst Integr"},{"issue":"2","key":"404_CR15","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":"1","key":"404_CR16","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"PJ Ramadge","year":"1987","unstructured":"Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25(1):206\u2013230","journal-title":"SIAM J Control Optim"},{"issue":"3","key":"404_CR17","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1109\/TAC.2007.892371","volume":"52","author":"SL Ricker","year":"2007","unstructured":"Ricker SL, Rudie K (2007) Knowledge is a terrible thing to waste: using inference in discrete-event control problems. IEEE Trans Autom Control 52(3):428\u2013441","journal-title":"IEEE Trans Autom Control"},{"issue":"9","key":"404_CR18","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":"404_CR19","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":"404_CR20","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":"404_CR21","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":"5","key":"404_CR22","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1109\/3477.875443","volume":"30","author":"S Takai","year":"2000","unstructured":"Takai S, Ushio T (2000) Reliable decentralized supervisory control of discrete event systems. IEEE Trans Syst Man Cybern Part B: Cybern 30(5):661\u2013667","journal-title":"IEEE Trans Syst Man Cybern Part B: Cybern"},{"key":"404_CR23","doi-asserted-by":"crossref","unstructured":"Takai S, Ushio T (2003) Reliable decentralized supervisory control of discrete event systems with the conjunctive and disjunctive fusion rules. IEICE Trans Fundam E86-A(11):2731\u20132738","DOI":"10.1109\/ACC.2003.1239725"},{"key":"404_CR24","doi-asserted-by":"crossref","unstructured":"Takai S, Yoshida S (2022) Reliable decentralized supervisory control of discrete event systems with single-level inference. IEICE Trans Fundam E105-A(5):799\u2013807","DOI":"10.1587\/transfun.2021MAP0001"},{"key":"404_CR25","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"},{"issue":"2","key":"404_CR26","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"},{"issue":"7","key":"404_CR27","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"},{"key":"404_CR28","doi-asserted-by":"crossref","unstructured":"Yamamoto T, Takai S (2014) Reliable decentralized diagnosis of discrete event systems using the conjunctive architecture. IEICE Trans Fundam E97-A(7):1605\u20131614","DOI":"10.1587\/transfun.E97.A.1605"},{"key":"404_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":"11","key":"404_CR30","doi-asserted-by":"publisher","first-page":"1598","DOI":"10.1109\/TSMC.2015.2499178","volume":"46","author":"X Yin","year":"2016","unstructured":"Yin X, Li Z (2016) Reliable decentralized fault prognosis of discrete-event systems. IEEE Trans Syst Man Cybern: Syst 46(11):1598\u20131603","journal-title":"IEEE Trans Syst Man Cybern: Syst"},{"issue":"1","key":"404_CR31","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":"404_CR32","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":"404_CR33","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"},{"key":"404_CR34","doi-asserted-by":"crossref","unstructured":"Yoo T-S, Lafortune S (2004) Decentralized supervisory control with conditional decisions: Supervisor existence. IEEE Trans Autom Control 49(11):1886\u20131904","DOI":"10.1109\/TAC.2004.837595"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-024-00404-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-024-00404-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-024-00404-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,9]],"date-time":"2024-12-09T10:06:02Z","timestamp":1733738762000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-024-00404-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,20]]},"references-count":34,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2024,12]]}},"alternative-id":["404"],"URL":"https:\/\/doi.org\/10.1007\/s10626-024-00404-3","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,9,20]]},"assertion":[{"value":"31 March 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 August 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 September 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no conflict of interest to declare that are relevant to this article.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflicts of interest"}}]}}