Simple and efficient algorithms for computing smooth, collision-free feedback laws over given cell decompositions

International Journal of Robotics Research

Volumn 28, Issue 5, 2009, Pages 600-621

  Lindemann, Stephen R ^a   La Valle, Steven M ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

Collision avoidance; Feedback control; Motion planning; Navigation functions; Potential fields; Vector fields

Indexed keywords

CELL DECOMPOSITIONS; CYLINDRICAL ALGEBRAIC DECOMPOSITIONS; DIMENSIONAL SPACES; FEEDBACK LAWS; FEEDBACK VERSIONS; INTEGRAL CURVES; NAVIGATION FUNCTIONS; NAVIGATION PROBLEMS; PIECE-WISE LINEAR; POTENTIAL FIELDS; SIMPLE AND EFFICIENT ALGORITHMS; SIMPLE CELLS; STATE SPACES; SYSTEM TRAJECTORIES; TWO-DIMENSIONAL; VECTOR FIELDS;

ALGORITHMS; COLLISION AVOIDANCE; CONTROL THEORY; FEEDBACK CONTROL; MOTION PLANNING; NAVIGATION; PIECEWISE LINEAR TECHNIQUES; VECTORS;

FEEDBACK;

EID: 64949132503     PISSN: 02783649     EISSN: 17413176     Source Type: Journal    
DOI: 10.1177/0278364908099462     Document Type: Article

References (117)

