{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:44:41Z","timestamp":1729619081784,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/acc.2012.6315544","type":"proceedings-article","created":{"date-parts":[[2014,7,16]],"date-time":"2014-07-16T21:55:22Z","timestamp":1405547722000},"page":"250-257","source":"Crossref","is-referenced-by-count":11,"title":["Algebraic verification for parameterized motion planning libraries"],"prefix":"10.1109","author":[{"given":"A.","family":"Majumdar","sequence":"first","affiliation":[]},{"given":"M.","family":"Tobenkin","sequence":"additional","affiliation":[]},{"given":"R.","family":"Tedrake","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.03.010"},{"key":"18","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0005-1098(75)90010-2","article-title":"Suboptimal control for the nonlinear quadratic regulator problem","volume":"11","author":"wernli","year":"1975","journal-title":"Automatica"},{"key":"15","article-title":"Invariant funnels around trajectories using sum-of-squares programming","author":"tobenkin","year":"2011","journal-title":"Proceedings of the 18th IFAC World Congress"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2033751"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1080\/10556789908805766"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1177\/0278364910369189"},{"key":"11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0447-6","author":"petersen","year":"2000","journal-title":"Robust Control Design Using H-8 Methods Communications and Control Engineering Series"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TMECH.2009.2035112"},{"journal-title":"Frazzoli and E Hybrid Control for Autonomous Vehicle Motion Planning","year":"2001","key":"3"},{"key":"2","first-page":"3761","article-title":"State-dependent riccati equation (sdre) control: A survey","author":"cimen","year":"2008","journal-title":"Proceedings of the 17th IFAC World Congress"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2004.06.014"},{"journal-title":"Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization","year":"2000","author":"parrilo","key":"10"},{"key":"7","doi-asserted-by":"crossref","first-page":"681","DOI":"10.1109\/TSMC.1981.4308589","article-title":"Automatic planning of manipulator transfer movements","volume":"11","author":"lozano-perez","year":"1981","journal-title":"Systems Man and Cybernetics IEEE Transactions on"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4022-9"},{"key":"4","doi-asserted-by":"crossref","DOI":"10.1007\/b96977","author":"henrion","year":"2005","journal-title":"Positive Polynomials in Control Lecture Notes in Control and Information Sciences"},{"key":"9","article-title":"Interior-point polynomial algorithms in convex programming","author":"nesterov","year":"1995","journal-title":"Studies in Applied Mathematics"},{"journal-title":"Systems Polynomial Optimization Tools (SPOT)","year":"2010","author":"megretski","key":"8"}],"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\/06315544.pdf?arnumber=6315544","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T16:50:49Z","timestamp":1498150249000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6315544\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/acc.2012.6315544","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}