{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T10:29:48Z","timestamp":1725445788997},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1109\/cdc.2008.4738688","type":"proceedings-article","created":{"date-parts":[[2009,1,20]],"date-time":"2009-01-20T12:57:15Z","timestamp":1232456235000},"page":"883-888","source":"Crossref","is-referenced-by-count":2,"title":["Synthesizing nonblocking distributed supervisors based on automaton abstraction"],"prefix":"10.1109","author":[{"given":"Rong","family":"Su","sequence":"first","affiliation":[]},{"given":"Jan H.","family":"van Schuppen","sequence":"additional","affiliation":[]},{"given":"Jacobus E.","family":"Rooda","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/9.566659"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2046931"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605916"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-5102-9_54-1"},{"key":"16","first-page":"412","article-title":"supervisor synthesis based on abstractions of nondeterministic automata","author":"su","year":"2006","journal-title":"Proc 9th Int Workshop Discrete Event Syst"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1023\/B:DISC.0000005010.55515.27"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678409"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678423"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/9.471222"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/BF02551233"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.875036"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1137\/0325036"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678399"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/BF01797154"},{"year":"0","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015625600613"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/9.173140"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.875030"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.854586"}],"event":{"name":"2008 47th IEEE Conference on Decision and Control","start":{"date-parts":[[2008,12,9]]},"location":"Cancun, Mexico","end":{"date-parts":[[2008,12,11]]}},"container-title":["2008 47th IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4721212\/4738560\/04738688.pdf?arnumber=4738688","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T12:25:57Z","timestamp":1489753557000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4738688\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/cdc.2008.4738688","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}