{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:23:27Z","timestamp":1729671807410,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1109\/coase.2015.7294184","type":"proceedings-article","created":{"date-parts":[[2015,10,8]],"date-time":"2015-10-08T17:56:58Z","timestamp":1444327018000},"page":"831-836","source":"Crossref","is-referenced-by-count":7,"title":["Distributed diagnosis using predetermined synchronization strategies in the presence of communication constraints"],"prefix":"10.1109","author":[{"given":"Christoforos","family":"Keroglou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoforos N.","family":"Hadjicostis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1007\/BF01441211"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/TSMCA.2005.853503"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/9.412626"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/TAC.2012.2185881"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1109\/TAC.2005.844722"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/TAC.2011.2108410"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1007\/s10626-006-0006-8"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"1491","DOI":"10.1109\/TAC.2002.802763","article-title":"Polynomial-time verification of diagnosabil-ity of partially observed discrete-event systems","volume":"47","author":"yoo","year":"2002","journal-title":"IEEE Transactions on Automatic Control"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/ISIC.1994.367815"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1016\/j.automatica.2012.06.039"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1007\/978-1-4757-4070-7"},{"key":"ref5","first-page":"123","article-title":"A new protocol for the decentralized diagnosis of labeled Petri nets","author":"cabasino","year":"2010","journal-title":"Proc Int Workshop on Discrete Event Systems (WODES)"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/9.940942"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1023\/A:1008335115538"},{"key":"ref2","first-page":"214","article-title":"Decentralized K-diagnosability of Petri nets","author":"basile","year":"2012","journal-title":"11th th International Workshop on Discrete Event Systems (WODES)"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1109\/ACC.2006.1657633"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/CDC.2014.7040321"}],"event":{"name":"2015 IEEE International Conference on Automation Science and Engineering (CASE)","start":{"date-parts":[[2015,8,24]]},"location":"Gothenburg, Sweden","end":{"date-parts":[[2015,8,28]]}},"container-title":["2015 IEEE International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7279855\/7294025\/07294184.pdf?arnumber=7294184","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T17:00:21Z","timestamp":1498237221000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7294184\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/coase.2015.7294184","relation":{},"subject":[],"published":{"date-parts":[[2015,8]]}}}