{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:30:12Z","timestamp":1729621812067,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/acc.2012.6315141","type":"proceedings-article","created":{"date-parts":[[2014,7,16]],"date-time":"2014-07-16T21:55:22Z","timestamp":1405547722000},"page":"5302-5309","source":"Crossref","is-referenced-by-count":12,"title":["Temporal logic control of switched affine systems with an application in fuel balancing"],"prefix":"10.1109","author":[{"given":"P.","family":"Nilsson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Ozay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"U.","family":"Topcu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. M.","family":"Murray","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"Receding horizon temporal logic planning","author":"wongpiromsarn","year":"2010","journal-title":"IEEE Transactions on Automatic Control"},{"key":"22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-14295-6_18","article-title":"JTLV : A framework for developing verification algorithms","author":"pnueli","year":"2010","journal-title":"22nd International Conference on Computer Aided Verification"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161470"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967747"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2160929"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2108350"},{"journal-title":"Aircraft Systems Mechanical Electrical and Avionics Subsystems Integration","year":"2001","author":"moir","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/j.laa.2007.12.027"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.2010896"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/9.664150"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.825641"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"20","volume":"290","author":"borrelli","year":"2003","journal-title":"Constrained Optimal Control of Linear and Hybrid Systems"},{"key":"2","doi-asserted-by":"crossref","first-page":"510","DOI":"10.1007\/BFb0027047","article-title":"Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends","author":"pnueli","year":"1986","journal-title":"Current Trends in Concurrency Overviews and Tutorials"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0017-8","author":"liberzon","year":"2003","journal-title":"Switching in Systems and Control"},{"key":"7","first-page":"104","article-title":"Automatic synthesis of robust embedded control software","author":"wongpiromsarn","year":"2010","journal-title":"AAAI Spring Symposium on Embedded Reasoning Intelligence in Embedded Systems"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5399536"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"9","first-page":"364","article-title":"Synthesis of reactive(1) designs","author":"piterman","year":"2006","journal-title":"VMCAI"},{"key":"8","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1145\/1755952.1755968","article-title":"Receding horizon control for temporal logic specifications","author":"wongpiromsarn","year":"2010","journal-title":"HSCC"}],"event":{"name":"2012 American Control Conference - ACC 2012","start":{"date-parts":[[2012,6,27]]},"location":"Montreal, QC","end":{"date-parts":[[2012,6,29]]}},"container-title":["2012 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6297579\/6314593\/06315141.pdf?arnumber=6315141","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T22:25:09Z","timestamp":1565648709000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6315141\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/acc.2012.6315141","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}