{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:54:31Z","timestamp":1729652071021,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/cca.2015.7320659","type":"proceedings-article","created":{"date-parts":[[2015,11,5]],"date-time":"2015-11-05T18:06:11Z","timestamp":1446746771000},"page":"382-387","source":"Crossref","is-referenced-by-count":4,"title":["Computational methods for diagnosability verification of hybrid systems"],"prefix":"10.1109","author":[{"given":"Oumar","family":"Diene","sequence":"first","affiliation":[]},{"given":"Marcos V.","family":"Moreira","sequence":"additional","affiliation":[]},{"given":"Victor R.","family":"Alvarez","sequence":"additional","affiliation":[]},{"given":"Eduardo R.","family":"Silva","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"article-title":"Lecture Notes on Hybrid Systems","year":"2004","author":"lygeros","key":"ref10"},{"article-title":"Modelling and Analysis of Hybrid Systems","year":"2012","author":"abraham","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(90)90018-D"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2332238"},{"article-title":"Fault diagnosis in discrete and hybrid systems","year":"1999","author":"zad","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2124950"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1177\/0142331208097840"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICIT.2006.372200"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039350"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-012-0153-z"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"1491","DOI":"10.1109\/TAC.2002.802763","article-title":"Polynomial-time verification of diagnosability of partially observed discrete-event systems","volume":"47","author":"yoo","year":"2002","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0109998","volume":"2","author":"van der schaft","year":"2000","journal-title":"An Introduction to Hybrid Dynamical Systems"}],"event":{"name":"2015 IEEE Conference on Control Applications (CCA)","start":{"date-parts":[[2015,9,21]]},"location":"Sydney, Australia","end":{"date-parts":[[2015,9,23]]}},"container-title":["2015 IEEE Conference on Control Applications (CCA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7302355\/7320604\/07320659.pdf?arnumber=7320659","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T19:02:18Z","timestamp":1498244538000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7320659\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/cca.2015.7320659","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}