Symbolic planning and control of robot motion [Grand challenges of robotics]

IEEE Robotics and Automation Magazine

Volumn 14, Issue 1, 2007, Pages 61-70

  Belta, Calin ^a   Bicchi, Antonio ^b   Egerstedt, Magnus ^c   Frazzoli, Emilio ^d   Klavins, Eric ^e   Pappas, George J ^f  

^a BOSTON UNIVERSITY   (United States)

^b UNIVERSITY OF PISA   (Italy)

^c GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

^d Massachusetts Institute of Technology Cambridge   (United States)

^e University of Washington   (United States)

^f UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Formal methods; Motion planning; Robot control; Self assembly

Indexed keywords

AUTOMATA THEORY; FORMAL LANGUAGES; FORMAL LOGIC; MOTION CONTROL; MOTION PLANNING; PROBLEM SOLVING;

BOTTOMS-UP APPROACHES; DEVICE-INDEPENDENT PROGRAM; ROBOT CONTROL; TOP-DOWN APPROACHES;

ROBOTICS;

EID: 34147127525     PISSN: 10709932     EISSN: None     Source Type: Journal    
DOI: 10.1109/MRA.2007.339624     Document Type: Article

References (10)

1. C. Belta, V. Isler, and G.J. Pappas, "Discrete abstractions for robot planning and control in polygonal environments," IEEE Trans. Robot. vol. 21, no. 5, pp. 864-874, Oct. 2005.
2. M. Kloetzer and C. Belta, "A fully automated framework for control of linear systems from LTL specifications," in Hybrid Systems: Computation and Control: 9th International Workshop, ser. Lecture Notes in Computer Science, J. Hespanha and A. Tiwari, Eds. Berlin, Germany: Springer-Verlgag, vol. 3927, pp. 333-347, 2006.
3. G. Fainekos, S. Loizou, and G.J. Pappas, "Translating temporal logic to controller specifications," in Proc. 45th IEEE Conf. Decision Control, San Diego, CA, Dec. 2006, pp. 899-904.
4. M. Egerstedt and R. Brockett, "Feedback can reduce the specificat complexity of motor programs," IEEE Trans. Autom. Control, vol. 48, no. 2, pp. 213-223, Feb. 2003.
5. V. Gavrilets, B. Mettler, and E. Feron, "Human-inspired control logic for automated maneuvering of miniature helicopter," AIAA J. Guid., Control, Dyna., vol. 27, no. 5, pp. 752-759, 2004.
6. E. Frazzoli, M.A. Dahleh, and E. Feron, "Maneuver-based motion planning for nonlinear systems with symmetries," IEEE Trans. Robot., vol. 21, no. 6, pp. 1077-1091, Dec. 2005.
7. A. Bicchi, A. Marigo, and B. Piccoli, "Feedback encoding for efficient symbolic control of dynamical systems," IEEE Trans. Autom. Control vol. 51, no. 1, pp. 1-16, Jan. 2006.
8. F. Delmotte, T. Mehra, and M. Egerstedt, "Modebox a software tool for obtaining hybrid control strategies from data," IEEE Robot. Automat. Mag., to be published.
9. E. Klavins, R. Ghrist, and D. Lipsky, "A grammatical approach to self-organizing robotic systems," IEEE Trans. Autom. Control, vol. 51, no. 6, pp. 949-962, Jun. 2006.
10. J. McNew and E. Klavins, "Locally interacting hybrid systems with embedded graph grammars" in Proc. IEEE Conf. Decision Control, San Diego, CA, 2006, pp. 6080-6087.