{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T13:51:01Z","timestamp":1766065861475,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1109\/acc.2009.5160208","type":"proceedings-article","created":{"date-parts":[[2009,7,20]],"date-time":"2009-07-20T19:56:27Z","timestamp":1248119787000},"page":"2202-2209","source":"Crossref","is-referenced-by-count":40,"title":["Robust codiagnosability of discrete event systems"],"prefix":"10.1109","author":[{"given":"Joao Carlos","family":"Basilio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephane","family":"Lafortune","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1109\/TASE.2006.879916","article-title":"distributed diagnosis of place-bordered petri nets","volume":"4","author":"genc","year":"2007","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-005-5238-5"},{"key":"18","first-page":"2252","article-title":"distributed stare reconstruction for discrete event systems","author":"fabre","year":"2000","journal-title":"IEEE Conference on Decision and Control"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2002.1167685"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2005.01.002"},{"key":"13","first-page":"6542","article-title":"a fault tolerant architecture for supervisory control of discrete event systems","author":"paoli","year":"2008","journal-title":"Proceedings of the 17th IFAC World Congress"},{"key":"14","first-page":"661","article-title":"reliable decentralized supervisory control of discrete event systems, ieee transactions on systems, mand, and cybernetics - part b","volume":"30","author":"takai","year":"2000","journal-title":"Cybernetics"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878984"},{"key":"12","article-title":"fault-tolerant supervisory control of of discrete event systems: formalisation and existence results","author":"wen","year":"2007","journal-title":"Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/87.486338"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2001.946047"},{"journal-title":"Introduction to Discrete Event Systems","year":"2007","author":"cassandras","key":"23"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.802763"},{"article-title":"robust diagnosis of discrete event systems","year":"2008","author":"basilio","key":"26"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/9.940942"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2006.1657694"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-006-0006-8"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678446"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008335115538"},{"key":"7","article-title":"formal methods for intrusion detection of windows nt attacks","author":"genc","year":"2008","journal-title":"3rd Annual Symposium on Information Assurance (ASIA'08) & 11th Annual NYS Cyber Security Conference"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2008.4586649"},{"key":"5","article-title":"diagnosis and communication in distributed systems","author":"sengupta","year":"1998","journal-title":"Proceedings of 1998 International Workshop on Discrete Event Systems - WODES'98"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2005.853503"},{"key":"9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-1586-1","author":"mangoubi","year":"1998","journal-title":"Robust Estimation and Failure Detection A Concise Treatment"},{"key":"8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5149-2","author":"chen","year":"1999","journal-title":"Robust Model-Based Fault Diagnosis for Dynamic Systems"}],"event":{"name":"2009 American Control Conference","start":{"date-parts":[[2009,6,10]]},"location":"St. Louis, MO, USA","end":{"date-parts":[[2009,6,12]]}},"container-title":["2009 American Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5089257\/5159764\/05160208.pdf?arnumber=5160208","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T22:06:56Z","timestamp":1497823616000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5160208\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/acc.2009.5160208","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}