{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T05:16:32Z","timestamp":1782969392476,"version":"3.54.5"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2018,1,20]],"date-time":"2018-01-20T00:00:00Z","timestamp":1516406400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100003593","name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004586","name":"Funda\u00e7\u00e3o Carlos Chagas Filho de Amparo \u00e0 Pesquisa do Estado do Rio de Janeiro","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004586","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-0265-6","type":"journal-article","created":{"date-parts":[[2018,1,20]],"date-time":"2018-01-20T01:55:15Z","timestamp":1516413315000},"page":"215-246","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":61,"title":["Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation"],"prefix":"10.1007","volume":"28","author":[{"given":"Carlos E. V.","family":"Nunes","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marcos V.","family":"Moreira","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marcos V. S.","family":"Alves","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lilian K.","family":"Carvalho","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3737-0617","authenticated-orcid":false,"given":"Jo\u00e3o Carlos","family":"Basilio","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,1,20]]},"reference":[{"key":"265_CR1","doi-asserted-by":"crossref","unstructured":"Alves MVS, Basilio JC, Cunha AEC, Carvalho LK, Moreira MV (2014) Robust supervisory control against intermittent loss of observations. In: 12th workshop on discrete event systems, vol 12. Elsevier, Cachan, pp 294\u2013299","DOI":"10.3182\/20140514-3-FR-4046.00092"},{"issue":"3","key":"265_CR2","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1109\/TAC.2009.2039548","volume":"55","author":"E Athanasopoulou","year":"2010","unstructured":"Athanasopoulou E, Lingxi L, Hadjicostis C (2010) Maximum likelihood failure diagnosis in finite state machines under unreliable observations. IEEE Trans Autom Control 55(3):579\u2013593","journal-title":"IEEE Trans Autom Control"},{"issue":"1","key":"265_CR3","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/BF01516010","volume":"4","author":"S Balemi","year":"1994","unstructured":"Balemi S (1994) Input\/output discrete event processes and communication delays. Discrete Event Dyn Syst 4(1):41\u201385","journal-title":"Discrete Event Dyn Syst"},{"issue":"9","key":"265_CR4","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":"265_CR5","doi-asserted-by":"crossref","unstructured":"Carvalho LK, Moreira MV, Basilio JC (2011) Generalized robust diagnosability of discrete event systems. In: 18th IFAC World Congress, pp 8737\u20138742, Milan. Elsevier","DOI":"10.3182\/20110828-6-IT-1002.02665"},{"issue":"1","key":"265_CR6","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":"265_CR7","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, New York","edition":"2nd edn."},{"issue":"1","key":"265_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):33\u201386","journal-title":"Discrete Event Dyn Syst"},{"issue":"3","key":"265_CR9","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1023\/A:1024007808984","volume":"13","author":"R Debouk","year":"2003","unstructured":"Debouk R, Lafortune S, Teneketzis D (2003) On the effect of communication delays in failure diagnosis of decentralized discrete event systems. Discrete Event Dyn Syst 13(3):263\u2013289","journal-title":"Discrete Event Dyn Syst"},{"key":"265_CR10","unstructured":"Huo Z, Fang H, Ma C (2004) Networked control system: state of the art. In: Proceedings of the 5th world congress on intelligent control and automation. IEEE, Hangzhou, pp 1319\u20131322"},{"issue":"2","key":"265_CR11","doi-asserted-by":"publisher","first-page":"1276","DOI":"10.1137\/130914942","volume":"52","author":"F Lin","year":"2014","unstructured":"Lin F (2014) Control of networked discrete event systems: dealing with communication delays and losses. SIAM J Control Optim 52(2):1276\u20131298","journal-title":"SIAM J Control Optim"},{"issue":"1","key":"265_CR12","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TAC.2015.2427711","volume":"61","author":"MV Moreira","year":"2016","unstructured":"Moreira MV, Basilio JC, Cabral FG (2016) Polynomial time verification of decentralized diagnosability of discrete event systems versus decentralized failure diagnosis of discrete event systems: a critical appraisal. IEEE Trans Autom Control 61(1):178\u2013181","journal-title":"IEEE Trans Autom Control"},{"issue":"7","key":"265_CR13","doi-asserted-by":"publisher","first-page":"1679","DOI":"10.1109\/TAC.2011.2124950","volume":"56","author":"MV Moreira","year":"2011","unstructured":"Moreira MV, Jesus TC, Basilio JC (2011) Polynomial time verification of decentralized diagnosability of discrete event systems. IEEE Trans Autom Control 56 (7):1679\u20131684","journal-title":"IEEE Trans Autom Control"},{"key":"265_CR14","doi-asserted-by":"crossref","unstructured":"Nunes C, Moreira MV, Alves MVS, Basilio JC (2016) Network codiagnosability of discrete-event systems subject to event communication delay. In: 13th workshop on discrete event systems. IEEE Xian, pp 217\u2013 223","DOI":"10.1109\/WODES.2016.7497851"},{"issue":"5","key":"265_CR15","doi-asserted-by":"publisher","first-page":"911","DOI":"10.1109\/TAC.2006.872834","volume":"51","author":"SJ Park","year":"2006","unstructured":"Park SJ, Cho KH (2006) Delay-robust supervisory control of discrete event systems with bounded communication delays. IEEE Trans Autom Control 51(5):911\u2013915","journal-title":"IEEE Trans Autom Control"},{"key":"265_CR16","doi-asserted-by":"crossref","unstructured":"Park S-J, Cho K-H (2007a) Decentralized supervisory control of discrete event systems with communication delays based on conjunctive and permissive decision structures. Automatica 43(4):738\u2013743","DOI":"10.1016\/j.automatica.2006.10.016"},{"key":"265_CR17","doi-asserted-by":"crossref","unstructured":"Park S-J, Cho K-H (2007b) Supervisory control of discrete event systems with communication delays and partial observations. Syst Control Lett 56(2):106\u2013112","DOI":"10.1016\/j.sysconle.2006.08.002"},{"issue":"2","key":"265_CR18","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 36(2):384\u2013395","journal-title":"IEEE Trans Syst Man Cybern Part A"},{"issue":"3","key":"265_CR19","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 38 (3):628\u2013642","journal-title":"IEEE Trans Syst Man Cybern Part A"},{"key":"265_CR20","doi-asserted-by":"crossref","unstructured":"Rohloff KR (2005) Sensor failure tolerant supervisory control. In: 44th IEEE conference on decision and control. IEEE, Seville, pp 3493\u20133498","DOI":"10.1109\/CDC.2005.1582703"},{"issue":"1","key":"265_CR21","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/s10626-014-0184-8","volume":"25","author":"WH Sadid","year":"2015","unstructured":"Sadid WH, Ricker L, Hashtrudi-Zad S (2015) Robustness of synchronous communication protocols with delay for decentralized discrete-event control. Discrete Event Dyn Syst 25(1):159\u2013176","journal-title":"Discrete Event Dyn Syst"},{"issue":"9","key":"265_CR22","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":"4","key":"265_CR23","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/s10626-006-0022-8","volume":"16","author":"AM S\u00e1nchez","year":"2006","unstructured":"S\u00e1nchez AM, Montoya F (2006) Safe supervisory control under observability failure. Discrete Event Dyn Syst 16(4):493\u2013525","journal-title":"Discrete Event Dyn Syst"},{"issue":"8","key":"265_CR24","doi-asserted-by":"publisher","first-page":"2108","DOI":"10.1016\/j.automatica.2014.05.035","volume":"50","author":"S Shu","year":"2014","unstructured":"Shu S, Lin F (2014) Decentralized control of networked discrete event systems with communication delays. Automatica 50(8):2108\u20132112","journal-title":"Automatica"},{"issue":"8","key":"265_CR25","doi-asserted-by":"publisher","first-page":"2183","DOI":"10.1109\/TAC.2014.2369771","volume":"60","author":"S Shu","year":"2015","unstructured":"Shu S, Lin F (2015) Supervisor synthesis for networked discrete event systems with communication delays. IEEE Trans Autom Control 60(8):2183\u20132188","journal-title":"IEEE Trans Autom Control"},{"issue":"8","key":"265_CR26","doi-asserted-by":"publisher","first-page":"1913","DOI":"10.1016\/j.automatica.2012.06.024","volume":"48","author":"S Takai","year":"2012","unstructured":"Takai S (2012) Verification of robust diagnosability for partially observed discrete event systems. Automatica 48(8):1913\u20131919","journal-title":"Automatica"},{"issue":"9","key":"265_CR27","doi-asserted-by":"publisher","first-page":"1489","DOI":"10.1109\/TAC.2004.834116","volume":"49","author":"S Tripakis","year":"2004","unstructured":"Tripakis S (2004) Decentralized control of discrete-event systems with bounded or unbounded delay communication. IEEE Trans Autom Control 49(9):1489\u20131501","journal-title":"IEEE Trans Autom Control"},{"issue":"3","key":"265_CR28","doi-asserted-by":"publisher","first-page":"799","DOI":"10.1109\/TAC.2015.2449051","volume":"61","author":"T Ushio","year":"2016","unstructured":"Ushio T, Takai S (2016) Nonblocking supervisory control of discrete event systems modeled by mealy automata with nondeterministic output functions. IEEE Trans Autom Control 61(3):799\u2013804","journal-title":"IEEE Trans Autom Control"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-017-0265-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-017-0265-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-017-0265-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T12:22:08Z","timestamp":1570623728000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-017-0265-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1,20]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,6]]}},"alternative-id":["265"],"URL":"https:\/\/doi.org\/10.1007\/s10626-017-0265-6","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,1,20]]},"assertion":[{"value":"24 September 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 December 2017","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 January 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}