The utility of artificial potential functions is explored as a means of translating automatically a robot task description into a feedback control law to drive the robot actuators. A class of functions is sought which will guide a point robot amid any finite number of spherically bounded obstacles in Euclidean n-space toward an arbitrary destination point. By introducing a set of additional constraints, the subclass of navigation functions is defined. This class is dynamically sound in the sense that the actual mechanical system will inherit the essential aspects of the qualitative behavior of the gradient lines of the cost function. An existence proof is given by constructing a one parameter family of such functions; the parameter is used to guarantee the absence of local minima.