{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:12:22Z","timestamp":1729653142692,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,8]]},"DOI":"10.1109\/coase.2012.6386310","type":"proceedings-article","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T23:15:40Z","timestamp":1357168540000},"page":"662-667","source":"Crossref","is-referenced-by-count":0,"title":["On opacity and diagnosability in discrete event systems modeled by pushdown automata"],"prefix":"10.1109","author":[{"given":"Koichi","family":"Kobayashi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kunihiko","family":"Hirasihi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605967"},{"key":"17","doi-asserted-by":"crossref","first-page":"384","DOI":"10.1109\/TSMCA.2005.853503","article-title":"Decentralized failure diagnosis of discrete event systems","volume":"36","author":"qiu","year":"2006","journal-title":"IEEE Trans on Systems Man and Cybernetics - Part A"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434515"},{"key":"15","first-page":"153","article-title":"Regular approximation of context-free grammars through transformation","author":"mohri","year":"2000","journal-title":"Robustness in Language and Speech Technology"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19237-1_6"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.809144"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1242572.1242714"},{"journal-title":"Introduction to Automata Theory Languages and Computation","year":"2006","author":"hopcroft","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678440"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"key":"20","first-page":"205","article-title":"Verification of K-step opacity and analysis of its complexity","author":"saboori","year":"2007","journal-title":"Proc Joint 48th IEEE Conf on Decision and Control and 28th Chinese Control Conf"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/87.486338"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46011-X_10"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2001.924296"},{"key":"25","doi-asserted-by":"crossref","first-page":"1495","DOI":"10.1109\/TAC.2002.802762","article-title":"NP-completeness of sensor selection problems arising in partially observed discrete-event systems","volume":"47","author":"yoo","year":"2002","journal-title":"IEEE Trans on Automatic Control"},{"key":"3","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1007\/s10626-007-0020-5","author":"badouel","year":"2007","journal-title":"Concurrent Secrets Discrete Event Dynamic Systems"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59136-5_3"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1587\/transfun.E92.A.604"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1007352.1007390"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04761-9_26"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400608"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-008-0058-x"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.919519"},{"key":"8","article-title":"Opacity and abstractions","author":"dubreil","year":"2009","journal-title":"Proc 1st Int'l Workshop on Abstractions for Petri Nets and Other Models of Concurrency"}],"event":{"name":"2012 IEEE International Conference on Automation Science and Engineering (CASE 2012)","start":{"date-parts":[[2012,8,20]]},"location":"Seoul, Korea (South)","end":{"date-parts":[[2012,8,24]]}},"container-title":["2012 IEEE International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6375512\/6386304\/06386310.pdf?arnumber=6386310","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T01:06:09Z","timestamp":1498007169000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6386310\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/coase.2012.6386310","relation":{},"subject":[],"published":{"date-parts":[[2012,8]]}}}