{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:04:39Z","timestamp":1729649079839,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1109\/acc.2014.6858608","type":"proceedings-article","created":{"date-parts":[[2014,7,29]],"date-time":"2014-07-29T21:01:49Z","timestamp":1406667709000},"page":"2047-2052","source":"Crossref","is-referenced-by-count":9,"title":["Towards decentralized synthesis: Decomposable sublanguage and Joint Observability Problems"],"prefix":"10.1109","author":[{"given":"Liyong","family":"Lin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alin","family":"Stefanescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rong","family":"Su","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weilin","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmad Reza","family":"Shehabinia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"103","article-title":"Trace languages defined by regular string languages","volume":"20","author":"aalbersberg","year":"1986","journal-title":"ITA"},{"journal-title":"Introduction to Automata Theory Languages and Computation","year":"1979","author":"hopcroft","key":"17"},{"journal-title":"Supervisory control of discrete-event systems","year":"2010","author":"wonham","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/.2001.980822"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184531"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(86)90071-2"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/BF02088289"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0023848"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2005.11.007"},{"key":"21","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/0012-365X(84)90055-4","article-title":"A generalized closure and complement phenomenon","volume":"50","author":"peled","year":"1984","journal-title":"Discrete Math"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00219-3"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1137\/040610209"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00442-5"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2004.10.002"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2005.33"},{"key":"26","first-page":"145","article-title":"A decidable class of asynchronous distributed controllers","author":"madhusudan","year":"2002","journal-title":"Proc of the 13th Int Conf on Concurrency Theory (CONCUR'02)"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00187-2"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1080\/00207179108934202"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(88)90002-3"},{"key":"10","first-page":"6986","article-title":"Synthesis of control protocols for multi-agent systems with similar actions","author":"su","year":"2013","journal-title":"Proc of the 52th IEEE Conference on Decision and Control (CDC'13)"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2012.07.013"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2011.2163434"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2004.01.004"},{"journal-title":"Automatic Synthesis of Distributed Transition Systems","year":"2006","author":"stefanescu","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2039237"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(95)00187-5"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICARCV.2012.6485170"}],"event":{"name":"2014 American Control Conference - ACC 2014","start":{"date-parts":[[2014,6,4]]},"location":"Portland, OR, USA","end":{"date-parts":[[2014,6,6]]}},"container-title":["2014 American Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6849600\/6858556\/06858608.pdf?arnumber=6858608","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T17:32:22Z","timestamp":1498152742000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6858608\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/acc.2014.6858608","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]}}}