Control synthesis and verification for a perching UAV using LQR-Trees

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2012, Pages 3707-3714

  Moore, Joseph ^a   Tedrake, Russ ^b  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b Massachusetts Institute of Technology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AIRCRAFT CONTROL; ANTENNAS; FEEDBACK; FIXED WINGS; FORESTRY; LYAPUNOV FUNCTIONS; TREES (MATHEMATICS); UNMANNED AERIAL VEHICLES (UAV);

CONTROL AUTHORITIES; CONTROL SYNTHESIS; FEEDBACK CONTROLLER; HIGH-DIMENSIONAL; INITIAL CONDITIONS; POST-STALL MANEUVERS; SEMIDEFINITE PROGRAMS; TRAJECTORY OPTIMIZATION;

CONTROLLERS;

AIR CRAFT; ALGORITHMS; CONTROLLERS; FORESTRY; PROBLEM SOLVING;

EID: 84874281896     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2012.6425852     Document Type: Conference Paper

References (29)

1. Rick Cory. Supermaneuverable Perching. PhD thesis, MIT, June 2010.
2. Rick Cory and Russ Tedrake. Experiments in fixed-wing UAV perching. In Proceedings of the AIAA Guidance, Navigation, and Control Conference. AIAA, 2008.
3. Rick E. Cory. Perching with fixed wings. Master's thesis, Massachusetts Institute of Technology, 2008.
4. Thao Dang, Alexandre Donze, Oded Maler, and Noa Shalev. Sensitive state-space exploration. IEEE Conference on Decision and Control, December 2008.
5. Alexis Lussier Desbiens, Alan Asbeck, and Mark Cutkosky. Hybrid aerial and scansorial robotics. ICRA, May 2010.
6. Alexis Lussier Desbiens, Alan T Asbeck, and Mark R Cutkosky. Landing, perching and taking off from vertical surfaces. International Journal of Robotics Research, January 2011.
7. Alexandre Donze and Oded Maler. Systematic simulations using sensitivity analysis. Hybrid Systems: Computation and Control, 2007.
8. Philip E. Gill, Walter Murray, and Michael A. Saunders. User's Guide for SNOPT Version 7: Software for Large-Scale Nonlinear Programming, February 12 2006.
9. Elena Leah Glassman, Alexis Lussier Desbiens, Mark Tobenkin, Mark Cutkosky, and Russ Tedrake. Region of attraction estimation for a perching aircraft: A Lyapunov method exploiting barrier certificates. In Proceedings of the 2012 IEEE International Conference on Robotics and Automation (ICRA), 2012.
10. Warren Hoburg and Russ Tedrake. System identification of post stall aerodynamics for UAV perching. In Proceedings of the AIAA Infotech@Aerospace Conference, Seattle, WA, April 2009. AIAA.
11. J. Löfberg. YALMIP : A toolbox for modeling and optimization in MATLAB. In Proceedings of the CACSD Conference, Taipei, Taiwan, 2004.
12. Anirudha Majumdar, Mark Tobenkin, and Russ Tedrake. Algebraic verification for parameterized motion planning libraries. In Under review, 2012.
13. A. Megretski. Systems polynomial optimization tools (SPOT), available online: http://web.mit.edu/ameg/www/. 2010.
14. Mellinger, D., Kumar, and V. Minimum snap trajectory generation and control for quadrotors. In Robotics and Automation (ICRA), 2011 IEEE International Conference on, pages 2520-2525. IEEE, 2011.
15. D. Mellinger, N. Michael, and V. Kumar. Trajectory generation and control for precise aggressive maneuvers with quadrotors. In Proceedings of the 12th International Symposium on Experimental Robotics (ISER 2010), 2010.
16. Daniel Mellinger, Nathan Michael, Michael Shomin, and Vijay Kumar. Recent advances in quadrotor capabilities. 2011 IEEE International Conference on Robotics and Automation, May 2011.
17. Daniel Mellinger, Michael Shomin, and Vijay Kumar. Control of quadrotors for robust perching and landing. International Powered Lift Conference, October 5-7 2010.
18. Mitchell, I.M., Bayen, A.M., Tomlin, and C.J. A time-dependent hamilton-jacobi formulation of reachable sets for continuous dynamic games. IEEE Transactions on Automatic Control, 50(7):947-957, July 2005.
19. Joseph Moore and Russ Tedrake. Powerline perching with a fixed-wing UAV. In Proceedings of the AIAA Infotech@Aerospace Conference, Seattle, WA, April 2009. AIAA.
20. Joseph Moore and Russ Tedrake. Magnetic localization for perching UAVs on powerlines. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), September 2011.
21. Pablo A. Parrilo. Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization. PhD thesis, California Institute of Technology, May 18 2000.
22. John W. Roberts, Rick Cory, and Russ Tedrake. On the controllability of fixed-wing perching. In Proceedings of the American Control Conference (ACC), 2009.
23. Jacob Steinhardt and Russ Tedrake. Finite-time regional verification of stochastic nonlinear systems. In Proceedings of Robotics: Science and Systems (RSS) 2011, January 17 2011.
24. J. Tangler and J. David Kocurek. Wind turbine post-stall airfoil performance characteristics guidelines for blade-element momentum methods. In 43rd AIAA Aerospace Sciences Meeting and Exhibit. AIAA, 2005.
25. Russ Tedrake, Ian R. Manchester, Mark M. Tobenkin, and John W. Roberts. LQR-Trees: Feedback motion planning via sums of squares verification. International Journal of Robotics Research, 29:1038-1052, July 2010.
26. Mark M. Tobenkin, Ian R. Manchester, and Russ Tedrake. Invariant funnels around trajectories using sum-of-squares programming. Proceedings of the 18th IFAC World Congress, extended version available online: arXiv:1010.3013 [math.DS], 2011.
27. Claire J. Tomlin, Ian M. Mitchell, Alexandre M. Bayen, and Meeko K. M. Oishi. Computational techniques for the verification and control of hybrid systems. In Multidisciplinary Methods for Analysis Optimization and Control of Complex Systems, Mathematics in Industry, pages 151-175. Springer Berlin Heidelberg, 2005.
28. Oskar von Stryk. Users guide for dircol: A direct collocation method for the numerical solution of optimal control problems, November 1999.
29. Adam M. Wickenheiser and Ephrahim Garcia. Longitudinal dynamics of a perching aircraft. Journal of Aircraft, 43(5):1386-1392, 2006.