{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:14:44Z","timestamp":1729674884262,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1109\/acc.2014.6859209","type":"proceedings-article","created":{"date-parts":[[2014,7,29]],"date-time":"2014-07-29T21:01:49Z","timestamp":1406667709000},"page":"1769-1774","source":"Crossref","is-referenced-by-count":0,"title":["An additive cost approach to optimal Temporal Logic control"],"prefix":"10.1109","author":[{"given":"Ebru","family":"Aydin Gol","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Model Predictive Control Theory and Desing","year":"2009","author":"rawlings","key":"13"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011254632723"},{"key":"12","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/3-540-44829-2_5","article-title":"Efficient model checking of safety properties","author":"latvala","year":"2003","journal-title":"Model Checking Software 10th International SPIN Workshop"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5399536"},{"key":"2","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36580-X_36","article-title":"Model checking LTL over controllable linear systems is decidable","volume":"2623","author":"tabuada","year":"2003","journal-title":"ser Lecture Notes in Computer Science"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"journal-title":"Formal Verification and Controller Synthesis for Discretetime Systems","year":"2014","author":"gol","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2178328"},{"key":"6","first-page":"2222","article-title":"Sampling-based motion planning with deterministic ?-calculus specifications","author":"karaman","year":"2009","journal-title":"IEEE Conf on Decision and Control"},{"key":"5","first-page":"95","article-title":"Language-guided controller synthesis for discrete-time linear systems","author":"gol","year":"2012","journal-title":"Hybrid Systems Computation and Control"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942115"},{"key":"9","first-page":"715","article-title":"Receding horizon temporal logic control for finite deterministic systems","author":"ding","year":"2012","journal-title":"American Control Conference"},{"key":"8","first-page":"343","article-title":"Temporal logic model predictive control for discrete-time systems","author":"gol","year":"2013","journal-title":"Hybrid Systems Computation and Control"}],"event":{"name":"2014 American Control Conference - ACC 2014","start":{"date-parts":[[2014,6,4]]},"location":"Portland, OR, USA","end":{"date-parts":[[2014,6,6]]}},"container-title":["2014 American Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6849600\/6858556\/06859209.pdf?arnumber=6859209","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,13]],"date-time":"2019-08-13T09:35:09Z","timestamp":1565688909000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6859209\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/acc.2014.6859209","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]}}}