{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T20:19:46Z","timestamp":1725481186161},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/case.2011.6042432","type":"proceedings-article","created":{"date-parts":[[2011,10,13]],"date-time":"2011-10-13T16:57:26Z","timestamp":1318525046000},"page":"19-24","source":"Crossref","is-referenced-by-count":4,"title":["Nondeterminism avoidance in compositional synthesis of discrete event systems"],"prefix":"10.1109","author":[{"given":"Sahar","family":"Mohajerani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robi","family":"Malik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Fabian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CCDC.2011.5968439"},{"key":"ref11","article-title":"Three variations of observation equivalence preserving synthesis abstraction","author":"mohajerani","year":"2011","journal-title":"Working Paper 01\/2012 Dept of Computer Science"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCA.2009.5410292"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/9.61009"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/ICECCS.2007.31","article-title":"Modular synthesis of discrete controllers","author":"malik","year":"2007","journal-title":"Proc 12th IEEE Int Conf Engineering of Complex Computer Systems ICECCS '07"},{"key":"ref4","first-page":"3937","article-title":"A small model theorem for bisimilarity control under partial observation","author":"zhou","year":"2005","journal-title":"Proc American Control Conf"},{"article-title":"Discrete event control of nondeterministic systems","year":"1997","author":"heymann","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605990"},{"key":"ref5","first-page":"3","article-title":"Computationally efficient supervisor design: Abstraction and modularity","author":"feng","year":"2006","journal-title":"Proc 8th Int Workshop on Discrete Event Systems WODES '06"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-007-0018-z"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2046931"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012994272903"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605916"}],"event":{"name":"2011 IEEE International Conference on Automation Science and Engineering (CASE 2011)","start":{"date-parts":[[2011,8,24]]},"location":"Trieste, Italy","end":{"date-parts":[[2011,8,27]]}},"container-title":["2011 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6033676\/6042395\/06042432.pdf?arnumber=6042432","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,17]],"date-time":"2019-06-17T09:17:50Z","timestamp":1560763070000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6042432\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/case.2011.6042432","relation":{},"subject":[],"published":{"date-parts":[[2011,8]]}}}