Where's Waldo? Sensor-based temporal logic motion planning

Proceedings - IEEE International Conference on Robotics and Automation

Volumn , Issue , 2007, Pages 3116-3121

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

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Controller synthesis; Hybrid control; Motion planning; Sensor based planning; Temporal logics

Indexed keywords

COLLISION AVOIDANCE; CONTROL EQUIPMENT; MOBILE ROBOTS; SENSORS; SPECIFICATIONS;

CONTROLLER SYNTHESIS; HYBRID CONTROL; SENSOR-BASED PLANNING; TEMPORAL LOGICS;

MOTION PLANNING;

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

References (19)

1. 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.
2. S. M. LaValle. Planning Algorithm. Cambridge University Press, Cambridge, U.K., 2006.
3. Elon Rimon and Daniel E. Kodischek, Exact robot navigation using artificial potential functions, IEEE Transactions on Robotics and Automation, 8(5):501-518, October 1992.
4. H. Choset and J., Burdick. Sensor-based exploration: The hierarchical generalized voronoi graph. The International Journal of Robotics Research, 19:96-125, February 2000.
5. S. Russell and P. Norvig. Artificial Intelligence, A Modern Approach. Prentice Hall, second edition, 2003.
6. R.M. Jensen and M. M. Veloso. OBDD-based universal planning for synchronized agents in non-deterministic domains. Journal of Artificial Intelligence Research, 13:189-226, 2000.
7. P. Bertoli, A. Cimatti, M. Pistore, M. Roveri, and P. Traverso. MBP : A model based planner. In In Proc. IJCAI'01 Workshop on Planning under Uncertainty and Incomplete Information, 2001.
8. Georgios E. Fainekos, Hadas Kress-Gazit, and George J. Pappas. Temporal logic motion planning for mobile robots. In IEEE. International Conference on Robotics and Automation, pages 2020-2025, 2005.
9. Georgios E. Fainekos, Hadas Kress-Gazit, and George J. Pappas. Hybrid controllers for path planning:' A temporal logic approach. In IEEE Conference on Decision and Control, Seville, Spain, 2005.
10. M. Kloetzer and C. Belta. A. fully automated framework for control of linear systems from ltl Specifications. In 9th international Workshop on Hybrid Systems: Computation and Control, Santa Barbara, California, 2006.
11. David C. Conner, Alfred A. Rizzi, and Howie 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.
12. D. Conner, H. Choset, and A. Rizzi. Integrated planning and control for convex-bodied nonholonomic systems usinglocal feedback control policies. In Proceedings of Robotics: Science and Systems, Cambridge, USA, June 2006.
13. S. Lindemann and S. LaValle. Computing smooth feedback plans over cylindrical algebraic decompositions. In Proceedings of Robotics: Science and Systems, Cambridge, USA, June 2006.
14. 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.
15. Nir Piterman, Amir Pnueli, and Yaniv Sa'ar. Synthesis of Reactive(1) Designs. In VMCAI, pages 364-380, Charleston, SC, Jenuary 2006.
16. A. Pnueli and R. Rosner. On the synthesis of a reactive module. In POPL '89: Proceedings of the 16th ACM SiGPLAN-SIGACT symposium on Principles of programming languages, pages 179-190. ACM Press, 1989.
17. R. Alur, TA. Henzjnger, G. Lafferriere, and G.J. Pappas, Discrete abstractions of hybrid systems. Proceedings of the IEEE, 88:971-984, 2000.
18. Calin Belta and L.C.G.J.M. Habets. Constructing decidable hybrid systems with velocity bounds. In IEEE Conference on Decision and Control, Bahamas, 2004.
19. David C. Conner, Howie Choset, and Alfred Rizzi. Towards provable navigation and control of nonholonomically constrained convexbodied systems. In Proceedings of the 2006 IEEE International Conference on Robotics and. Autornation. (ICRA '06), May 2006.