Valet parking without a valet

IEEE International Conference on Intelligent Robots and Systems

Volumn , Issue , 2007, Pages 572-577

  Conner, David C ^a   Kress Gazit, Hadas ^b   Choset, Howie ^a   Rizzi, Alfred A ^a   Pappas, George J ^b  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INTERNATIONAL CONFERENCES; LOCAL POLICIES; PARKING SPACES;

COMPUTER NETWORKS; FEEDBACK; FEEDBACK CONTROL; INTELLIGENT ROBOTS; INTELLIGENT SYSTEMS; ROBOTICS; SPECIFICATIONS; TRANSLATION (LANGUAGES);

PARKING;

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

References (18)

1. I. Paromtchik, P. Garnier, and C. Laugier, "Autonomous maneuvers of a nonholonomic vehicle," in International Symposium, on Experimental Robotics, Barcelona , Spain, 1997.
2. R. R. Burridge, A. A. Rizzi, and D. E. Koditschek, "Sequential composition of dynamically dexterous robot behaviors," International Journal of Robotics Research, vol. 18, no. 6, pp. 534-555, 1999.
3. D. C. Conner, H. Choset, and A. A. Rizzi, "Integrated planning and control for convex-bodied nonholonomic systems using local feedback control policies," in Proceedings of Rohotics:Science and Systems II, Philadelphia, PA, 2006.
4. A. A. Rizzi, "Hybrid control as a method for robot motion programming." in IEEE International Conference on Robotics and Automation, vol. 1, May 1998, pp. 832 - 837.
5. 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, Las Vegas, NV. October 2003, pp. 3546-3551.
6. L. Yang and S. M. Lavalle, "The sampling-based neighborhood graph: An approach to computing and executing feedback motion strategies," IEEE Transactions on Robotics and Automation, vol. 20, no. 3, pp. 419-432, June 2004.
7. C. Belta, V. Isler, and G. J. Pappas, "Discrete abstractions for robot planning and control in polygonal environments," IEEE Transactions on Robotics, vol. 21, no. 5, pp. 864-874, October 2005.
8. S. R. Lindemann, I.I. Hussein, and S. M. LaValle, "Realtime feedback control for nonholonomic mobile robots with obstacles," in IEEE Conference on Decision and Control, San Diego, CA, 2006.
9. E. A. Emerson, "Temporal and modal logic," in Handbook of theoretical computer science (vol. B): formal models and semantics. Cambridge, MA, USA: MIT Press, 1990, pp. 995-1072.
10. 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, 2005, pp. 2020-2025.
11. G. Fainekos, H. Kress-Gazit, and G. J. Pappas, "Hybrid controllers for path planning: A temporal logic approach," in IEEE Conference on Decision and Control, Seville, Spain, 2005.
12. 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.
13. 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.
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, 2007, pp. 3116-3121.
15. N. Piterman. A. Pnueli. and Y. Sa'ar, "Synthesis of Reactive(1) Designs," in VMCAI, Charleston, SC, Jenuary 2006, pp. 364-380.
16. A. Balluchi, A. Bicchi, A. Balestrino, and G. Casalino, "Path tracking control for Dubin's car," in IEEE International Conference on Robotics and Automation, Minneapolis, MN, 1996, pp. 3123-3128.
17. A. Pnueli and R. Rosner, "On the synthesis of a reactive module," in POPE '89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM Press, 1989, pp. 179-190.
18. A. Pnueli and E. Shahar, "The TLV system and its applications," 1996. [Online]. Available: http://www.cs.nyu.edu/acsys/tlv/