Funnel libraries for real-time robust feedback motion planning
Name
965380239-MIT.pdf
Description
Full printable version
Size
15.47 MB
Format
Adobe PDF
Checksum (MD5)
35ff4f6c9cd63b27e947a10c218b79ef
Author(s)
Majumdar, Anirudha
Advisor(s)
Russ Tedrake.
Date Issued
2016
Publisher
Massachusetts Institute of Technology
Abstract
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 "funnels" along dierent 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. 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 eect of uncertainty, the robot can evaluate motion plans based on how vulnerable they are to disturbances. 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, the resulting hardware demonstrations on a fixed-wing airplane constitute one of the first examples of provably safe and robust control for robotic systems with complex nonlinear dynamics that need to plan in realtime in environments with complex geometric constraints. The key computational engine we leverage is sums-of-squares (SOS) programming. While SOS programming allows us to apply our approach to systems of relatively high dimensionality (up to approximately 10-15 dimensional state spaces), scaling our approach to higher dimensional systems such as humanoid robots requires a dierent set of computational tools. In this thesis, we demonstrate how DSOS and SDSOS programming, which are recently introduced alternatives to SOS programming, can be employed to achieve this improved scalability and handle control systems with as many as 30-50 state dimensions.
Description
Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2016.
This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
Cataloged from student-submitted PDF version of thesis.
Includes bibliographical references (pages 125-136).
Subjects
Electrical Engineering and Computer Science.
MIT Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission.
Persistent DSpace Link
