{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:14:59Z","timestamp":1761488099038},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1109\/acc.2008.4586535","type":"proceedings-article","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T10:28:20Z","timestamp":1218536900000},"page":"465-470","source":"Crossref","is-referenced-by-count":10,"title":["Polynomial-time verification of the observer property in abstractions"],"prefix":"10.1109","author":[{"given":"Patricia N.","family":"Pena","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jose E.R.","family":"Cury","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephane","family":"Lafortune","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605991"},{"journal-title":"Supervisory control of discrete-event systems","year":"2005","author":"wonham","key":"15"},{"year":"0","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"journal-title":"Introduction to Discrete Event Systems","year":"2007","author":"cassandras","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.802763"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2000.876983"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.382507"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1998.758204"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01797154"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.382509"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2006.355433"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678416"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678399"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678423"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.376857"},{"key":"8","doi-asserted-by":"crossref","DOI":"10.1023\/A:1008210519960","article-title":"on the complexity of projections of discrete-event systems","author":"wong","year":"1998","journal-title":"Proceedings of the 4th Workshop on Discrete Event Systems WODES'98"}],"event":{"name":"2008 American Control Conference (ACC '08)","start":{"date-parts":[[2008,6,11]]},"location":"Seattle, WA","end":{"date-parts":[[2008,6,13]]}},"container-title":["2008 American Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4547420\/4586444\/04586535.pdf?arnumber=4586535","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T06:49:22Z","timestamp":1497768562000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4586535\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/acc.2008.4586535","relation":{},"subject":[],"published":{"date-parts":[[2008,6]]}}}