{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T19:54:45Z","timestamp":1759694085966},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2008,11,14]],"date-time":"2008-11-14T00:00:00Z","timestamp":1226620800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1007\/s10626-008-0056-1","type":"journal-article","created":{"date-parts":[[2008,11,13]],"date-time":"2008-11-13T10:50:04Z","timestamp":1226573404000},"page":"167-187","source":"Crossref","is-referenced-by-count":7,"title":["Event Counting of Partially-Observed Discrete-Event Systems with Uniformly and Nonuniformly Bounded Diagnosis Delays"],"prefix":"10.1007","volume":"19","author":[{"given":"Tae-Sic","family":"Yoo","sequence":"first","affiliation":[]},{"given":"Humberto E.","family":"Garcia","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,11,14]]},"reference":[{"issue":"1","key":"56_CR1","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/S0004-3702(99)00019-3","volume":"110","author":"P Baroni","year":"1999","unstructured":"Baroni P, Lamperti G, Pogliano P, Zanella M (1999) Diagnosis of large active systems. Artif Intell 110(1):135\u2013183","journal-title":"Artif Intell"},{"key":"56_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4070-7","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"1999","unstructured":"Cassandras CG, Lafortune S (1999) Introduction to discrete event systems. Kluwer, Dordrecht"},{"issue":"2","key":"56_CR3","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/BF02592101","volume":"73","author":"BV Cherkassky","year":"1996","unstructured":"Cherkassky BV, Goldberg AV, Radzik T (1996) Shortest-paths algorithms: Theory and experimental evaluation. Math Program 73(2):129\u2013174","journal-title":"Math Program"},{"issue":"2","key":"56_CR4","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1023\/B:DISC.0000018570.20941.d2","volume":"14","author":"O Contant","year":"2004","unstructured":"Contant O, Lafortune S, Teneketzis D (2004) Diagnosis of intermittent faults. Discret Event Dyn Syst Theor Appl 14(2):171\u2013202","journal-title":"Discret Event Dyn Syst Theor Appl"},{"key":"56_CR5","volume-title":"Introduction to algorithms","author":"TH Cormen","year":"1990","unstructured":"Cormen TH, Leiserson CE, Rivest RL (1990) Introduction to algorithms. MIT, Cambridge"},{"issue":"1","key":"56_CR6","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/s10626-005-5238-5","volume":"15","author":"E Fabre","year":"2005","unstructured":"Fabre E, Benveniste A, Haar S, Jard C (2005) Distributed monitoring of concurrent and asynchronous systems. Discret Event Dyn Syst Theor Appl 15(1):33\u201384","journal-title":"Discret Event Dyn Syst Theor Appl"},{"key":"56_CR7","unstructured":"Garcia HE, Lineberry MJ, Aumeier SE, McFarlane HF (2001) Proliferation resistance of advanced sustainable nuclear fuel cycles. In: Proc global 2001, Paris, 9\u201313 September 2001"},{"key":"56_CR8","unstructured":"Garcia HE, Yoo T (2003) Methodology to optimize and integrate safeguards sensor configurations and measurements in large nuclear processing facilities. In: Proc institute of nuclear material management (INMM) annual meeting, Phoenix, 13\u201317 July 2003"},{"issue":"41","key":"56_CR9","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1016\/j.automatica.2004.10.002","volume":"4","author":"HE Garcia","year":"2005","unstructured":"Garcia HE, Yoo T (2005) Model-based detection of routing events in discrete flow networks. Automatica 4(41):583\u2013594","journal-title":"Automatica"},{"key":"56_CR10","doi-asserted-by":"crossref","first-page":"494","DOI":"10.1137\/S0097539792231179","volume":"24","author":"AV Goldberg","year":"1995","unstructured":"Goldberg AV (1995) Scaling algorithms for the shortest paths problem. SIAM J Comput 24:494\u2013504","journal-title":"SIAM J Comput"},{"issue":"11","key":"56_CR11","doi-asserted-by":"crossref","first-page":"1579","DOI":"10.1109\/9.543996","volume":"41","author":"A Haji-Valizadeh","year":"1996","unstructured":"Haji-Valizadeh A, Loparo K (1996) Minimizing the cardinality of an events set for supervisors of discrete-event dynamical systems. IEEE Trans Automat Contr 41(11):1579\u20131593","journal-title":"IEEE Trans Automat Contr"},{"issue":"8","key":"56_CR12","doi-asserted-by":"crossref","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 time algorithm for diagnosability of discrete event systems. IEEE Trans Automat Contr 46(8):1318\u20131321","journal-title":"IEEE Trans Automat Contr"},{"issue":"2","key":"56_CR13","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1109\/TRA.2003.809590","volume":"19","author":"S Jiang","year":"2003","unstructured":"Jiang S, Kumar R, Garcia HE (2003a) Diagnosis of repeated\/intermittent failures in discrete-event systems. IEEE Trans Robot Appl 19(2):310\u2013323","journal-title":"IEEE Trans Robot Appl"},{"issue":"3","key":"56_CR14","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1109\/TAC.2003.809144","volume":"48","author":"S Jiang","year":"2003","unstructured":"Jiang S, Kumar R, Garcia HE (2003b) Optimal sensor selection for discrete event systems under partial observation. IEEE Trans Automat Contr 48(3):369\u2013381","journal-title":"IEEE Trans Automat Contr"},{"issue":"3","key":"56_CR15","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1109\/3468.844356","volume":"30","author":"J Lunze","year":"2000","unstructured":"Lunze J (2000) Diagnosis of quantized systems based on timed discrete-event model. IEEE Trans Syst Man Cybern Part A Syst Humans 30(3):322\u2013335","journal-title":"IEEE Trans Syst Man Cybern Part A Syst Humans"},{"issue":"1","key":"56_CR16","first-page":"135","volume":"110","author":"Y Pencol\u00e9","year":"2005","unstructured":"Pencol\u00e9 Y, Cordier M-O (2005) A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artif Intell 110(1):135\u2013183","journal-title":"Artif Intell"},{"issue":"7","key":"56_CR17","doi-asserted-by":"crossref","first-page":"908","DOI":"10.1109\/9.701089","volume":"43","author":"M Sampath","year":"1998","unstructured":"Sampath M, Lafortune S, Teneketzis D (1998) Active diagnosis of discrete event systems. IEEE Trans Automat Contr 43(7):908\u2013929","journal-title":"IEEE Trans Automat Contr"},{"issue":"9","key":"56_CR18","doi-asserted-by":"crossref","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 Automat Contr 40(9):1555\u20131575","journal-title":"IEEE Trans Automat Contr"},{"key":"56_CR19","doi-asserted-by":"crossref","unstructured":"Yoo T, Garcia HE (2004) Event diagnosis of discrete-event systems with uniformly and nonuniformly bounded diagnosis delays. In: Proc 2004 American control conference, vol. 30(6), Boston, June 2004, pp 5102\u20135107","DOI":"10.23919\/ACC.2004.1384660"},{"issue":"9","key":"56_CR21","doi-asserted-by":"crossref","first-page":"1495","DOI":"10.1109\/TAC.2002.802762","volume":"47","author":"T Yoo","year":"2002","unstructured":"Yoo T, Lafortune S (2002a) NP-completeness of sensor selection problems arising in partially-observed discrete-event systems. IEEE Trans Automat Contr 47(9):1495\u20131499","journal-title":"IEEE Trans Automat Contr"},{"issue":"9","key":"56_CR22","doi-asserted-by":"crossref","first-page":"1491","DOI":"10.1109\/TAC.2002.802763","volume":"47","author":"T Yoo","year":"2002","unstructured":"Yoo T, Lafortune S (2002b) Polynomial time verification of diagnosability of partially-observed discrete-event systems. IEEE Trans Automat Contr 47(9):1491\u20131495","journal-title":"IEEE Trans Automat Contr"},{"key":"56_CR23","unstructured":"Zad SH (1999) Fault diagnosis in discrete-event and hybrid systems. PhD Thesis, Dept. of Electrical and Computer Engineering, Univ of Toronto"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-008-0056-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-008-0056-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-008-0056-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T15:58:52Z","timestamp":1559231932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-008-0056-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11,14]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,6]]}},"alternative-id":["56"],"URL":"https:\/\/doi.org\/10.1007\/s10626-008-0056-1","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,11,14]]}}}