{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:08:59Z","timestamp":1729624139943,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1109\/cdc.2012.6426912","type":"proceedings-article","created":{"date-parts":[[2013,2,8]],"date-time":"2013-02-08T22:05:08Z","timestamp":1360361108000},"page":"7360-7365","source":"Crossref","is-referenced-by-count":3,"title":["A greedy algorithm for computing finite-makespan controllable sublanguages"],"prefix":"10.1109","author":[{"given":"Rong","family":"Su","sequence":"first","affiliation":[]}],"member":"263","reference":[{"journal-title":"Supervisory control of discrete-event systems","year":"2007","author":"wonham","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1137\/0325036"},{"key":"13","doi-asserted-by":"crossref","first-page":"1627","DOI":"10.1109\/TAC.2010.2042342","article-title":"Aggregative synthesis of distributed supervisors based on automaton abstraction","volume":"55","author":"su","year":"2010","journal-title":"IEEE Trans Automatic Control"},{"key":"14","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"},{"key":"11","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/TAC.2011.2157391","article-title":"The synthesis of time Optimal supervisors by using heaps-of-pieces","volume":"57","author":"su","year":"2012","journal-title":"IEEE Trans Automatic Control"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.06.024"},{"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"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"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"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35608-2_40"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/9.53517"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/9.272327"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"8","article-title":"Temporal logic for real-time systems","author":"ostroff","year":"1989","journal-title":"Advanced Software Development Series Ed J Kramer Research Studies Press Limited (Distributed by John Wiley and Sons)"}],"event":{"name":"2012 IEEE 51st Annual Conference on Decision and Control (CDC)","start":{"date-parts":[[2012,12,10]]},"location":"Maui, HI, USA","end":{"date-parts":[[2012,12,13]]}},"container-title":["2012 IEEE 51st IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6416474\/6425800\/06426912.pdf?arnumber=6426912","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T07:14:04Z","timestamp":1498029244000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6426912\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/cdc.2012.6426912","relation":{},"subject":[],"published":{"date-parts":[[2012,12]]}}}