{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:18:32Z","timestamp":1725520712919},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.23919\/acc.2017.7963544","type":"proceedings-article","created":{"date-parts":[[2017,7,10]],"date-time":"2017-07-10T17:39:58Z","timestamp":1499708398000},"page":"3848-3853","source":"Crossref","is-referenced-by-count":2,"title":["Reduction of distributions and its applications"],"prefix":"10.23919","author":[{"given":"Liyong","family":"Lin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Ware","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rong","family":"Su","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W. Murray","family":"Wonham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Introduction to Automata Theory Languages and Computation","year":"1979","author":"hopcroft","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088"},{"key":"ref12","article-title":"Supervisory control of discrete-event systems","author":"wonham","year":"2010","journal-title":"Systems Control Group Dept of ECE University of Toronto Toronto Canada"},{"journal-title":"Computationally Efficient Supervisor Design for Discrete-Event Systems","year":"2007","author":"lei","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15025-8_10"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-004-6210-5"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2039237"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2012.07.013"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/Allerton.2013.6736630"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/9.173140"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2014.6858608"},{"journal-title":"Automatic Synthesis of Distributed Transition Systems","year":"2006","author":"stefanescu","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(88)90002-3"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1080\/00207179108934202"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2447193"}],"event":{"name":"2017 American Control Conference (ACC)","start":{"date-parts":[[2017,5,24]]},"location":"Seattle, WA, USA","end":{"date-parts":[[2017,5,26]]}},"container-title":["2017 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7951530\/7962914\/07963544.pdf?arnumber=7963544","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,23]],"date-time":"2021-06-23T16:00:05Z","timestamp":1624464005000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7963544\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5]]},"references-count":15,"URL":"https:\/\/doi.org\/10.23919\/acc.2017.7963544","relation":{},"subject":[],"published":{"date-parts":[[2017,5]]}}}