From structured english to robot motion

IEEE International Conference on Intelligent Robots and Systems

Volumn , Issue , 2007, Pages 2717-2722

  Kress Gazit, Hadas ^a   Fainekos, Georgios E ^a   Pappas, George J ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INTELLIGENT ROBOTS; INTELLIGENT SYSTEMS; LINGUISTICS; MOBILE ROBOTS; TEMPORAL LOGIC;

INTERNATIONAL CONFERENCES; NATURAL LANGUAGE INTERFACE;

ROBOTS;

EID: 51349122021     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IROS.2007.4398998     Document Type: Conference Paper

References (23)

1. C. Belta and L. Habets. Constructing decidable hybrid systems with velocity bounds. In IEEE Conference on Decision and Control, Bahamas, 2004.
2. H. Choset, K. M. Lynch, L. Kavraki, W. Burgard, S. A. Hutchinson, G. Kantor, and S. Thrun. Principles of Robot Motion: Theory, Algorithms, and Implementations. MIT Press, Boston, USA, 2005.
3. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, Cambridge, Massachusetts, 1999.
4. D. C. Conner, H. Choset, and A. Rizzi. Towards provable navigation and control of nonholonomically constrained convex-bodied systems. In Proceedings of the 2006 IEEE International Conference on Robotics and Automation (ICRA '06), May 2006.
5. D. C. Conner, H. Kress-Gazit, H. Choset, A. A. Rizzi, and G. J. Pappas. Valet parking without a valet. In IEEE/RSJ Int'l. Conf. on Intelligent Robots and Systems, San Diego, CA, October 2007.
6. D. C. Conner, A. A. Rizzi, and H. Choset. Composition of Local Potential Functions for Global Robot Control and Navigation. In IEEE/RSJ Int'l. Conf. on Intelligent Robots and Systems, pages 3546-3551, Las Vegas, NV, October 2003.
7. G. E. Fainekos, A. Girard, and G. J. Pappas. Hierarchical synthesis of hybrid controllers from temporal logic specifications. In Hybrid Systems: Computation and Control, number 4416 in LNCS, page 203216. Springer, 2007.
8. G. E. Fainekos, H. Kress-Gazit, and G. J. Pappas. Hybrid controllers for path planning: A temporal logic approach. In IEEE Conference on Decision and Control, pages 4885-4890, Seville, Spain, 2005.
9. G. E. Fainekos, H. Kress-Gazit, and G. J. Pappas. Temporal logic motion planning for mobile robots. In IEEE International Conference on Robotics and Automation, pages 2020-2025, Barcelona, Spain, 2005.
10. S. Flake, W. Müller, and J. Ruf. Structured english for model checking specification. In GI-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen in Frankfurt, Berlin, 2000. VDE Verlag.
11. A. Holt and E. Klein. A semantically-derived subset of english for hardware verification. In Proceedings of the 37th annual meeting of the Association for Computational Linguistics on Computational Linguistics, pages 451-456, Morristown, NJ, USA, 1999. Association for Computational Linguistics.
12. M. Kloetzer and C. Belta. Hierarchical abstractions for robotic swarms. In Proceedings of the IEEE International Conference on Robotics and Automation, pages 952 - 957, 2006.
13. S. Konrad and B. H. C. Cheng. Facilitating the construction of specification pattern-based properties. In Proceedings of the IEEE International Requirements Engineering Conference, Paris, France, August 2005.
14. H. Kress-Gazit, G. E. Fainekos, and G. J. Pappas. Where's waldo? sensor based temporal logic motion planning. In IEEE International Conference on Robotics and Automation, pages 3116-3121, Rome, Italy, 2007.
15. S. Lauria, T. Kyriacou, G. Bugmann, J. Bos, and E. Klein. Converting natural language route instructions into robot-executable procedures. In Proceedings of the 2002 IEEE International Workshop on Robot and Human Interactive Communication, pages 223-228, Berlin, 2002.
16. S. M. LaValle. Planning Algorithms. Cambridge University Press, Cambridge, U.K., 2006. Available at http://planning.cs.uiuc.edu/.
17. S. Lindemann and S. LaValle. Computing smooth feedback plans over cylindrical algebraic decompositions. In Proceedings of Robotics: Science and Systems, Cambridge, USA, June 2006.
18. A. J. Martignoni III and W. D. Smart. Programming robots using high-level task descriptions. In M. Rosenstein and M. Ghavamzadeh, editors, Proceedings of the AAAI Workshop on Supervisory Control of Learning and Adaptive Systems, pages 49-54, June 2004.
19. N. Mavridis and D. Roy. Grounded situation models for robots: Where words and percepts meet. In IEEE/RSJ Int'l. Conf. on Intelligent Robots and Systems, Beijing, China, October 2006.
20. M. Nicolescu and M. J. Mataric. Learning and interacting in human-robot domains. IEEE Transactions on Systems, Man, and Cybernetics, Part B,special issue on Socially Intelligent Agents - The Human in the Loop, 31(5):419-430, 2001.
21. N. Piterman, A. Pnueli, and Y. Sa'ar. Synthesis of Reactive(1) Designs. In VMCAI, pages 364-380, Charleston, SC, Jenuary 2006.
22. S. Pulman. Controlled language for knowledge representation. In Proceedings of the 1st International Workshop on Controlled Language Applications, 1996.
23. E. A. Topp, H. Huttenrauch, H. I. Christensen, and K. S. Eklundh. Bringing together human and robotics environmental representations / a pilot study. In Proc. IEEE/RSJ Intl Conf. on Intell. Robots and Systems (IROS-06), Beijing, CH, October 2006.