{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:14:58Z","timestamp":1761488098941},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1109\/acc.2008.4586539","type":"proceedings-article","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T14:28:20Z","timestamp":1218551300000},"page":"491-498","source":"Crossref","is-referenced-by-count":14,"title":["Modular supervisory control with equivalence-based conflict resolution"],"prefix":"10.1109","author":[{"given":"R. C.","family":"Hill","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D. M.","family":"Tilbury","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Lafortune","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"supervisory control: theory and application to the gateway synthesis problem","author":"inan","year":"1993","journal-title":"Belgian-French-Netherlands Summer School on Discrete Event Systems"},{"key":"17","article-title":"nonblocking supervisory control of nondeterministic systems based on multiple deterministic model approach","author":"park","year":"2000","journal-title":"IEICE Trans Inf & Syst"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1996.572970"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678409"},{"key":"16","doi-asserted-by":"crossref","DOI":"10.1109\/9.533677","article-title":"non-blocking supervisory control of nondeterministic discrete-event systems via prioritized synchronoziation","author":"kumar","year":"1996","journal-title":"IEEE Trans Automat Contr"},{"key":"13","article-title":"conflicts and projections","author":"malik","year":"2007","journal-title":"Proc DCDS"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/BF01797154"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1142\/S012905410600411X"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/9.566659"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.844725"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.875036"},{"journal-title":"Nonblocking supervisory control of nondeterministic systems","year":"1996","author":"heymann","key":"23"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00307-8"},{"key":"25","article-title":"open maps, alternating simulations and control synthesis","author":"tabuada","year":"2004","journal-title":"International Conference on Concurrency Theory"},{"article-title":"modular verification and supervisory controller design for discrete-event systems using abstraction and incremental construction","year":"2008","author":"hill","key":"26"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/9.250512"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1080\/002071798222190"},{"key":"29","doi-asserted-by":"crossref","DOI":"10.1007\/s10626-005-4058-y","article-title":"multitasking supervisory control of discrete-event systems","author":"de queiroz","year":"2005","journal-title":"Discrete Event Dynamic Systems Theory and Applications"},{"key":"3","article-title":"modular supervisory control of composed systems","author":"de queiroz","year":"2000","journal-title":"Proc ACC"},{"key":"2","article-title":"modular supervisory control of discrete event systems","author":"ramadge","year":"1988","journal-title":"Mathematics of Contr Signal Syst"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678399"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.382507"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/.2005.1467134"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678416"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678415"},{"key":"9","doi-asserted-by":"crossref","DOI":"10.1023\/A:1008210519960","article-title":"modular control and coordination of discrete-event systems","author":"wong","year":"1998","journal-title":"Discrete Event Dynamic Systems Theory and Applications"},{"key":"8","article-title":"modular synthesis of discrete controllers","author":"malik","year":"2007","journal-title":"Proc ICECS"}],"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\/04586539.pdf?arnumber=4586539","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T10:49:22Z","timestamp":1497782962000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4586539\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/acc.2008.4586539","relation":{},"subject":[],"published":{"date-parts":[[2008,6]]}}}