Design of guaranteed safe maneuvers using reachable sets: Autonomous quadrotor aerobatics in theory and practice

Proceedings - IEEE International Conference on Robotics and Automation

Volumn , Issue , 2010, Pages 1649-1654

  Gillula, Jeremy H ^a   Huang, Haomiao ^b   Vitus, Michael P ^b   Tomlin, Claire J ^c  

^a Stanford University   (United States)

^b 496 Lomita Mall   (United States)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX NONLINEAR SYSTEM; CRITICAL STEPS; DIFFERENTIAL GAMES; FLIGHT TEST; HAMILTON-JACOBI; HYBRID DYNAMICS; HYBRID MODE; OPERATING REGIMES; QUADROTOR HELICOPTER; QUADROTORS; REACHABLE SET; SWITCHING REGIONS; THEORY AND PRACTICE;

FLIGHT CONTROL SYSTEMS; GAME THEORY;

ROBOTICS;

EID: 77955790925     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ROBOT.2010.5509627     Document Type: Conference Paper

References (15)

1. J. H. Gillula, H. Huang, M. P. Vius, and C. J. Tomlin, "Design and analysis of hybrid systems, with applications to robotic aerial vehicles," in Proceedings of the International Symposium of Robotics Research (ISRR), Lucerne, Switzerland, August 2009.
2. A. Coates, P. Abbeel, and A. Y. Ng, "Apprenticeship learning for helicopter control," Commun. ACM, vol. 52, no. 7, pp. 97-105, 2009.
3. V. Gavrilets, I. Martinos, B. Mettler, and E. Feron, "Flight test and simulation results for an autonomous aerobatic helicopter," in Proceedings of the 21st Digital Avionics Systems Conference, 2002, pp. 8.C.3/1-6, dOI: 10.1109/DASC.2002.1052943.
4. T. Lozano-Perez, M. T. Mason, and R. H. Taylor, "Automatic Synthesis of Fine-Motion Strategies for Robots," The International Journal of Robotics Research, vol. 3, no. 1, pp. 3-24, 1984.
5. R. Burridge, A. Rizzi, and D. Koditschek, "Sequential composition of dynamically dexterous robot behaviors," International Journal of Robotics Research, vol. 18, no. 6, pp. 534-555, 1999.
6. H. Kress-Gazit, G. E. Fainekos, and G. J. Pappas, "Translating structured english to robot controllers," Advanced Robotics Special Issue on Selected Papers from IROS 2007, vol. 22, no. 12, pp. 1343-1359, 2008.
7. E. Frazzoli, M. A. Dahleh, and E. Feron, "Maneuver-based motion planning for nonlinear systems with symmetries," IEEE Transactions on Robotics, vol. 21, no. 6, pp. 1077-1091, 2005.
8. M. Zefran and J. W. Burdick, "Stabilization of systems with changing dynamics," in Hybrid Systems: Computation and Control Conference, Berg en Dal, the Netherlands, 1999.
9. M. Lazar and A. Jokic, "Synthesis of trajectory-dependent control lyapunov functions by a single linear program," in Hybrid Systems: Computation and Control Conference, San Francisco, California, 2009.
10. M. Egerstedt, T. J. Koo, F. Hoffmann, and S. Sastry, "Path planning and flight controller scheduling for an autonomous helicopter," in Hybrid Systems: Computation and Control Conference, Berkeley, California, 1998.
11. G. M. Hoffmann, H. Huang, S. L. Waslander, and C. J. Tomlin, "Quadrotor helicopter flight dynamics and control: Theory and experiment," in Proceedings of the AIAA Guidance, Navigation, and Control Conference and Exhibit, Hilton Head, SC, August 2007.
12. I. M. Mitchell, A. M. Bayen, and C. J. Tomlin, "A time-dependent hamilton-jacobi formulation of reachable sets for continuous dynamic games," IEEE Transactions on Automatic Control, vol. 50, no. 7, pp. 947-957, 2005.
13. M. Oishi, I. M. Mitchell, A. M. Bayen, and C. J. Tomlin, "Invariance-preserving abstractions of hybrid systems: Application to user interface design," IEEE Transactions on Control Systems Technology, vol. 16, no. 2, pp. 229-244, 2008.
14. J. Ding, J. Sprinkle, S. S. Sastry, and C. J. Tomlin, "Reachability calculations for automated aerial refueling," in Proceedings of the 47th IEEE Conference on Decision and Control, Cancun, Mexico, 2008.
15. I. Mitchell, A Toolbox of Level Set Methods, 2009, http://people.cs. ubc.ca/~mitchell/ToolboxLS/index.html.