{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T03:13:07Z","timestamp":1791169987675,"version":"4.1.0"},"reference-count":24,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[2012,7,1]],"date-time":"2012-07-01T00:00:00Z","timestamp":1341100800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1109\/tac.2012.2183169","type":"journal-article","created":{"date-parts":[[2012,1,6]],"date-time":"2012-01-06T22:29:50Z","timestamp":1325888990000},"page":"1752-1764","source":"Crossref","is-referenced-by-count":47,"title":["The Complexity of Codiagnosability for Discrete Event and Timed Systems"],"prefix":"10.1109","volume":"57","author":[{"given":"Franck","family":"Cassez","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2005.853503"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2009.5160208"},{"key":"ref12","first-page":"78","article-title":"Software model checking with spin","volume":"65","author":"holzmann","year":"2005","journal-title":"Adv Comput"},{"key":"ref13","first-page":"200","article-title":"A tutorial on sc UPPAAL","volume":"3185","author":"behrmann","year":"2004","journal-title":"Proc Formal Methods Design of Real-Time Syst 4th Int School Formal Methods for the Design of Comput Commun Software Syst SFM-RT 2004 ser LNCS"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15643-4_8"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref16","first-page":"133","author":"thomas","year":"1990","journal-title":"Handbook of Theoretical Computer Science Volume B Formal Models and Sematics (B)"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.16"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/S1567-8326(02)00022-X"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2007.27"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/9.940942"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"key":"ref6","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":"Proc Int Conf Formal Tech Real Time and Fault Tolerant Syst (FTRTFT'02) ser LNCS"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.802763"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008335115538"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/978-3-540-31982-5_14","article-title":"Fault diagnosis using timed automata","volume":"3441","author":"bouyer","year":"2005","journal-title":"Proc 8th Int Conf Found Software Sci Comput Structures (FoSSaCS'05) ser LNCS"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1137\/0325066"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-006-0006-8"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5399968"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2007.27"},{"key":"ref21","first-page":"185","article-title":"On decision problems for timed automata","volume":"87","author":"finkel","year":"2005","journal-title":"Bull Eur Assoc Theoret Comput Sci"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717696"},{"key":"ref23","first-page":"180","article-title":"Timed control with partial observability","volume":"2725","author":"bouyer","year":"2003","journal-title":"Proc 15th Int Conf Comput Aided Verif (CAV'03) ser LNCS"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9\/6224214\/06125230.pdf?arnumber=6125230","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:52:20Z","timestamp":1633909940000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6125230\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7]]},"references-count":24,"journal-issue":{"issue":"7"},"URL":"https:\/\/doi.org\/10.1109\/tac.2012.2183169","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,7]]}}}