{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T12:24:00Z","timestamp":1730204640349,"version":"3.28.0"},"reference-count":36,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/cdc.2016.7798307","type":"proceedings-article","created":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T12:11:18Z","timestamp":1483618278000},"page":"434-440","source":"Crossref","is-referenced-by-count":17,"title":["Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints"],"prefix":"10.1109","author":[{"given":"Ivan","family":"Papusha","sequence":"first","affiliation":[]},{"given":"Jie","family":"Fu","sequence":"additional","affiliation":[]},{"given":"Ufuk","family":"Topcu","sequence":"additional","affiliation":[]},{"given":"Richard M.","family":"Murray","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1991.3.2.246"},{"journal-title":"Approximate Dynamic Programming Solving the Curses of Dimensionality ser Wiley Series in Probability and Statistics","year":"2007","author":"powell","key":"ref32"},{"journal-title":"Neuro-Dynamic Programming","year":"1996","author":"bertsekas","key":"ref31"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2008.10.004"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/9.664157"},{"key":"ref35","first-page":"191","article-title":"Approximate dynamic programming via sum of squares programming","author":"summers","year":"2013","journal-title":"European Control Conference (ECC)"},{"journal-title":"Robust and Adaptive Control With Aerospace Applications Ser Advanced Textbooks in Control and Signal Processing","year":"2013","author":"lavretsky","key":"ref34"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2118950"},{"key":"ref11","first-page":"3142","volume":"58","author":"fu","year":"2013","journal-title":"“Bottom-up symbolic control Attractor-based planning and behavior synthesis” IEEE Transactions on Automatic Control"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6315419"},{"key":"ref13","first-page":"584","article-title":"Approximate dynamic programming for stochastic reachability","author":"kariotoglou","year":"2013","journal-title":"European Control Conference (ECC)"},{"key":"ref14","article-title":"Optimal control of nonlinear systems with temporal logic specifications","author":"wolff","year":"2013","journal-title":"International Symposium on Robotics Research (ISRR)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6696978"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377825"},{"key":"ref17","first-page":"1","article-title":"Automata theory meets barrier certificates: Temporal logic verification of nonlinear systems","author":"wongpiromsarn","year":"2015","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)56349-1"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1137\/0316038"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.821417"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562137"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.802753"},{"key":"ref3","first-page":"195","article-title":"Temporal logic control for piecewise-affine hybrid systems on polytopes","author":"habets","year":"2010","journal-title":"Proceedings of the 19th International Symposium on Mathematical Theory of Networks and Systems (MTNS)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.876946"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1287\/opre.51.6.850.24925"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911417911"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1142\/S012905410300190X"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011254632723"},{"key":"ref22","first-page":"53","article-title":"Fast LTL to Büchi automata translation","volume":"2102","author":"gastin","year":"2001","journal-title":"International Conference on Computer Aided Verification (CAV'01) ser Lecture Notes in Computer Science"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44829-2_5"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942115"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1999.827981"},{"journal-title":"Principles of Model Checking (Representation and Mind Series)","year":"2008","author":"baier","key":"ref25"}],"event":{"name":"2016 IEEE 55th Conference on Decision and Control (CDC)","start":{"date-parts":[[2016,12,12]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2016,12,14]]}},"container-title":["2016 IEEE 55th Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7786694\/7798233\/07798307.pdf?arnumber=7798307","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,2]],"date-time":"2017-10-02T22:12:58Z","timestamp":1506982378000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7798307\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/cdc.2016.7798307","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}