Automatic synthesis of robot controllers for tasks with locative prepositions

Proceedings - IEEE International Conference on Robotics and Automation

Volumn , Issue , 2010, Pages 3215-3220

  Kress Gazit, Hadas ^a   Pappas, George J ^b  

^a School of Operations Research and Industrial Engineering   (United States)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Controller synthesis; Hybrid control; Language; Mission planning; Motion planning; Temporal logic

Indexed keywords

AUTOMATIC SYNTHESIS; CONTROLLER SYNTHESIS; CORRECT-BY-CONSTRUCTION; DISCRETE ABSTRACTION; HYBRID CONTROLS; LANGUAGE; LINGUISTIC CONTROL; MISSION PLANNING; ROBOT CONTROLLER; ROBOT CONTROLS; ROBOT'S WORKSPACE; TASK DESCRIPTION;

LINGUISTICS; MOTION PLANNING; ROBOTICS; ROBOTS; TEMPORAL LOGIC;

CONTROLLERS;

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

References (23)

1. Sabrina Wilske and Geert-Jan Kruijff. Service robots dealing with indirect speech acts. In Intelligent Robots and Systems, 2006 IEEE/RSJ International Conference on, pages 4698-4703, Beijing, China, October 2006.
2. Timothy Brick, Paul Schermerhorn, and Matthias Scheutz. Speech and action: Integration of action and language for mobile robots. In Proceedings of the 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, pages 1423-1428, San Diego, CA, October/November 2007.
3. D. Paul Benjamin, Deryle Lonsdale, Damian Lyons, and Siddtharth Patel. Using cognitive semantics to integrate perception and motion in a behavior-based robot. In LAB-RS '08: Proceedings of the 2008 ECSIS Symposium on Learning and Adaptive Behaviors for Robotic Systems, pages 77-82, Washington, DC, USA, 2008.
4. Stanislao Lauria, Theocharis Kyriacou, Guido Bugmann, JohanBos, and Ewan 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.
5. Colleen Crangle and Patrick C. Suppes. Language and Learning for Robots. CSLI Publications, Stanford, CA, USA, 1994.
6. E. Allen Emerson. Temporal and modal logic. In Handbook of theoretical computer science (vol. B): formal models and semantics, pages 995-1072. MIT Press, Cambridge, MA, USA, 1990.
7. Hadas Kress-Gazit, Gerogios E. Fainekos, and George J. Pappas. Temporal logic based reactive mission and motion planning. IEEE Transactions on Robotics, 25(6):1370-1381, 2009.
8. M. Kloetzer and C. Belta. A fully automated framework for control of linear systems from temporal logic specifications. Automatic Control, IEEE Transactions on, 53(1):287-297, February 2008.
9. Morteza Hlahijanian, Marius Kloetzer, Sara Itani, Calin Belta, and Sean Andersson. Automatic deployment of autonomous cars in a robotic urban-like environment (rule). In IEEE International Conference on Robotics and Automation, Kobe, Japan, 2009.
10. S. Loizou and K. Kyriakopoulos. Automatic synthesis of multi-agent motion tasks based on ltl specifications. In IEEE Conference on Decision and Control, Bahamas, December 2004.
11. Paulo Tabuada and George J. Pappas. Linear time logic control of discrete-time linear systems. IEEE Transactions on Automatic Control, 51(12):1862-1877, December 2006.
12. R. Alur, T.A. Henzinger, G. Lafferriere, and G.J. Pappas. Discrete abstractions of hybrid systems. Proceedings of the IEEE, 88:971-984, 2000.
13. juraj dzifcak, matthias scheutz, chitta baral, and paul schermerhorn. What to do and how to do it: translating natural language directives into temporal and dynamic logic representation for goal management and action execution. In Proceedings of the 2009 IEEE International Conference on Robotics and Automation, Kobe, Japan, May 2009.
14. Hadas Kress-Gazit, Gerogios E. Fainekos, and George J. Pappas. Translating structured english to robot controllers. Advanced Robotics Special Issue on Papers from IROS 2007, 22(12):13431359, 2008.
15. Hadas Kress-Gazit. Transforming high-level tasks to low-level controllers. PhD thesis, University of Pennsylvania, Philadephia, PA, 2008.
16. M. Skubic, D. Perzanowski, S. Blisard, A. Schultz, W. Adams, M. Bugajska, and D. Brock. Spatial language for human-robot dialogs. IEEE Transactions on SMC, Part C, Special Issue on Human-Robot Interaction, 34(2):154-167, May 2004.
17. Joost Zwarts and Yoad Winter. Vector space semantics: A model-theoretic analysis of locative prepositions. J. of Logic, Lang. and Inf., 9(2):169-211, 2000.
18. Annette Herskovits. Semantics and pragmatics of locative expressions. Cognitive Science, 9(3):341-378, 1985.
19. Fintan J. Costello and John D. Kelleher. Spatial prepositions in context: The semantics of 'near' in the presence of distractor objects. In SIGSEM Workshop On Prepositions, 2006.
20. John D. Kelleher, Geert-Jan M. Kruijff, and Fintan J. Costello. Proximity in context: an empirically grounded computational model of proximity for processing topological spatial expressions. In ACL-44: Proceedings of the 21st International Conference on Computational Linguistics and the 44th annual meeting of the Association for Computational Linguistics, pages 745-752, 2006.
21. Hadas Kress-Gazit, Georgios E. Fainekos, and George 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.
22. M. Kvasnica, P. Grieder, and M. Baotić. Multi-Parametric Toolbox (MPT), 2004.
23. A. Pnueli and E. Shahar. The TLV system and its applications, 1996.