Dubins path

Last updated

In geometry, the term Dubins path typically refers to the shortest curve that connects two points in the two-dimensional Euclidean plane (i.e. x-y plane) with a constraint on the curvature of the path and with prescribed initial and terminal tangents to the path, and an assumption that the vehicle traveling the path can only travel forward. If the vehicle can also travel in reverse, then the path follows the Reeds–Shepp curve. [1]

Contents

Lester Eli Dubins (1920–2010) [2] proved using tools from analysis [3] that any such path will consist of maximum curvature and/or straight line segments. In other words, the shortest path will be made by joining circular arcs of maximum curvature and straight lines.

Discussion

Dubins proved his result in 1957. In 1974 Harold H. Johnson proved Dubins' result by applying Pontryagin's maximum principle. [4] In particular, Harold H. Johnson presented necessary and sufficient conditions for a plane curve, which has bounded piecewise continuous curvature and prescribed initial and terminal points and directions, to have minimal length. In 1992 the same result was shown again using Pontryagin's maximum principle. [5] More recently, a geometric curve-theoretic proof has been provided by J. Ayala, D. Kirszenblat and J. Hyam Rubinstein. [6] A proof characterizing Dubins paths in homotopy classes has been given by J. Ayala. [7]

Applications

The Dubins path is commonly used in the fields of robotics and control theory as a way to plan paths for wheeled robots, airplanes and underwater vehicles. There are simple geometric [8] and analytical methods [9] to compute the optimal path.

