{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T07:28:06Z","timestamp":1780644486731,"version":"3.54.1"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.23919\/acc.2017.7963543","type":"proceedings-article","created":{"date-parts":[[2017,7,10]],"date-time":"2017-07-10T21:39:58Z","timestamp":1499722798000},"page":"3840-3847","source":"Crossref","is-referenced-by-count":26,"title":["Scaling the formal synthesis of supervisory control software for multiple robot systems"],"prefix":"10.23919","author":[{"given":"R.C.","family":"Hill","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.","family":"Lafortune","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2013.6579825"},{"key":"ref12","author":"cassandras","year":"2009","journal-title":"Introduction to Discrete Event Systems"},{"key":"ref13","volume":"84","author":"milner","year":"1989","journal-title":"Communication and Concurrency"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.3182\/20070613-3-FR-4909.00037"},{"key":"ref15","year":"0","journal-title":"Robot operating system Powering the world's robots"},{"key":"ref16","year":"0","journal-title":"The Player Project Free Software Tools for Robot and Sensor Applications"},{"key":"ref17","year":"0","journal-title":"Supremica A tool for verification and synthesis of discrete event supervisors"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s11721-016-0119-0"},{"key":"ref6","first-page":"4051","article-title":"Modular supervisory control of composed systems","author":"de queiroz","year":"2000","journal-title":"American Control Conference"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1080\/00207170701799365"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.927800"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012994260957"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"1370","DOI":"10.1109\/TRO.2009.2030225","article-title":"Temporal-logic-reactive mission and motion planning","volume":"25","author":"kress-gazit","year":"2009","journal-title":"IEEE Transactions on Robotics"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2006.889492"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798997"}],"event":{"name":"2017 American Control Conference (ACC)","location":"Seattle, WA, USA","start":{"date-parts":[[2017,5,24]]},"end":{"date-parts":[[2017,5,26]]}},"container-title":["2017 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7951530\/7962914\/07963543.pdf?arnumber=7963543","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,23]],"date-time":"2021-06-23T19:59:15Z","timestamp":1624478355000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7963543\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5]]},"references-count":17,"URL":"https:\/\/doi.org\/10.23919\/acc.2017.7963543","relation":{},"subject":[],"published":{"date-parts":[[2017,5]]}}}