{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T03:03:35Z","timestamp":1769915015788,"version":"3.49.0"},"reference-count":31,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2023,11,1]],"date-time":"2023-11-01T00:00:00Z","timestamp":1698796800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,11,1]],"date-time":"2023-11-01T00:00:00Z","timestamp":1698796800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,11,1]],"date-time":"2023-11-01T00:00:00Z","timestamp":1698796800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000006","name":"ONR","doi-asserted-by":"publisher","award":["N00014-22-1-2121"],"award-info":[{"award-number":["N00014-22-1-2121"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Amazon PO","award":["2D-06310236"],"award-info":[{"award-number":["2D-06310236"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Robot. Autom. Lett."],"published-print":{"date-parts":[[2023,11]]},"DOI":"10.1109\/lra.2023.3315228","type":"journal-article","created":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T17:43:30Z","timestamp":1694627010000},"page":"7376-7383","source":"Crossref","is-referenced-by-count":6,"title":["Approximate Optimal Controller Synthesis for Cart-Poles and Quadrotors via Sums-of-Squares"],"prefix":"10.1109","volume":"8","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1392-1971","authenticated-orcid":false,"given":"Lujie","family":"Yang","sequence":"first","affiliation":[{"name":"Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6131-3620","authenticated-orcid":false,"given":"Hongkai","family":"Dai","sequence":"additional","affiliation":[{"name":"Toyota Research Institute, Los Altos, CA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3955-9560","authenticated-orcid":false,"given":"Alexandre","family":"Amice","sequence":"additional","affiliation":[{"name":"Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8712-7092","authenticated-orcid":false,"given":"Russ","family":"Tedrake","sequence":"additional","affiliation":[{"name":"Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA, USA"}]}],"member":"263","reference":[{"key":"ref13","article-title":"The moment problem on compact semi-algebraic sets","author":"schm\u00fcdgen","year":"2017","journal-title":"The Problem of Moments"},{"key":"ref12","article-title":"Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization","author":"parrilo","year":"2000"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.823000"},{"key":"ref14","first-page":"157","article-title":"Nonlinear control synthesis by sum of squares optimization: A Lyapunov-based approach","author":"prajna","year":"0","journal-title":"Proc IEEE 5th Asian Control Conf"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1999.827981"},{"key":"ref30","first-page":"336","article-title":"A data-efficient approach to precise and controlled pushing","author":"bauza","year":"0","journal-title":"Proc Conf Robot Learn"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.2307\/1999343"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.2307\/1999247"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2414811"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1137\/070685051"},{"key":"ref17","article-title":"Funnel libraries for real-time robust feedback motion planning","author":"majumdar","year":"2016"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1177\/0278364910369189"},{"key":"ref19","article-title":"Safety verification and controller synthesis for systems with input constraints","author":"wang","year":"2022"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683520"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461340"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1137\/0321028"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2013.6669617"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304028"},{"key":"ref20","doi-asserted-by":"crossref","DOI":"10.1002\/9780470182963","volume":"703","author":"powell","year":"2007","journal-title":"Approximate Dynamic Programming Solving the Curses of Dimensionality"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(99)00113-2"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/9.847100"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1994.411615"},{"key":"ref27","first-page":"497","article-title":"A time-stepping scheme for quasistatic multibody systems","author":"trinkle","year":"0","journal-title":"Proc Int Des Eng Tech Conf Comput Inf Eng"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8461175"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2013.6669374"},{"key":"ref7","article-title":"Underactuated robotics: Algorithms for walking, running, swimming, flying, and manipulation","author":"tedrake","year":"2023"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.3152"},{"key":"ref4","author":"bertsekas","year":"2012","journal-title":"Dynamic Programming and Optimal Control Volumes I and II"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1126\/science.153.3731.34"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1287\/opre.51.6.850.24925"},{"key":"ref5","volume":"2050","author":"bellman","year":"2015","journal-title":"Applied Dynamic Programming"}],"container-title":["IEEE Robotics and Automation Letters"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7083369\/10254630\/10250940.pdf?arnumber=10250940","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T18:27:11Z","timestamp":1698085631000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10250940\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11]]},"references-count":31,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/lra.2023.3315228","relation":{},"ISSN":["2377-3766","2377-3774"],"issn-type":[{"value":"2377-3766","type":"electronic"},{"value":"2377-3774","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,11]]}}}