{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:32:28Z","timestamp":1762101148676,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1109\/cdc.2010.5717696","type":"proceedings-article","created":{"date-parts":[[2011,2,22]],"date-time":"2011-02-22T12:37:42Z","timestamp":1298378262000},"page":"4359-4364","source":"Crossref","is-referenced-by-count":11,"title":["Dynamic observers for fault diagnosis of timed systems"],"prefix":"10.1109","author":[{"given":"Franck","family":"Cassez","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","volume":"8","author":"cassez","year":"2010","journal-title":"Dynamic Observers for Fault Diagnosis of Timed Systems"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5399968"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45069-6_18"},{"key":"ref14","first-page":"185","article-title":"On decision problems for timed automata","volume":"87","author":"finkel","year":"2005","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2006.04.015"},{"key":"ref16","first-page":"1","article-title":"A determinizable class of timed automata","volume":"818","author":"alur","year":"1994","journal-title":"Proceedings of the 6th International Conference on Computer Aided Verification (CAV'94) ser LNCS"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/3-540-45351-2_15","article-title":"Minimum-cost reachability for priced timed automata","volume":"2034","author":"behrmann","year":"2001","journal-title":"Proc 4th International Workshop on Hybrid Systems Computation and Control (HSCC'01) ser LNCS"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/3-540-45351-2_8","article-title":"Optimal paths in weighted timed automata","volume":"2034","author":"alur","year":"2001","journal-title":"Proc 4th Int Work Hybrid Systems Computation and Control (HSCC'01) ser LNCS"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-007-0043-4"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1137\/0325066"},{"key":"ref3","first-page":"497","article-title":"Fault diagnosis with static and dynamic diagnosers","volume":"88","author":"cassez","year":"2008","journal-title":"Fundamenta Informaticae"},{"key":"ref6","article-title":"A polynomial algorithm for testing diagnosability of discrete event systems","volume":"46","author":"jiang","year":"2001","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/3-540-45739-9_14","article-title":"Fault diagnosis for timed automata","volume":"2469","author":"tripakis","year":"2002","journal-title":"Proceedings of the International Conference on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT'02) ser LNCS"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.802763"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2007.51"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2007.27"},{"key":"ref9","first-page":"219","article-title":"Fault diagnosis using timed automata","volume":"3441","author":"bouyer","year":"2005","journal-title":"FOSSACS Ser LNCS"}],"event":{"name":"2010 49th IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2010,12,15]]},"location":"Atlanta, GA, USA","end":{"date-parts":[[2010,12,17]]}},"container-title":["49th IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5707200\/5716927\/05717696.pdf?arnumber=5717696","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T16:05:31Z","timestamp":1497888331000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5717696\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/cdc.2010.5717696","relation":{},"subject":[],"published":{"date-parts":[[2010,12]]}}}