{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T01:54:58Z","timestamp":1775958898016,"version":"3.50.1"},"reference-count":90,"publisher":"SAGE Publications","issue":"8","license":[{"start":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T00:00:00Z","timestamp":1498348800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["The International Journal of Robotics Research"],"published-print":{"date-parts":[[2017,7]]},"abstract":"<jats:p> We consider the problem of generating motion plans for a robot that are guaranteed to succeed despite uncertainty in the environment, parametric model uncertainty, and disturbances. Furthermore, we consider scenarios where these plans must be generated in real time, because constraints such as obstacles in the environment may not be known until they are perceived (with a noisy sensor) at runtime. Our approach is to pre-compute a library of \u201cfunnels\u201d along different maneuvers of the system that the state is guaranteed to remain within (despite bounded disturbances) when the feedback controller corresponding to the maneuver is executed. We leverage powerful computational machinery from convex optimization (sums-of-squares programming in particular) to compute these funnels. The resulting funnel library is then used to sequentially compose motion plans at runtime while ensuring the safety of the robot. A major advantage of the work presented here is that by explicitly taking into account the effect of uncertainty, the robot can evaluate motion plans based on how vulnerable they are to disturbances. <\/jats:p><jats:p> We demonstrate and validate our method using extensive hardware experiments on a small fixed-wing airplane avoiding obstacles at high speed (~12 mph), along with thorough simulation experiments of ground vehicle and quadrotor models navigating through cluttered environments. To our knowledge, these demonstrations constitute one of the first examples of provably safe and robust control for robotic systems with complex nonlinear dynamics that need to plan in real time in environments with complex geometric constraints. <\/jats:p>","DOI":"10.1177\/0278364917712421","type":"journal-article","created":{"date-parts":[[2017,6,26]],"date-time":"2017-06-26T06:08:02Z","timestamp":1498457282000},"page":"947-982","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":273,"title":["Funnel libraries for real-time robust feedback motion planning"],"prefix":"10.1177","volume":"36","author":[{"given":"Anirudha","family":"Majumdar","sequence":"first","affiliation":[{"name":"Computer Science and Artificial Intelligence Lab, Massachusetts Institute of Technology, Cambridge, MA, USA"}]},{"given":"Russ","family":"Tedrake","sequence":"additional","affiliation":[{"name":"Computer Science and Artificial Intelligence Lab, Massachusetts Institute of Technology, Cambridge, MA, USA"}]}],"member":"179","published-online":{"date-parts":[[2017,6,25]]},"reference":[{"key":"bibr1-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913501564"},{"key":"bibr2-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/CISS.2014.6814141"},{"key":"bibr3-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2015.7353861"},{"key":"bibr4-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2014.2312453"},{"key":"bibr5-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738704"},{"key":"bibr6-0278364917712421","unstructured":"Barry AJ (2016) High-speed autonomous obstacle avoidance with pushbroom stereo. PhD Thesis, Massachusetts Institute of Technology, Cambridge, MA."},{"key":"bibr7-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225351"},{"key":"bibr8-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718829"},{"key":"bibr9-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/ICHR.2007.4813847"},{"key":"bibr10-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1177\/0278364912456319"},{"key":"bibr11-0278364917712421","volume-title":"Practical Methods for Optimal Control Using Nonlinear Programming","author":"Betts JT","year":"2001"},{"key":"bibr12-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2006.1656653"},{"key":"bibr13-0278364917712421","volume-title":"Semidefinite Optimization and Convex Algebraic Geometry","volume":"13","author":"Blekherman G","year":"2013"},{"key":"bibr14-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"key":"bibr15-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1177\/027836498200100403"},{"key":"bibr16-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1145\/968708.968710"},{"key":"bibr17-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980508"},{"key":"bibr18-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1177\/02783649922066385"},{"key":"bibr19-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1287\/mnsc.6.1.73"},{"key":"bibr20-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7402390"},{"key":"bibr21-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-9459-1_9"},{"key":"bibr22-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-011-9217-4"},{"key":"bibr23-0278364917712421","unstructured":"Coumans E (2014) Bullet physics library. Available at: http:\/\/www.bulletphysics.org"},{"key":"bibr24-0278364917712421","unstructured":"Dey D (2015) Predicting Sets and Lists: Theory and Practice. PhD Thesis, Carnegie Mellon University, Pittsburgh, PA."},{"key":"bibr25-0278364917712421","doi-asserted-by":"publisher","DOI":"10.21236\/ADA592141"},{"key":"bibr26-0278364917712421","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2012.VIII.007"},{"key":"bibr27-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-27702-8_26"},{"key":"bibr28-0278364917712421","doi-asserted-by":"publisher","DOI":"10.2307\/2372560"},{"key":"bibr29-0278364917712421","doi-asserted-by":"publisher","DOI":"10.2514\/2.4856"},{"key":"bibr30-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2005.852260"},{"key":"bibr31-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38574-2_14"},{"key":"bibr32-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509627"},{"key":"bibr33-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_19"},{"key":"bibr34-0278364917712421","first-page":"281","volume-title":"13th international symposium of robotics research","author":"Green C","year":"2007"},{"key":"bibr35-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00312-7_13"},{"key":"bibr36-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1096-9845(199910)28:10<1121::AID-EQE858>3.0.CO;2-O"},{"key":"bibr37-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1990.125936"},{"key":"bibr38-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00023-X"},{"key":"bibr39-0278364917712421","volume-title":"Sequential composition for control of underactuated systems","author":"Kantor G","year":"2003"},{"key":"bibr40-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911406761"},{"key":"bibr41-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225235"},{"key":"bibr42-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1177\/0278364912444543"},{"key":"bibr43-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911428653"},{"key":"bibr44-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2000.844730"},{"key":"bibr45-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(00)00059-1"},{"key":"bibr46-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2008.4651075"},{"key":"bibr47-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90023-D"},{"key":"bibr48-0278364917712421","first-page":"206","volume-title":"International conference on automated planning and scheduling (ICAPS)","author":"Li HX","year":"2008"},{"key":"bibr49-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2009.5354018"},{"key":"bibr50-0278364917712421","volume-title":"System identification toolbox for use with Matlab","author":"Ljung L","year":"2007","edition":"7"},{"key":"bibr51-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2017144"},{"key":"bibr52-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1177\/027836498400300101"},{"key":"bibr53-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1971.1099826"},{"key":"bibr54-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6631149"},{"key":"bibr55-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039413"},{"key":"bibr56-0278364917712421","first-page":"543","volume-title":"Proceedings of the workshop on the algorithmic foundations of robotics","author":"Majumdar A","year":"2012"},{"key":"bibr57-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6696512"},{"key":"bibr58-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1985.1087242"},{"key":"bibr59-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2004.08.019"},{"key":"bibr60-0278364917712421","first-page":"361","volume-title":"Proceedings of the 12th international symposium on experimental robotics (ISER 2010)","author":"Mellinger D","year":"2010"},{"key":"bibr61-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2006.1641882"},{"key":"bibr62-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"bibr63-0278364917712421","unstructured":"Moore J (2014) Robust post-stall perching with a fixed-wing UAV. PhD Thesis, Massachusetts Institute of Technology, Cambridge, MA."},{"key":"bibr64-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1088\/1748-3182\/9\/2\/025013"},{"key":"bibr65-0278364917712421","first-page":"5190","volume-title":"International conference on robotics and automation (ICRA)","author":"Ny JL","year":"2012"},{"key":"bibr66-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738806"},{"key":"bibr67-0278364917712421","unstructured":"Parrilo PA (2000) Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization. PhD Thesis, California Institute of Technology, Pasadena, CA."},{"key":"bibr68-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16595-0_30"},{"key":"bibr69-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7040427"},{"key":"bibr70-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225223"},{"key":"bibr71-0278364917712421","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2010.VI.037"},{"key":"bibr72-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2005.08.007"},{"key":"bibr73-0278364917712421","first-page":"293","volume-title":"Proceedings of the 12th international symposium of robotics research (ISRR)","author":"Prentice S","year":"2007"},{"key":"bibr74-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23778-7_3"},{"key":"bibr75-0278364917712421","author":"Seiler P","year":"2013","journal-title":"arXiv preprint arXiv:1303.0714"},{"key":"bibr76-0278364917712421","first-page":"962","volume-title":"Proceedings of the 39th international symposium on robotics (ISR\u201908)","author":"Sermanet P","year":"2008"},{"key":"bibr77-0278364917712421","unstructured":"Shkolnik A (2010) Sample-based motion planning in high-dimensional and differentially-constrained systems. PhD Thesis, Massachusetts Institute of Technology, Cambridge, MA."},{"key":"bibr78-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25221-1"},{"key":"bibr79-0278364917712421","unstructured":"Sobolic FM (2009) Agile flight control techniques for a fixed-wing aircraft. Master\u2019s Thesis, Massachusetts Institute of Technology, Cambridge, MA."},{"key":"bibr80-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1177\/0278364912444146"},{"key":"bibr81-0278364917712421","volume-title":"Aircraft Control and Simulation","author":"Stevens B","year":"1992"},{"key":"bibr82-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2006.1642212"},{"key":"bibr83-0278364917712421","first-page":"61","volume":"15","author":"Stoyan D","year":"2000","journal-title":"Statistical Science"},{"key":"bibr84-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1177\/0278364910369189"},{"key":"bibr85-0278364917712421","doi-asserted-by":"publisher","DOI":"10.3182\/20110828-6-IT-1002.03098"},{"key":"bibr86-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2011.2116190"},{"key":"bibr87-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1137\/1038003"},{"key":"bibr88-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980257"},{"key":"bibr89-0278364917712421","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426684"},{"key":"bibr90-0278364917712421","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2004.1383661"}],"container-title":["The International Journal of Robotics Research"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0278364917712421","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.1177\/0278364917712421","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0278364917712421","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T19:23:33Z","timestamp":1740857013000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/0278364917712421"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,25]]},"references-count":90,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2017,7]]}},"alternative-id":["10.1177\/0278364917712421"],"URL":"https:\/\/doi.org\/10.1177\/0278364917712421","relation":{},"ISSN":["0278-3649","1741-3176"],"issn-type":[{"value":"0278-3649","type":"print"},{"value":"1741-3176","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,6,25]]}}}