Region of attraction estimation for a perching aircraft: A Lyapunov method exploiting barrier certificates

Proceedings - IEEE International Conference on Robotics and Automation

Volumn , Issue , 2012, Pages 2235-2242

  Glassman, Elena ^a   Desbiens, Alexis Lussier ^b   Tobenkin, Mark ^a   Cutkosky, Mark ^b   Tedrake, Russ ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FEEDBACK; FIGHTER AIRCRAFT; LYAPUNOV METHODS; MACHINE DESIGN; MECHANICAL STABILITY; MOTION PLANNING; POLYNOMIAL APPROXIMATION;

BARRIER CERTIFICATES; COMPLEMENTARY TECHNIQUES; CONTROLLER DESIGNS; FLIGHT CONTROLLERS; MECHANICAL SYSTEMS; MOTION PLANNING ALGORITHMS; REGION OF ATTRACTION; SUMS OF SQUARES OPTIMIZATION;

FIXED WINGS;

EID: 84864419899     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICRA.2012.6225361     Document Type: Conference Paper

References (23)

1. J. H. McMasters and M. L. Henderson, "Low Speed Single Element Airfoil Synthesis," Technical Soaring, 1980.
2. J. M. Grasmeyer, M. T. Keennon, and Aerovironment, "Development of the Black Widow Micro Air Vehicle," 39th AIAA Aerospace Sciences Meeting and Exhibit, October 2001.
3. Z. P. Bazant, "Size effect on structural strength: a review," Archive of Applied Mechanics, vol. 69, pp. 703-725, 1999.
4. R. Cory and R. Tedrake, "Experiments in Fixed-Wing UAV Perching," Proceedings of the AIAA Guidance, Navigation, and Control Conference, August 2008.
5. R. Cory, "Supermaneuverable perching," Ph.D. dissertation, MIT, June 2010.
6. A. Lussier Desbiens, A. Asbeck, and M. Cutkosky, "Landing, perching and taking off from vertical surfaces," The International Journal of Robotics Research, vol. 30, no. 3, pp. 355-370, 2011.
7. R. Tedrake, "LQR-Trees: Feedback motion planning on sparse randomized trees," in Proceedings of Robotics: Science and Systems (RSS), 2009, p. 8.
8. A. Goswami, B. Thuilot, and B. Espiau, "A study of the passive gait of a compass-like biped robot: symmetry and chaos," International Journal of Robotics Research, vol. 17, no. 12, 1998.
9. C. J. Tomlin, I. M. Mitchell, A. M. Bayen, and M. K. M. Oishi, "Computational techniques for the verification and control of hybrid systems," in Multidisciplinary Methods for Analysis Optimization and Control of Complex Systems, ser. Mathematics in Industry. Springer Berlin Heidelberg, 2005, pp. 151-175.
10. C. S. Hsu, "A theory of cell-to-cell mapping dynamical systems," Journal of Applied Mechanics, vol. 47, no. 4, pp. 931-939, 1980.
11. P. Tabuada, "Approximate symbolic models for verification," in Verification and Control of Hybrid Systems. Springer US, 2009, pp. 151-166.
12. P. A. Parrilo, "Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization," Ph.D. dissertation, California Institute of Technology, May 18 2000.
13. U. Topcu, A. Packard, and P. Seiler, "Local stability analysis using simulations and sum-of-squares programming," Automatica, vol. 44, no. 10, pp. 2669-2675, 2008.
14. S. Prajna, A. Jadbabaie, and G. Pappas, "A framework for worst-case and stochastic safety verification using barrier certificates," IEEE Transactions on Automatic Control, vol. 52, no. 8, pp. 1415-1428, Aug 2007.
15. Motion Genesis, "Motion GenesisTM," 2010. [Online]. Available: http://www.motiongenesis.com/
16. T. Kane and D. Levinson, Dynamics, theory and applications. McGraw Hill, 1985.
17. A. Asbeck, S. Kim, M. R. Cutkosky, W. R. Provancher, and M. Lanzetta, "Scaling Hard Vertical Surfaces with Compliant Microspine Arrays," International Journal of Robotics Research, vol. 25, no. 12, p. 14, September 2006.
18. H. K. Khalil, Nonlinear Systems (3rd Edition), 3rd ed. Prentice Hall, Dec. 2001.
19. P. A. Parrilo, "Semidefinite programming relaxations for semialgebraic problems," Mathematical Programming, vol. 96, no. 2, pp. 293-320, 2003.
20. S. Canu, Y. Grandvalet, V. Guigue, and A. Rakotomamonjy, "SVM and kernel methods Matlab toolbox," Perception Systèmes et Information, INSA de Rouen, Rouen, France, 2005.
21. J. Löfberg, "YALMIP : A toolbox for modeling and optimization in MATLAB," in Proceedings of the CACSD Conference, Taipei, Taiwan, 2004.
22. J. F. Sturm, "Using SeDuMi 1.02, a Matlab toolbox for optimization over symmetric cones," Optimization Methods and Software, vol. 11, no. 1-4, pp. 625-653, 1999.
23. U. Topcu, A. Packard, P. Seiler, and G. Balas, "Robust region-of-attraction estimation," IEEE Transactions on Automatic Control, vol. 55, no. 1, pp. 137-142, Jan 2010.