{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:35:28Z","timestamp":1761489328889,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1109\/cdc.2013.6761046","type":"proceedings-article","created":{"date-parts":[[2014,3,13]],"date-time":"2014-03-13T22:14:07Z","timestamp":1394748847000},"page":"7291-7296","source":"Crossref","is-referenced-by-count":3,"title":["Consistent abstractions for the purpose of supervisory control"],"prefix":"10.1109","author":[{"given":"Thomas","family":"Moor","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christine","family":"Baier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Wittmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"13","DOI":"10.1007\/BF01797154"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1109\/9.58555"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1109\/TAC.2008.2006817"},{"key":"12","first-page":"201","article-title":"On the complexity of projections of discreteevent systems","author":"wong","year":"1998","journal-title":"IEE Workshop on Discrete Event Systems"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1109\/9.182487"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1109\/TAC.2008.927679"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1007\/s10626-008-0054-3"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1109\/TAC.2010.2067250"},{"key":"7","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/9.8645","article-title":"Some tractable supervisory control problems for discrete-event systems modeled by buchi automata","volume":"34","author":"ramadge","year":"1989","journal-title":"IEEE Transactions on Automatic Control"},{"key":"6","first-page":"175","article-title":"On the computation of supremal sublanguages relevant to supervisory control","author":"moor","year":"2012","journal-title":"Workshop on Discrete-Event Systems (WODES'02)"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1109\/DCDS.2011.5970323"},{"key":"4","first-page":"63","article-title":"Conflicts and projections","author":"malik","year":"2007","journal-title":"1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS)"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/5.21072"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1137\/0325013"}],"event":{"name":"2013 IEEE 52nd Annual Conference on Decision and Control (CDC)","start":{"date-parts":[[2013,12,10]]},"location":"Firenze","end":{"date-parts":[[2013,12,13]]}},"container-title":["52nd IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6749719\/6759837\/06761046.pdf?arnumber=6761046","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T09:34:51Z","timestamp":1498124091000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6761046\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/cdc.2013.6761046","relation":{},"subject":[],"published":{"date-parts":[[2013,12]]}}}