Decidability of motion planning with differential constraints

Proceedings - IEEE International Conference on Robotics and Automation

Volumn , Issue , 2007, Pages 1826-1831

  Cheng, Peng ^a   Pappas, George ^a   Kumar, Vijay ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; PROBLEM SOLVING; ROBOTICS; SYSTEMS ANALYSIS;

DIFFERENTIAL CONSTRAINTS; POLYGONAL ENVIRONMENT; TRAJECTORY FUNCTIONS;

MOTION PLANNING;

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

References (22)

1. A. Bicchi, A. Marigo, and B. Piccoli. On the reachability of quantized control systems. IEEE Transactions on Automatic Control, 47(4):546-563, April 2002.
2. J. Canny, A. Rege, and J. Reif. An exact algorithm for kinodynamic planning in the plane. Discrete and Computational Geometry, 6:461-484, 1991.
3. J. F. Canny. The Complexity of Robot Motion Planning. MIT Press, Cambridge, MA, 1988.
4. P. Cheng. Sampling-Based Motion Planning with Differential Constraints. PhD thesis, University of Illinois, Urbana, IL, August 2005.
5. P. Cheng and V. Kumar. Sampling-based falsification and verification of controllers for continuous dynamic systems. In S. Akella, N. Amato, W. Huang, and B. Misha, editors, Workshop on Algorithmic Foundations of Robotics VII, 2006.
6. H. Choset, K. M. Lynch, S. Hutchinson, G. Kantor, W. Burgard, L. E. Kavraki, and S. Thrun. Principles of Robot Motion: Theory, Algorithms, and Implementations. MIT Press, Cambridge, MA, 2005.
7. B. R. Donald, P. G. Xavier, J. Canny, and J. Reif. Kinodynamic planning. Journal of the ACM, 40:1048-66, November 1993.
8. L. E. Dubins. On curves of minimal length with a constraint on average curvature, and with prescribed initial and terminal positions and tangents. American Journal of Mathematics, 79:497-516, 1957.
9. S. Fortune and G. Wilfong. Planning constrained motion. In Proceedings ACM Symposium on Theory of Computing, pages 445-459, 1988.
10. P. Jacobs and J. Canny. Planning smooth paths for mobile robots. In Proceedings IEEE International Conference on Robotics & Automation, pages 2-7, 1989.
11. G. Lafferriere, G. Pappas, G. Schneider, and S. Yovine. Parameter synthesis in robot motion planning using symbolic reachability computations. In Proceedings of the 8th IEEE Mediterranean Conference on Control and Automation, Rio, Patras, Greece, 2000.
12. G. Lafferriere, G. Pappas, and S. Yovine. A new class of decidable hybrid systems. In F. Vaandrager and J. van Schuppen, editors, Hybrid Systems: Computation and Control. Springer-Verlag, Berlin, 1999.
13. J.-P. Laumond. Trajectories for mobile robots with kinematic and environment constraints. In Proceedings International Conference on Intelligent Autonomous Systems, pages 346-354, 1986.
14. S. M. LaValle, Planning Algorithms. Cambridge University Press. Cambridge, U.K., 2006. Available at http://planning.cs.uiuc.edu/.
15. T. Lozano-Pérez. Spatial planning: A configuration space approach. IEEE Transactions on Computing, C-32(2):108-120, 1983.
16. C. O'Dunlaing. Motion planning with inertial constraints. Algorithmica, 2(4):431-475, 1987.
17. S. Pancanti, L. Pallottino, D. Salvadorini, and A. Bicchi. Motion planning through symbols and lattices. In Proceedings IEEE International Conference on Robotics & Automation, pages 3914-3919, 2004.
18. S. Ramamoorthy, R. Rajagopal, Q. Ruan, and L. Wenzel. Lowdiscrepancy curves and efficient coverage of space. In S. Akella, N. Amato, W. Huang, and B. Misha, editors, Workshop on Algorithmic Foundations of Robotics VII. 2006.
19. J. T. Schwartz and M. Sharir. On the Piano Movers' Problem: II. General techniques for computing topological properties of algebraic manifolds. Communications on Pure and Applied Mathematics. 36:345-398, 1983.
20. S. Sekhavat and J.-P. Laumond. Topological property for collisionfree nonholonomic motion planning: The case of sinusoidal inputs for chained-form systems. IEEE Transactions on Robotics & Automation, 14(5):671-680, 1998.
21. A. Tarski. A decision method for elementary algebra and geometry. University of California Press, 1951.
22. V. Weispfenning. Semilinear motion planning in redlog. Technical Report MIP-9906, Universität Passau, Germany. 1999.