We present a new methodology for exact robot motion planning and control that unifies the purely kinematic path planning problem with the lower level feedback controller design. Complete information about the freespace and goal is encoded in the form of a special artificial potential function-a navigation function-that connects the kinematic planning problem with the dynamic execution problem in a provably correct fashion. The navigation function automatically gives rise to a bounded-torque feedback controller for the robot's actuators that guarantees collision-free motion and convergence to the destination from almost all initial free configurations. Since navigation functions exist for any robot and obstacle course, our methodology is completely general in principle. However, this paper is mainly concerned with certain constructive techniques for a particular class of motion planning problems. Specifically, we present a formula for navigation functions that guide a point-mass robot in a generalized sphere world. The simplest member of this family is a space obtained by puncturing a disc by an arbitrary number of smaller disjoint discs representing obstacles. The other spaces are obtained from this model by a suitable coordinate transformation that we show how to build. Our constructions exploit these coordinate transformations to adapt a navigation function on the model space to its more geometrically complicated (but topologically equivalent) instances. The formula that we present admits sphere-worlds of arbitrary dimension and is directly applicable to configuration spaces whose forbidden regions can be modeled by such generalized discs. We have implemented these navigation functions on planar scenarios, and simulation results are provided throughout the paper. Disciplines Robotics Comments
This paper concerns the construction of a class of scalar valued analytic maps on analytic manifolds with boundary. These maps, which we term navigation functions, are constructed on an arbitrary sphere world-a compact connected subset of Euclidean n-space whose boundary is formed from the disjoint union of a finite number of (n − l)-spheres. We show that this class is invariant under composition with analytic diffeomorphisms: our sphere world construction immediately generates a navigation function on all manifolds into which a sphere world is deformable. On the other hand, certain well known results of S. Smale guarantee the existence of smooth navigation functions on any smooth manifold. This suggests that analytic navigation functions exist, as well, on more general analytic manifolds than the deformed sphere worlds we presently consider.
Abstract. A Euclidean Sphere World is a compact connected submanifold of Euclidean «-space whose boundary is the disjoint union of a finite number of (n -1 ) dimensional Euclidean spheres. A Star World is a homeomorph of a Euclidean Sphere World, each of whose boundary components forms the boundary of a star shaped set. We construct a family of analytic diffeomorphisms from any analytic Star World to an appropriate Euclidean Sphere World "model." Since our construction is expressed in closed form using elementary algebraic operations, the family is effectively computable. The need for such a family of diffeomorphisms arises in the setting of robot navigation and control. We conclude by mentioning a topological classification problem whose resolution is critical to the eventual practicability of these results.
The Bug family algorithms navigate a 2-DOF mobile robot in a completely unknown environment using sensors. TangentBug is a new algorithm in this family, specifically designed for using a range sensor. TangentBug uses the range data to compute a locally shortest path, based on a novel structure termed the local tangent graph (LTG). The robot uses the LTG for choosing the locally optimal direction while moving toward the target, and for making local shortcuts and testing a leaving condition while moving along an obstacle boundary. The transition between these two modes of motion is governed by a globally convergent criterion, which is based on the distance of the robot from the target. We analyze the properties of TangentBug, and present simulation results that show that Tangent-Bug consistently performs better than the classical Bug algorithms. The simulation results also show that TangentBug produces paths that in simple environments approach the globally optimal path, as the sensor's maximal detection-range increases. The algorithm can be readily implemented on a mobile robot, and we discuss one such implementation.
Using a configuration-space approach, this paper develops a novel 2nd-order mobility theory for rigid bodies in contact. A major component of this theory is a coordinate invariant 2nd-order mobility index for a body, B, in frictionless contact with finger bodies A 1 ; 1 1 1 ; A k . The index is an integer that captures the inherent mobility of B in an equilibrium grasp due to second order, or surface curvature, effects. It differentiates between grasps which are deemed equivalent by classical 1storder theories, but are physically different. We further show that 2nd-order effects can be used to lower the effective mobility of a grasped object, and discuss implications of this result for achieving new lower bounds on the number of contacting finger bodies needed to immobilize an object. Physical interpretation and stability analysis of 2nd-order effects are taken up in the companion paper.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.