Automatically synthesizing a planning and control subsystem for the DARPA urban challenge

4th IEEE Conference on Automation Science and Engineering, CASE 2008

Volumn , Issue , 2008, Pages 766-771

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

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COLLISION AVOIDANCE; SENSOR NETWORKS; WELL TESTING;

COMPLEX TASKS; CONTROL SUBSYSTEMS; DESIGN TIMES; DYNAMIC ENVIRONMENTS; GENERAL APPROACHES; HUMAN ERRORS; HYBRID CONTROLLERS; ROBOTIC VEHICLES; STATIC AND DYNAMIC OBSTACLES; TRAFFIC LAWS; URBAN ENVIRONMENTS;

ROBOTICS;

EID: 54949113751     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COASE.2008.4626549     Document Type: Conference Paper

References (10)

1. C. Belta, A. Bicchi, M. Egerstedt, E. Frazzoli, E. Klavins, and G. J. Pappas. Symbolic planning and control of robot motion: State of the art and grand challenges. Robotics and Automation Magazine, 14(l):61-70, 2007.
2. H. Choset, K. M. Lynch, S. Hutchinson, W. B. G. Kantor, L. E. Kavraki, and S. Thrun. Principles of Robot Motion: Theory, Algorithms, and Implementations. MIT Press, 2005.
3. 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.
4. DARPA. Urban challenge documentation. available online at http://www.darpa.mil/grandchallenge/rules.asp.
5. E. A. 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.
6. H. Kress-Gazit, G. E. Fainekos, and G. J. Pappas. From structured english to robot motion. In IEEE/RSJ Int'l. Conf. on Intelligent Robots and Systems, San Diego, CA, October 2007.
7. 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, 2007.
8. S. M. LaValle. Planning Algorithms. Cambridge University Press, Cambridge, U.K., 2006.
9. 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.
10. N. Piterman, A. Pnueli, and Y. Sa'ar. Synthesis of Reactive(l) Designs. In VMCAI, pages 364-380, Charleston, SC, Jenuary 2006.