1. Alur, R.C. et al. (1995). The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138 (1). 3-34.
2. Avnaim, F., Boissonnat, J.-D. and Faverjon, B. (1988). A practical exact planning algorithm for polygonal objects amidst polygonal obstacles. Proceedings of the IEEE International Conference on Robotics and Automation, pp. 1656-1660.
3. Bañon, J. (1990). Implementation and extension of the ladder algorithm. Proceedings of the IEEE International Conference on Robotics and Automation, pp. 1548-1553.
4. Barraquand, J. and Latombe, J.-C. (1991). Robot motion planning: A distributed representation approach. International Journal of Robotics Research, 10 (6). 628-649.
5. Basu S., Pollack, R. and Roy M. -F. (2003). Algorithms in Real Algebraic Geometry. Berlin, Springer-Verlag.
6. Belta, C., Isler, V. and Pappas, G.J. (2005). Discrete abstractions for robot motion planning and control in polygonal environments. IEEE Transactions on Robotics, 21 (5). 864-874.
7. Belta, C., Habets, L.C.G.J.M. and Kumar, V. (2002). Control of multi-affine systems on rectangles with applications to hybrid biomolecular networks. Proceedings of the IEEE Conference on Decision and Control, pp. 534-539.
8. Bemporad, A. and Morari, M. (1999). Control of systems integrating logic, dynamics, and constraints. Automatica, 35: 407-427.
9. Bertsekas, D. (2000). Dynamic Programming and Optimal Control: Volume I. Belmont, MA, Athena Scientific.
10. Bobrow, J.E., Dubowsky, S. and Gibson, J.S. (1985). Time-optimal control of robotic manipulators along specified paths. International Journal of Robotics Research, 4 (3). 3-17.
11. Bohlin, R. (2002). Robot Path Planning. Ph.D. Thesis, Chalmers University.
12. Borenstein, J. and Koren, Y. (1989). Real-time obstacle avoidance for fast mobile robots. IEEE Transactions on Systems, Man, and Cybernetics, 19 (5). 1179-1187.
13. Borenstein, J. and Koren, Y. (1991). The vector field histogram - fast obstacle avoidance for mobile robots. IEEE Transactions on Robotics and Automation, 7 (3). 278-288.
14. Branicky, M. (1998). Multiple Lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Transactions on Automatic Control, 43 (4). 475-482.
15. Branicky, M. (1998). A unified framework for hybrid control: Model and optimal control theory. IEEE Transactions on Automatic Control, 43 (1). 31-45.
16. Branicky, M.S., Borkar, V.S. and Mitter, S.K. (1998). A unified framework for hybrid control: Model and optimal control theory. IEEE Transactions on Automatic Control, 43 (1). 31-45.
17. Brock, O. and Khatib, O. (1999). High-speed navigation using the global dynamic window approach. Proceedings of the IEEE International Conference on Robotics and Automation, pp. 341-346.
18. Brogan, W.L. (1991). Modern Control Theory, 3 rd edn. Upper Saddle River, NJ, Prentice Hall.
19. Burridge, R.R., Rizzi, A.A. and Koditschek, D.E. (1999). Sequential composition of dynamically dexterous robot behaviors. International Journal of Robotics Research, 18 (6). 534-555.
20. Canny, J.F. (1988). The Complexity of Robot Motion Planning. Cambridge, MA, MIT Press.
21. Cervantes, I. et al. (2002). A robust velocity field control. IEEE Transactions on Control Systems Technology, 10 (6). 888-894.
22. Chazelle, B. (1991). Triangulating a simple polygon in linear time. Discrete and Computational Geometry, 6 (5). 485-524.
23. Chen, C.-T. (1999). Linear System Theory and Design. New York, Oxford University Press, third edition.
24. Choset, H. et al. (2005). Principles of Robot Motion: Theory, Algorithms, and Implementations. Cambridge, MA, MIT Press.
25. Choudhury, P. and Lynch, K. (2002). Trajectory planning for kinematically controllable underactuated mechanical systems. Proceedings of the Workshop on Algorithmic Foundations of Robotics, pp 559-576.
26. Collins, G.E. (1975). Quantifier elimination for real closed fields by cylindrical algebraic decomposition. Proceedings of the Second GI Conference on Automata Theory and Formal Languages, Berlin, Springer-Verlag, pp. 134- 183.
27. Connolly, C.I. (1992). Applications of harmonic functions to robotics. IEEE Symposium on Intelligent Control, pp. 498- 502.
28. Connolly, C. and Grupen, R. (1993). The application of harmonic potential functions to robotics. Journal of Robotic Systems, 10 (7). 931-946.
29. Connolly, C.I., Burns, J.B. and Weiss, R. (1990). Path planning using Laplace's equation. Proceedings of the IEEE International Conference on Robotics and Automation, May, pp. 2102-2106.
30. Connolly, C., Souccar, K. and Grupen, R. (1995). A Hamiltonian framework for kinodynamic planning. Proceedings of the IEEE International Conference on Robotics and Automation, pp. 2746-2751.
31. Conner, D.C., Rizzi, A.A. and Choset, H. (2003). Composition of local potential functions for global robot control and navigation. Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 3546- 3551.
32. Conner, D.C., Choset, H. and Rizzi, A.A. (2006). Provably correct navigation and control for non-holonomic convex-bodied systems operating in cluttered environments. Proceedings of Robotics: Science and Systems, pp. 57-64.
33. Dixon, W.E. et al. (2005). Adaptive velocity field control of a wheeled mobile robot. IEEE Fifth International Workshop on Robot Motion and Control, pp. 145-150.
34. Fainekos, G.E., Kress-Gazit, H. and Pappas, G.J. (2005). Hybrid controllers for path planning: A temporal logic approach. Proceedings of the IEEE Conference on Decision and Control, and the European Control Conference, pp. 4885-4890.
35. Ferbach, P. (1996). A method of progressive constraints for nonholonomic motion planning. Proceedings of the IEEE International Conference on Robotics and Automation, pp. 2949-2955.
36. Fox, D., Burgard, W. and Thrun, S. (1997). The dynamic window approach to collision avoidance. IEEE Robotics and Automation Magazine, 4: 23-33.
37. Goodman, J. E. and O'Rourke, J. (eds). (2004). Handbook of Discrete and Computational Geometry, 2 nd edn. New York, Chapman and Hall / CRC Press.
38. Habets, L.C.G.J.M. and van Schuppen, J.H. (2001). Control of piecewise-linear hybrid systems on simplices and rectangles. Hybrid Systems: Computation and Control, Di Benedetto, M. D. and Sangiovanni-Vincentelli, A. (eds). Berlin, Springer-Verlag, pp. 261-274.
39. Habets, L.C.G. J. M. and van Schuppen, J.H. (2004). A control problem for affine dynamical systems on a full-dimensional polytope. Automatica, 40: 21-35.
40. Habets, L.C.G.J.M. and van Schuppen, J.H. (2005). Control to facet problems for affine systems on simplices and polytopes - with applications to control of hybrid systems. Proceedings of the IEEE Conference on Decision and Control, and the European Control Conference, pp. 4175- 4180.
41. Habets, L.C.G. J. M., Collins, P.J. and van Schuppen, J.H. (2006). Reachability and control synthesis for piecewise-affine hybrid systems on simplices. IEEE Transactions on Automatic Control, 51 (6). 938-948.
42. Halperin, D. (2004). Arrangements. Handbook of Discrete and Computational Geometry, 2 nd edn, Goodman, J. E. and O'Rourke, J. (eds). New York, Chapman and Hall / CRC Press, pp. 529-562.
43. Hebert, T. (1998). Navigation of an autonomous vehicle using a combined electrostatic potential field/fuzzy inference approach. Ph.D. Thesis, University of Southwestern Louisiana.
44. Hertel, S. and Mehlhorn, K. (1983). Fast triangulation of simple polygons. Proceedings of the International FCT-Conference on Fundamentals of Computation Theory, pp. 207-218.
45. Hsu, D., Latombe, J.-C. and Motwani, R. (1999). Path planning in expansive configuration spaces. International Journal Computational Geometry and Applications, 4: 495-512.
46. Hsu, D. et al. (2002). Randomized kinodynamic motion planning with moving obstacles. International Journal of Robotics Research, 21 (3). 233-255.
47. Kavraki, L.E. et al. (1996). Probabilistic roadmaps for path planning in high-dimensional configuration spaces. IEEE Transactions on Robotics and Automation, 12 (4). 566-580.
48. Khatib, O. (1986). Real-time obstacle avoidance for manipulators and mobile robots. International Journal of Robotics Research, 5 (1). 90-98.
49. Khalil, H.K. (2002). Nonlinear Systems. New York, Macmillan.
50. Kirkpatrick, D.G. (1983). Optimal search in planar subdivisions. SIAM Journal of Computing, 12: 28-35.
51. Kloetzer, M. and Belta, C. (2006). Reachability analysis of multi-affine systems. Hybrid Systems: Computation and Control, Hespanha, J. and Tiwari, A. (eds). Berlin, Springer-Verlag, pp. 348-362.
52. Ko, N.Y. and Simmons, R.G. (1998). The lane-curvature method for local obstacle avoidance. Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 1615-1621
53. Krogh, B.H. (1984). A generalized potential field approach to obstacle avoidance control. Proceedings of the SME Conference on Robotics Research, August, pp. 14-19.
54. Ladd, A. and Kavraki, L.E. (2004). Fast tree-based exploration of state space for robots with dynamics. Proceedings of the Workshop on Algorithmic Foundations of Robotics, pp. 297-312.
55. Lamiraux, F. and Laumond, J.-P. (2000). Flatness and small-time controllability of multibody mobile robots: Application to motion planning. IEEE Transactions on Automatic Control, 45 (10). 1878-1881.
56. Latombe, J.-C. (1991). Robot Motion Planning. Boston, MA, Kluwer.
57. Laumond, J.-P., Sekhavat, S. and Lamiraux, F. (1998). Guidelines in nonholonomic motion planning for mobile robots. Robot Motion Planning and Control, Laumond, J.-P. (ed). Berlin, Springer-Verlag, pp. 1-53.
58. LaValle, S.M. (2006). Planning Algorithms. Cambridge, U.K., Cambridge University Press.
59. LaValle, S.M. and Konkimalla, P. (2001). Algorithms for computing numerical optimal feedback motion strategies. International Journal of Robotics Research, 20 (9). 729-752.
60. LaValle, S.M. and Kuffner, J.J. (2001 a). Randomized kinodynamic planning. International Journal of Robotics Research, 20 (5). 378-400.
61. LaValle, S.M. and Kuffner, J.J. (2001 b). Rapidly-exploring random trees: Progress and prospects. Algorithmic and Computational Robotics: New Directions, Donald, B. R., Lynch, K. M. and Rus, D. (eds). Wellesley, MA, A K Peters, pp. 293-308.
62. Li, P.Y. and Horowitz, R. (1999). Passive velocity field control of mechanical manipulators. IEEE Transactions on Robotics and Automation, 15 (4). 751-763.
63. Li, P.Y. and Horowitz, R. (2001 a). Passive velocity field control (PVFC): Part I-Geometry and robustness. IEEE Transactions on Automatic Control, 46 (9). 1346-1359.
64. Li, P.Y. and Horowitz, R. (2001 b). Passive velocity field control (PVFC): Part II-Application to contour following. IEEE Transactions on Automatic Control, 46 (9). 1360-1371.
65. Liberzon, D. (2003). Switching in Systems and Control. Boston, MA, Birkhäuser.
66. Lindemann, S.R. and LaValle, S.M. (2005). Smoothly blending vector fields for global robot navigation. Proceedings of the IEEE Conference Decision & Control, pp. 3353-3559.
67. Lindemann, S.R. and LaValle, S.M. (2006). Computing smooth feedback plans over cylindrical algebraic decompositions. Proceedings of Robotics: Science and Systems.
68. Lindemann, S.R. and LaValle, S.M. (2006). A multiresolution approach for motion planning under differential constraints. Proceedings of the IEEE International Conference on Robotics & Automation, pp. 139-144.
69. Lindemann, S.R. and LaValle, S.M. (2007). Smooth feedback for car-like vehicles in polygonal environments. Proceedings of the IEEE International Conference on Robotics & Automation, pp. 3104-3109.
70. Lindemann, S.R., Hussein, I.I. and LaValle, S.M. (2006). Real time feedback control for nonholonomic mobile robots with obstacles. Proceedings of the IEEE Conference on Decision & Control, pp. 2406-2411.
71. Loizou, S. and Kyriakopoulos, K. (2006). A feedback-based multiagent navigation framework. International Journal of Systems Science, 37 (6). 377-384.
72. Loizou, S.G., Dimarogonas, D.V. and Kyriakopoulos, K.J. (2004). Decentralized feedback stabilization of multiple nonholonomic agents. Proceedings of the IEEE International Conference on Robotics and Automation.
73. Lozano-Pé, T., Mason, M.T. and Taylor, R.H. (1984). Automatic synthesis of fine-motion strategies for robots. International Journal of Robotics Research, 3 (1). 3-24.
74. Masoud, S.A. and Masoud, A.A. (2000). Constrained motion control using vector potential fields. IEEE Transactions on Systems, Man, and Cybernetics A, 30 (3). 251-272.
75. Mishra, B. (1993). Algorithmic Algebra. New York, Springer-Verlag.
76. Mishra, B. (1997). Computational real algebraic geometry. Handbook of Discrete and Computational Geometry, Goodman, J. E. and O'Rourke, J. (eds). New York, CRC Press, pp. 537-556.
77. Mitchell, I.M. and Sastry, S. (2003). Continuous path planning with multiple constraints. Proceedings of the IEEE Conference on Decision and Control, pp. 5502-5507.
78. Moreno, J. and Kelly, R. (2003). Hierarchical velocity field control for robot manipulators. Proceedings of the IEEE International Conference on Robotics and Automation, pp.4374-4379.
79. Murray, R.M. and Sastry, S. (1993). Nonholonomic motion planning: Steering using sinusoids. IEEE Transactions on Automatic Control, 38 (5). 700-716.
80. Narkhede, A. and Manocha, D. (1995). Fast polygon triangulation based on seidel's algorithm. Graphics Gems V, Paeth, A. (ed). New York, Academic, pp. 394-397.
81. O'Dunlaing, C., Sharir, M. and Yap, C.K. (1987). Retraction: A new approach to motion planning. Planning, Geometry, and Complexity of Robot Motion, Schwartz, J.T., Sharir, M. and Hopcroft, J. (eds). Norwood, NJ, Ablex, pp. 193-213.
82. Ogren, P. and Leonard, N.E. (2005). A convergent dynamic window approach to obstacle avoidance. IEEE Transactions on Robotics, 21 (2). 188-195.
83. Reif, J.H. (1979). Complexity of the mover's problem and generalizations. Proceedings of the IEEE Symposium on Foundations of Computer Science, pp. 421-427.
84. Richards, A. et al. (2002). Spacecraft trajectory planning with avoidance constraints using mixed-integer linear programming. AIAA Journal on Guidance, Control and Dynamics, 25 (4). 755-764.
85. Rimon, E. and Koditschek, D.E. (1992). Exact robot navigation using artificial potential fields. IEEE Transactions on Robotics and Automation, 8 (5). 501-518.
86. Rizzi, A.A. (1998). Hybrid control as a method for robot motion programming. Proceedings of the IEEE International Conference on Robotics and Automation, pp. 832-837.
87. Roszak, B. and Broucke, M.E. (2005). Necessary and sufficient conditions for reachability on a simplex. Proceedings of the IEEE Conference on Decision and Control, and the European Control Conference, pp. 4706-4711.
88. Rowat, P.F. (1979). Representing the spatial experience and solving spatial problems in a simulated robot environment. Ph.D. Thesis, University of British Columbia.
89. Sastry, S. (1999). Nonlinear Systems: Analysis, Stability, and Control. Berlin, Springer-Verlag.
90. Schouwenaars, T., How, J.P. and Feron, E. (2004). Receding horizon path planning with implicit safety guarantees. Proceedings of the IEEE American Control Conference, pp. 5576-5581.
91. Schwartz, J.T. and Sharir, M. (1983). On the piano movers' problem: II. General techniques for computing topological properties of algebraic manifolds. Advances in Applied Mathematics, 12: 298-351.
92. Seidel, R. (1991). A simple and fast incremental randomized algorithm for computing trapezoidal decompositions and for triangulating polygons. Computational Geometry: Theory and Applications, 1 (1). 51-64.
93. Sekhavat, S. et al. (1998). Multilevel path planning for nonholonomic robots using semiholonomic subsystems. International Journal of Robotics Research, 17: 840-857.
94. Sethian, J.A. (1996). A fast marching level set method for monotonically advancing fronts. Proceedings of the National Academy of Sciences, 93(4): 1591-1595.
95. Sethian, J.A. and Vladimirsky, A. (2003). Ordered upwind methods for static Hamilton-Jacobi equations: Theory and algorithms. SIAM Journal on Numerical Analysis, 41 (1). 325-363.
96. Shewchuk, J.R. (1996). Triangle: Engineering a 2D quality mesh generator and Delaunay triangulator. Applied Computational Geometry: Towards Geometric Engineering, Vol. 1148, Lin, M. C. and Manocha, D. (eds). Berlin, Springer-Verlag, pp. 203-222.
97. Shin, K.G. and McKay, N.D. (1985). Minimum-time control of robot manipulators with geometric path constraints. IEEE Transactions on Automatic Control, 30 (6). 531-541.
98. Simmons, R. (1996). The curvature-velocity method for local obstacle avoidance. Proceedings of the IEEE International Conference on Robotics and Automation, pp. 3375-3382.
99. Stachniss, C. and Burgard, W. (2002). An integrated approach to goal-directed obstacle avoidance under dynamic constraints for dynamic environments. Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 508-513.
100. Stan, M.R. et al. (1994). Analog VLSI for robot path planning. Journal of VLSI Signal Processing, 8 (1). 61-73.
101. Strzebonski, A. (2006). Cylindrical algebraic decomposition using validated numerics. Journal of Symbolic Computation, 41: 1021-1038.
102. Tanner, H. and Kumar, A. (2005). Towards decentralization of multi-robot navigation functions. Proceedings of the IEEE International Conference on Robotics and Automation, pp. 4143-4148.
103. Tanner, H.G., Loizou, S.G. and Kyriakopoulos, K.J. (2003). Nonholonomic navigation and control of cooperating mobile manipulators. IEEE Transactions on Robotics and Automation, 19 (1). 53-64.
104. Tarassenko, L. and Blake, A. (1991). Analogue computation of collision-free paths. Proceedings of the IEEE International Conference on Robotics and Automation, pp. 540-545.
105. Tsitsiklis, J.N. (1995). Efficient algorithms for globally optimal trajectories. IEEE Transactions on Automatic Control, 40 (9). 1528-1538.
106. Ulrich, I. and Borenstein, J. (1991). VFH*: Local obstacle avoidance with look-ahead verification. Proceedings of the IEEE International Conference on Robotics and Automation, pp. 2505-2511.
107. Ulrich, I. and Borenstein, J. (1998). VFH+: Reliable obstacle avoidance for fast mobile robots. Proceedings of the IEEE International Conference on Robotics and Automation, pp. 1572-1577.
108. Valavanis, K.P. et al. (2000). Mobile robot navigation in 2-D dynamic environments using an electrostatic potential field. IEEE Transactions on Systems, Man, and Cybernetics A, 30 (2). 187-196.
109. van der Schaft, A. and Schumacher, H. (2000). An Introduction to Hybrid Dynamical Systems. London, Springer.
110. Volpe, R. and Khosla, P. (1990). Manipulator control with superquadric artificial potential functions: Theory and experiments. IEEE Transactions on Systems, Man, and Cybernetics, 20 (6). 1423-1436.
111. Wang, Y. and Chirikjian, G.S. (2000). A new potential field method for robot path planning. Proceedings of the IEEE International Conference on Robotics and Automation, pp. 977-982.
112. Waydo, S. and M Murray, R. (2003). Vehicle motion planning using stream functions. Proceedings of the IEEE International Conference on Robotics and Automation, pp. 2484- 2491.
113. Yamakita, M. et al. (1997). An extension of passive velocity field control to cooperative multiple manipulator systems. Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 11-16.
114. Yamakita, M. et al. (1998). An application of passive velocity field control to cooperative multiple 3-wheeled mobile robots. Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 368-373.
115. Yang, Y. and Brock, O. (2006). Elastic roadmaps: Globally task-consistent motion for autonomous mobile manipulation. Proceedings of Robotics: Science and Systems, pp. 281-288.
116. Yang, L. and LaValle, S.M. (2004). The sampling-based neighborhood graph: A framework for planning and executing feedback motion strategies. IEEE Transactions on Robotics and Automation, 20 (3). 419-432.
117. Zhang, Y. (1995). Sensor-based potential field method for robot motion planning. Ph.D. Thesis, University of Southwestern Louisiana.