{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T16:31:47Z","timestamp":1726417907327},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1109\/cdc.2015.7402767","type":"proceedings-article","created":{"date-parts":[[2016,2,29]],"date-time":"2016-02-29T21:32:44Z","timestamp":1456781564000},"page":"3542-3547","source":"Crossref","is-referenced-by-count":2,"title":["Progressive time optimal control of reactive systems"],"prefix":"10.1109","author":[{"given":"Simon","family":"Ware","sequence":"first","affiliation":[]},{"given":"Rong","family":"Su","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/TAC.2011.2157391"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/COASE.2007.4341849"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/ACC.2007.4282559"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/ICCA.2014.6871138"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1016\/0020-0255(93)90075-W"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1007\/s11768-014-4097-8"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/TAC.2010.2042342"},{"year":"1998","author":"wang","journal-title":"Timed Petri Nets Theory and Application","key":"ref8"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/9.478227"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1137\/0325036"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/9.754807"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1137\/0325013"}],"event":{"name":"2015 54th IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2015,12,15]]},"location":"Osaka","end":{"date-parts":[[2015,12,18]]}},"container-title":["2015 54th IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7396016\/7402066\/07402767.pdf?arnumber=7402767","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T01:31:43Z","timestamp":1490232703000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7402767\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/cdc.2015.7402767","relation":{},"subject":[],"published":{"date-parts":[[2015,12]]}}}