{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:30:44Z","timestamp":1725535844281},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/cdc.2004.1428606","type":"proceedings-article","created":{"date-parts":[[2008,8,27]],"date-time":"2008-08-27T18:10:36Z","timestamp":1219860636000},"page":"57-62 Vol.1","source":"Crossref","is-referenced-by-count":0,"title":["Synchronization-based fault detection in discrete event systems"],"prefix":"10.1109","author":[{"given":"E.","family":"Athanasopoulou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.N.","family":"Hadjicostis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Fault Tolerant Computer System Design","year":"1996","author":"pradhan","key":"13"},{"key":"11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3124-8","author":"bremaud","year":"1999","journal-title":"Markov Chains Gibbs Fields Monte Carlo Simulation and Queues"},{"journal-title":"Kronecker Products and Matrix Calculus With Applications","year":"1981","author":"graham","key":"12"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/26.135715"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.819076"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.811249"},{"key":"10","article-title":"Aliasing probability calculations in testing sequential circuits","author":"athanasopoulou","year":"2003","journal-title":"IEEE Proc Med Conf on Control and Automation"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.814099"},{"key":"6","article-title":"Failure diagnosis of stochastic automata","author":"thorsley","year":"2003","journal-title":"10th Int Workshop on Principles of Diagnosis"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/90.222906"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4070-7"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(88)90001-1"}],"event":{"name":"2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)","start":{"date-parts":[[2004,12,17]]},"location":"Nassau, Bahamas","end":{"date-parts":[[2004,12,17]]}},"container-title":["2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9774\/30836\/01428606.pdf?arnumber=1428606","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,7]],"date-time":"2020-05-07T23:50:49Z","timestamp":1588895449000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1428606\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/cdc.2004.1428606","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}