{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T15:59:27Z","timestamp":1784217567745,"version":"3.55.0"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,7,8]],"date-time":"2017-07-08T00:00:00Z","timestamp":1499472000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,7,8]],"date-time":"2017-07-08T00:00:00Z","timestamp":1499472000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["NSF-CCF-1331390"],"award-info":[{"award-number":["NSF-CCF-1331390"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["NSF-ECCS-1509420"],"award-info":[{"award-number":["NSF-ECCS-1509420"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["and NSF-IIP-1602089"],"award-info":[{"award-number":["and NSF-IIP-1602089"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["JP15K06140"],"award-info":[{"award-number":["JP15K06140"]}],"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":[[2018,6]]},"DOI":"10.1007\/s10626-017-0253-x","type":"journal-article","created":{"date-parts":[[2017,7,8]],"date-time":"2017-07-08T03:11:22Z","timestamp":1499483482000},"page":"315-348","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Implementation of inference-based diagnosis: computing delay bound and ambiguity levels"],"prefix":"10.1007","volume":"28","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0165-4623","authenticated-orcid":false,"given":"Shigemasa","family":"Takai","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ratnesh","family":"Kumar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,7,8]]},"reference":[{"issue":"7","key":"253_CR1","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":"253_CR2","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"},{"issue":"1&2","key":"253_CR3","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":"253_CR4","doi-asserted-by":"crossref","unstructured":"Kumar R, Garg VK (1995) Modeling and control of logical discrete event systems. Kluwer Academic Publishers","DOI":"10.1007\/978-1-4615-2217-1"},{"issue":"10","key":"253_CR5","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":"253_CR6","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":"253_CR7","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 Humans 36(2):384\u2013395","journal-title":"IEEE Trans Syst Man Cybern Part A: Syst Humans"},{"issue":"3","key":"253_CR8","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"},{"issue":"2","key":"253_CR9","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1109\/TASE.2008.2009093","volume":"6","author":"W Qiu","year":"2009","unstructured":"Qiu W, Wen Q, Kumar R (2009) Decentralized diagnosis of event-driven systems for safely reacting to failures. IEEE Trans Autom Sci Eng 6(2):362\u2013366","journal-title":"IEEE Trans Autom Sci Eng"},{"issue":"9","key":"253_CR10","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":"9","key":"253_CR11","doi-asserted-by":"publisher","first-page":"1489","DOI":"10.1016\/j.automatica.2010.06.010","volume":"46","author":"K Schmidt","year":"2010","unstructured":"Schmidt K (2010) Abstraction-based verification of codiagnosability for discrete event systems. Automatica 46(9):1489\u20131494","journal-title":"Automatica"},{"issue":"12","key":"253_CR12","doi-asserted-by":"publisher","first-page":"1923","DOI":"10.1109\/TAC.2005.860291","volume":"50","author":"R Su","year":"2005","unstructured":"Su R, Wonham W M (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":"1","key":"253_CR13","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1109\/TAC.2010.2085590","volume":"56","author":"S Takai","year":"2011","unstructured":"Takai S, Kumar R (2011) Inference-based decentralized prognosis in discrete event systems. IEEE Trans Autom Control 56(1):165\u2013171","journal-title":"IEEE Trans Autom Control"},{"key":"253_CR14","doi-asserted-by":"crossref","unstructured":"Takai S, Kumar R (2016) Delay bound of inference-based decentralized diagnosis in discrete event systems. In: Proceedings of the 13th international workshop on discrete event systems. Xi\u2019an, China, pp 224\u2013229","DOI":"10.1109\/WODES.2016.7497852"},{"issue":"6","key":"253_CR15","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":"3","key":"253_CR16","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"},{"issue":"7","key":"253_CR17","doi-asserted-by":"publisher","first-page":"1551","DOI":"10.1109\/TAC.2011.2108410","volume":"56","author":"W Wang","year":"2011","unstructured":"Wang W, Girard A R, 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":"253_CR18","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 A R, Lin F (2010) Optimal sensor activation for diagnosing discrete event systems. Automatica 46(7):1165\u20131175","journal-title":"Automatica"},{"issue":"2","key":"253_CR19","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":"253_CR20","doi-asserted-by":"publisher","first-page":"1605","DOI":"10.1587\/transfun.E97.A.1605","volume":"97-A","author":"T Yamamoto","year":"2014","unstructured":"Yamamoto T, Takai S (2014) Reliable decentralized diagnosis of discrete event systems using the conjunctive architecture. IEICE Trans Fundamentals E 97-A (7):1605\u20131614","journal-title":"IEICE Trans Fundamentals E"},{"issue":"2","key":"253_CR21","doi-asserted-by":"publisher","first-page":"650","DOI":"10.1587\/transfun.E98.A.650","volume":"98-A","author":"T Yamamoto","year":"2015","unstructured":"Yamamoto T, Takai S (2015) Online synthesis of conjunctive decentralized diagnosers for discrete event systems. IEICE Trans Fundamentals E 98-A(2):650\u2013653","journal-title":"IEICE Trans Fundamentals E"},{"key":"253_CR22","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":"253_CR23","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":"8","key":"253_CR24","first-page":"1205","volume":"50","author":"T-S Yoo","year":"2007","unstructured":"Yoo T -S, Lafortune S (2007) Decentralized supervisory control with conditional decisions: supervisor realization. IEEE Trans Autom Control 50(8):1205\u20131211","journal-title":"IEEE Trans Autom Control"},{"issue":"2","key":"253_CR25","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. Annu Rev Control 37(2):308\u2013320","journal-title":"Annu Rev Control"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-017-0253-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-017-0253-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-017-0253-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,17]],"date-time":"2020-05-17T15:03:35Z","timestamp":1589727815000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-017-0253-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,8]]},"references-count":25,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,6]]}},"alternative-id":["253"],"URL":"https:\/\/doi.org\/10.1007\/s10626-017-0253-x","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,7,8]]},"assertion":[{"value":"30 September 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 June 2017","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 July 2017","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}