{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:35:38Z","timestamp":1729643738217,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/acc.2013.6579951","type":"proceedings-article","created":{"date-parts":[[2014,7,16]],"date-time":"2014-07-16T21:48:51Z","timestamp":1405547331000},"page":"905-910","source":"Crossref","is-referenced-by-count":1,"title":["Coordinated distributed time optimal supervisory control"],"prefix":"10.1109","author":[{"family":"Rong Su","sequence":"first","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1137\/0325036"},{"key":"17","first-page":"321","article-title":"Heaps of pieces, i: Basic definitions and combinatorial lemmas","author":"viennot","year":"1997","journal-title":"No 1234 in Lecture Notes in Mathematics"},{"key":"18","article-title":"Supervisory control of discrete-event systems","author":"wonham","year":"2007","journal-title":"Systems Control Group"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1016\/j.automatica.2011.06.024"},{"key":"16","first-page":"233","article-title":"On-the-fly controller synthesis for discrete and dense-time systems","author":"tripakis","year":"1999","journal-title":"Proc of World Congress on Formal Methods (FM99) Volume 1708 of LNCS"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1016\/j.automatica.2012.04.004"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1109\/TAC.2010.2042342"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1109\/TAC.2008.927679"},{"key":"12","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/TAC.2011.2157391","article-title":"The synthesis of time optimal supervisorys by using heaps-of-pieces","volume":"57","author":"su","year":"2012","journal-title":"IEEE Trans Autom Control"},{"key":"3","first-page":"469","article-title":"Controller synthesis for timed automata","author":"asarin","year":"1998","journal-title":"Proc IFAC Symposium on System Structure and Control"},{"key":"2","first-page":"19","article-title":"As soon as possible: Time optimal control for timed automata","author":"asarin","year":"1999","journal-title":"Proc 2nd International Workshop on Hybrid Systems Computation and Control (HSCC99) Volume 1569 of LNCS"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1016\/0304-3975(94)90010-8"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1137\/0325013"},{"key":"7","first-page":"229","article-title":"On the synthesis of discrete controllers for timed systems","author":"maler","year":"1995","journal-title":"Proc 12th Symposium on Theoretical Aspects of Computer Science (STACS95) Volume 900 of LNCS"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1016\/0020-0255(88)90001-1"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1007\/978-0-387-35608-2_40"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1109\/9.272327"},{"year":"2008","author":"pinedo","journal-title":"Scheduling Theory Algorithms and Systems","key":"9"},{"key":"8","article-title":"Temporal logic for real-time systems","author":"ostroff","year":"1989","journal-title":"Advanced Software Development Series"}],"event":{"name":"2013 American Control Conference (ACC)","start":{"date-parts":[[2013,6,17]]},"location":"Washington, DC","end":{"date-parts":[[2013,6,19]]}},"container-title":["2013 American Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6573242\/6579790\/06579951.pdf?arnumber=6579951","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T16:50:42Z","timestamp":1498150242000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6579951\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/acc.2013.6579951","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}