For example, in the case of a wheeled robot, a simple kinematic car model (also known as Dubins' car) for the systems is:

where is the car's position, is the heading, the car is moving at a constant speed , and the turn rate control is bounded. In this case the maximum turning rate corresponds to some minimum turning radius (and equivalently maximum curvature). The prescribed initial and terminal tangents correspond to initial and terminal headings. The Dubins' path gives the shortest path joining two oriented points that is feasible for the wheeled-robot model.

The optimal path type can be described using an analogy with cars of making a 'right turn (R)' , 'left turn (L)' or driving 'straight (S).' An optimal path will always be at least one of the six types: RSR, RSL, LSR, LSL, RLR, LRL. For example, consider that for some given initial and final positions and tangents, the optimal path is shown to be of the type 'RSR.' Then this corresponds to a right-turn arc (R) followed by a straight line segment (S) followed by another right-turn arc (R). Moving along each segment in this sequence for the appropriate length will form the shortest curve that joins a starting point A to a terminal point B with the desired tangents at each endpoint and that does not exceed the given curvature.

Dubins interval problem

Dubins interval problem is a key variant of the Dubins path problem, where an interval of heading directions are specified at the initial and terminal points. The tangent direction of the path at initial and final points are constrained to lie within the specified intervals. One could solve this using geometrical analysis, [10] or using Pontryagin's minimum principle. [11]

Related Research Articles

In mathematics, analytic geometry, also known as coordinate geometry or Cartesian geometry, is the study of geometry using a coordinate system. This contrasts with synthetic geometry.

<span class="mw-page-title-main">Centripetal force</span> Force directed to the center of rotation

A centripetal force is a force that makes a body follow a curved path. The direction of the centripetal force is always orthogonal to the motion of the body and towards the fixed point of the instantaneous center of curvature of the path. Isaac Newton described it as "a force by which bodies are drawn or impelled, or in any way tend, towards a point as to a centre". In the theory of Newtonian mechanics, gravity provides the centripetal force causing astronomical orbits.

<span class="mw-page-title-main">Sphere</span> Set of points equidistant from a center

A sphere is a geometrical object that is a three-dimensional analogue to a two-dimensional circle. Formally, a sphere is the set of points that are all at the same distance r from a given point in three-dimensional space. That given point is the center of the sphere, and r is the sphere's radius. The earliest known mentions of spheres appear in the work of the ancient Greek mathematicians.

<span class="mw-page-title-main">Great circle</span> Spherical geometry analog of a straight line

In mathematics, a great circle or orthodrome is the circular intersection of a sphere and a plane passing through the sphere's center point.

<span class="mw-page-title-main">Curvature</span> Mathematical measure of how much a curve or surface deviates from flatness

In mathematics, curvature is any of several strongly related concepts in geometry that intuitively measure the amount by which a curve deviates from being a straight line or by which a surface deviates from being a plane. If a curve or surface is contained in a larger space, curvature can be defined extrinsically relative to the ambient space. Curvature of Riemannian manifolds of dimension at least two can be defined intrinsically without reference to a larger space.

<span class="mw-page-title-main">Spiral</span> Curve that winds around a central point

In mathematics, a spiral is a curve which emanates from a point, moving farther away as it revolves around the point. It is a subtype of whorled patterns, a broad group that also includes concentric objects.

<span class="mw-page-title-main">Winding number</span> Number of times a curve wraps around a point in the plane

In mathematics, the winding number or winding index of a closed curve in the plane around a given point is an integer representing the total number of times that the curve travels counterclockwise around the point, i.e., the curve's number of turns. For certain open plane curves, the number of turns may be a non-integer. The winding number depends on the orientation of the curve, and it is negative if the curve travels around the point clockwise.

<span class="mw-page-title-main">Geodesic</span> Straight path on a curved surface or a Riemannian manifold

In geometry, a geodesic is a curve representing in some sense the shortest path (arc) between two points in a surface, or more generally in a Riemannian manifold. The term also has meaning in any differentiable manifold with a connection. It is a generalization of the notion of a "straight line".

<span class="mw-page-title-main">Affine connection</span> Construct allowing differentiation of tangent vector fields of manifolds

In differential geometry, an affine connection is a geometric object on a smooth manifold which connects nearby tangent spaces, so it permits tangent vector fields to be differentiated as if they were functions on the manifold with values in a fixed vector space. Connections are among the simplest methods of defining differentiation of the sections of vector bundles.

<span class="mw-page-title-main">Limaçon</span> Type of roulette curve

In geometry, a limaçon or limacon, also known as a limaçon of Pascal or Pascal's Snail, is defined as a roulette curve formed by the path of a point fixed to a circle when that circle rolls around the outside of a circle of equal radius. It can also be defined as the roulette formed when a circle rolls around a circle with half its radius so that the smaller circle is inside the larger circle. Thus, they belong to the family of curves called centered trochoids; more specifically, they are epitrochoids. The cardioid is the special case in which the point generating the roulette lies on the rolling circle; the resulting curve has a cusp.

<span class="mw-page-title-main">Osculating circle</span> Circle of immediate corresponding curvature of a curve at a point

An osculating circle is a circle that best approximates the curvature of a curve at a specific point. It is tangent to the curve at that point and has the same curvature as the curve at that point. The osculating circle provides a way to understand the local behavior of a curve and is commonly used in differential geometry and calculus.

In differential geometry, the notion of torsion is a manner of characterizing the amount of slipping or twisting that a plane does when rolling along a surface or higher dimensional affine manifold.

<span class="mw-page-title-main">Biarc</span>

A biarc is a smooth curve formed from two circular arcs. In order to make the biarc smooth, the two arcs should have the same tangent at the connecting point where they meet.

A geometric spanner or a t-spanner graph or a t-spanner was initially introduced as a weighted graph over a set of points as its vertices for which there is a t-path between any pair of vertices for a fixed parameter t. A t-path is defined as a path through the graph with weight at most t times the spatial distance between its endpoints. The parameter t is called the stretch factor or dilation factor of the spanner.

<span class="mw-page-title-main">Differential geometry of surfaces</span> The mathematics of smooth surfaces

In mathematics, the differential geometry of surfaces deals with the differential geometry of smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives: extrinsically, relating to their embedding in Euclidean space and intrinsically, reflecting their properties determined solely by the distance within the surface as measured along curves on the surface. One of the fundamental concepts investigated is the Gaussian curvature, first studied in depth by Carl Friedrich Gauss, who showed that curvature was an intrinsic property of a surface, independent of its isometric embedding in Euclidean space.

<span class="mw-page-title-main">Sinusoidal spiral</span> Family of curves of the form r^n = a^n cos(nθ)

In algebraic geometry, the sinusoidal spirals are a family of curves defined by the equation in polar coordinates

In mathematics, the Riemannian connection on a surface or Riemannian 2-manifold refers to several intrinsic geometric structures discovered by Tullio Levi-Civita, Élie Cartan and Hermann Weyl in the early part of the twentieth century: parallel transport, covariant derivative and connection form. These concepts were put in their current form with principal bundles only in the 1950s. The classical nineteenth century approach to the differential geometry of surfaces, due in large part to Carl Friedrich Gauss, has been reworked in this modern framework, which provides the natural setting for the classical theory of the moving frame as well as the Riemannian geometry of higher-dimensional Riemannian manifolds. This account is intended as an introduction to the theory of connections.

<span class="mw-page-title-main">Euler spiral</span> Curve whose curvature changes linearly

An Euler spiral is a curve whose curvature changes linearly with its curve length. This curve is also referred to as a clothoid or Cornu spiral. The behavior of Fresnel integrals can be illustrated by a Euler spiral, a connection first made by Alfred Marie Cornu 1874. Euler's spiral is a type of superspiral that has the property of a monotonic curvature function.

<span class="mw-page-title-main">Curve-shortening flow</span> Motion of a curve based on its curvature

In mathematics, the curve-shortening flow is a process that modifies a smooth curve in the Euclidean plane by moving its points perpendicularly to the curve at a speed proportional to the curvature. The curve-shortening flow is an example of a geometric flow, and is the one-dimensional case of the mean curvature flow. Other names for the same process include the Euclidean shortening flow, geometric heat flow, and arc length evolution.

<span class="mw-page-title-main">Hedgehog (geometry)</span> Type of mathematical plane curve

In differential geometry, a hedgehog or plane hedgehog is a type of plane curve, the envelope of a family of lines determined by a support function. More intuitively, sufficiently well-behaved hedgehogs are plane curves with one tangent line in each oriented direction. A projective hedgehog is a restricted type of hedgehog, defined from an anti-symmetric support function, and forms a curve with one tangent line in each direction, regardless of orientation.

References

  1. Reeds, J. A.; Shepp, L. A. (1990). "Optimal paths for a car that goes both forwards and backwards". Pacific Journal of Mathematics. 145 (2): 367–393. doi: 10.2140/pjm.1990.145.367 .
  2. "IN MEMORIAM Lester Eli Dubins Professor of Mathematics and Statistics, Emeritus UC Berkeley 1920–2010". University of California. Archived from the original on 15 September 2011. Retrieved 26 May 2012.
  3. Dubins, L. E. (July 1957). "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 (3): 497–516. doi:10.2307/2372560. JSTOR   2372560.
  4. Johnson, Harold H. (1974). "An application of the maximum principle to the geometry of plane curves". Proceedings of the American Mathematical Society . 44 (2): 432–435. doi: 10.1090/S0002-9939-1974-0348631-6 . MR   0348631.
  5. Boissonat, J.-D.; Cerezo, A.; Leblond, K. (May 1992). "Shortest Paths of Bounded Curvature in the Plane" (PDF). Proceedings of the IEEE International Conference on Robotics and Automation. Vol. 3. Piscataway, NJ. pp. 2315–2320. doi:10.1109/ROBOT.1992.220117.
  6. Ayala, José; Kirszenblat, David; Rubinstein, Hyam (2018). "A Geometric approach to shortest bounded curvature paths". Communications in Analysis and Geometry. 26 (4): 679–697. arXiv: 1403.4899 . doi: 10.4310/CAG.2018.v26.n4.a1 .
  7. Ayala, José (2015). "Length minimising bounded curvature paths in homotopy classes". Topology and Its Applications. 193: 140–151. arXiv: 1403.4930 . doi: 10.1016/j.topol.2015.06.008 .
  8. Anisi, David (July 2003). Optimal Motion Control of a Ground Vehicle (PDF) (Report). Swedish Research Defence Agency. 1650-1942.
  9. Bui, Xuan-Nam; Boissonnat, J.-D.; Soueres, P.; Laumond, J.-P. (May 1994). "Shortest Path Synthesis for Dubins Non-Holonomic Robot". IEEE Conference on Robotics and Automation. Vol. 1. San Diego, CA. pp. 2–7. doi:10.1109/ROBOT.1994.351019.
  10. Manyam, Satyanarayana; Rathinam, Sivakumar (2016). "On Tightly Bounding the Dubins Traveling Salesman's Optimum". Journal of Dynamic Systems, Measurement, and Control. 140 (7): 071013. arXiv: 1506.08752 . doi:10.1115/1.4039099. S2CID   16191780.
  11. Manyam, Satyanarayana G.; Rathinam, Sivakumar; Casbeer, David; Garcia, Eloy (2017). "Tightly Bounding the Shortest Dubins Paths Through a Sequence of Points". Journal of Intelligent & Robotic Systems. 88 (2–4): 495–511. doi:10.1007/s10846-016-0459-4. S2CID   30943273.