Abstract. A bounded curvature path is a continuously differentiable piecewise C 2 path with a bounded absolute curvature that connects two points in the tangent bundle of a surface. In this work, we analyze the homotopy classes of bounded curvature paths for points in the tangent bundle of the Euclidean plane. We show the existence of connected components of bounded curvature paths that do not correspond to those under (regular) homotopies obtaining the first results in the theory outside optimality. An application to robotics is presented.
PreludeGiven a class of curves satisfying some constraints, understanding when there is a deformation connecting two curves in the class, where all the intermediate curves also are in the class, strongly relies on the defining conditions. When considering continuity any two plane curves (both closed or with different endpoints) are homotopic one into the other. Whitney in 1937 observed that under regular homotopies (homotopy through immersions) not always two planar closed curves lie in the same connected component [26]. In fact, there are as many regular homotopy classes of plane curves as integers. When considering curves with different endpoints the concept of homotopies through immersions do not lead to results different from those obtained when only continuity is considered. Dubins in 1957 introduced the concept of bounded curvature path when characterizing bounded curvature paths of minimal length [9] 1 .Let (x, X), (y, Y ) ∈ T R 2 be elements in the tangent bundle of the Euclidean plane. A planar bounded curvature path is a C 1 and piecewise C 2 path starting at x, finishing at y; with tangent vectors at these points X and Y respectively and having absolute curvature bounded by κ = 1 r > 0. Here r is the minimum allowed radius of curvature. The piecewise C 2 property comes naturally due to the nature of the length minimisers [9].A substantial part of the complexity of the theory of bounded curvature paths is described in the following observation. In general, length minimisers are used to establish a distance function between points in a manifold. This approach may not be considered for spaces of bounded curvature paths since in many cases the length variation between length minimisers of arbitrarily close endpoints or directions is discontinuous. Closely related is the fact that for most cases the length minimisers from (x, X) to (y, Y ) and from (y, Y ) to (x, X) have different length contradicting