Temporal logic control for an autonomous quadrotor in a nondeterministic environment

Proceedings - IEEE International Conference on Robotics and Automation

Volumn , Issue , 2013, Pages 331-336

  Ulusoy, Alphan ^a   Marrazzo, Michael ^a   Oikonomopoulos, Konstantinos ^a   Hunter, Ryan ^a   Belta, Calin ^a  

^a Boston University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC DEPLOYMENTS; CHANGING ENVIRONMENT; COMPUTATIONAL APPROACH; MOTION CAPTURE SYSTEM; OPTIMAL CONTROL POLICY; SURVEILLANCE MISSIONS; TEMPORAL LOGIC STATEMENTS; VALUE ITERATION ALGORITHM;

AIRCRAFT; ALGORITHMS; TEMPORAL LOGIC;

ROBOTICS;

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

References (21)

1. D.J.Pines and F.Bohorquez, "Challenges facing future micro-airvehicle development," Journal of Aircraft, vol.43, no.2, pp.3-24, 2006.
2. V.Kumar and N.Michael, "Opportunities and challenges with autonomous micro aerial vehicles," Intl.Journal of Robotics Research, vol.31, no.11, pp.1279-1291, 2012.
3. P.Rounds, R.Maloy, P.Hynes, and J.Roberts, "Design of a four-rotor aerial robot," in Australian Conference on Robotics and Automation, 2002.
4. D.Gurdan, J.Stumpf, M.Achtelik, K.-M.Doth, G.Hirzinger, and D.Rus, "Energy-efficient autonomous four-rotor flying robot controlled at 1 khz," in IEEE Intl.Conf.Robotics and Automation, 2007, pp.361-366.
5. S.Bouabdallah, "Design and control of quadrotors with application to autonomous flying," Ph.D.dissertation, EPFL, 2007.
6. I.D.Cowling, O.A.Yakimenko, J.F.Whidborne, and A.K.Cooke, "A prototype of an autonomous controller for a quadrotor UAV," in European Control Conference, 2007.
7. S.Lupashin, A.Schollig, M.Sherback, and R.D'Andrea, "A simple learning strategy for high-speed quadrocopter multi-flips," in IEEE Intl.Conf.Robotics and Automation, 2010, pp.1642-1648.
8. D.Mellinger, N.Michael, and V.Kumar, "Trajectory generation and control for precise aggressive manuevers with quadrotors," Intl.Journal of Robotics Research, 2012.
9. G.M.Hoffmann, S.L.Waslander, and C.J.Tomlin, "Quadrotor helicopter trajectory tracking controls," in AIAA Guidance, Navigation and Control Conference and Exhibit, 2008.
10. A.Richards, J.Bellingham, M.Tillerson, and J.How, "Co-ordination and control of multiple UAVs," in AIAA Guidance, Navigation and Control Conference and Exhibit, 2002.
11. R.He, S.Prentice, and N.Roy, "Planning in information space for a quadrotor helicopter in a GPS-denied environment," in IEEE Intl.Conf.Robotics and Automation, 2008, pp.1814-1820.
12. M.Achtelika, A.Bachrachb, R.Heb, S.Prenticeb, and N.Roy, "Autonomous navigation and exploration of a quadrotor helicopter in GPS-denied indoor environments," in First Symposium on Indoor Flight Issues, 2009.
13. J.How, B.Bethke, A.Frank, D.Dale, and J.Vian, "Real-time indoor autonomous vehicle test environment," Control Systems, IEEE, vol.28, no.2, pp.51-64, 2008.
14. N.Michael, D.Mellinger, Q.Lindsey, and V.Kumar, "The grasp multiple micro-UAV testbed," Robotics Automation Magazine, IEEE, vol.17, no.3, pp.56-65, 2010.
15. P.Twu, R.Chipalkatty, J.de la Croix, A.Rahmani, M.Egerstedt, and R.Young, "A hardware testbed for multi-UAV collaborative ground convoy protection in dynamic environments," in AIAA Modeling and Simulation Technologies Conference, 2011.
16. O.Kupferman and M.Y.Vardi, "Model checking of safety properties," Formal Methods in System Design, vol.19, pp.291-314, October 2001.
17. S.M.LaValle, Planning Algorithms.Cambridge University Press, 2006.
18. T.Latvala, "Efficient model checking of safety properties," in Model Checking Software.10th International SPIN Workshop.Springer, 2003, pp.74-88.
19. "OpenPilot," http://www.openpilot.org.
20. G.Welch and G.Bishop, "An introduction to the Kalman filter," 1995, university of North Carolina at Chapel Hill, TR95-041.
21. A.A.Hagberg, D.A.Schult, and P.J.Swart, "Exploring network structure, dynamics, and function using NetworkX," in Proceedings of the 7th Python in Science Conference (SciPy2008), Pasadena, CA, 2008, pp.11-15.