For mobile robots to autonomously accommodate dynamically changing navigation tasks in a goal-directed fashion, they must employ navigation plans. Any such plan must provide for the robot’s immediate and continuous need for guidance while remaining highly flexible in order to avoid costly computation each time the robot’s perception of the world changes. Due to the world’s uncertainties, creation and maintenance of navigation plans cannot involve arbitrarily complex processes, as the robot’s perception of the world will be in constant flux, requiring modifications to be made quickly if they are to be of any use. This work introduces Navigation Templates (or NaTs) which are building blocks for the construction and maintenance of rough navigation plans which capture the relationship that objects in the world have to the current navigation task. By encoding only the critical relationship between the objects in the world and the navigation task, a NaT-based navigation plan is highly flexible; allowing new constraints to be quickly incorporated into the plan and existing constraints to be updated or deleted from the plan. To satisfy the robot’s need for immediate local guidance, the NaTs forming the current navigation plan are passed to a transformation function. The transformation function analyzes the plan with respect to the robot’s current location to quickly determine (a few times a second) the locally preferred direction of travel. This dissertation presents NaTs and the transformation function as well as the needed support systems to demonstrate the usefulness of the technique for controlling the actions of a mobile robot operating in an uncertain world. ¹ This work was supported in part by a grant from the Jet Propulsion Laboratory under a contract from the National Aeronautics and Space Administration, and by a grant from the Naval Surface Weapons Center. / Ph. D.

This dissertation demonstrates that effective control of autonomous mobile robots in real-world environments can be achieved by combining reactive and deliberative components into an integrated architecture. The reactive component allows the robot to respond to contingencies in real time. Deliberation allows the robot to make effective predictions about the world. By using different computational mechanisms for the reactive and deliberative components, much existing deliberative technology can be effectively incorporated into a mobile robot control system. The dissertation describes the design and implementation of a reactive control system for an autonomous mobile robot which is explicitly designed to interface to a deliberative component A programming language called ALF A is developed to program this system. The design of a control architecture which incorporates this reactive system is also described. The architecture is heterogeneous and asynchronous, that is, it consists of components which are structured differently from one another, and which operate in parallel. This prevents slow deliberative computations from adversely affecting the response time of the overall system. The architecture produces behavior which is reliable and goal-directed, yet reactive to contingencies, in the face of noise, limited computational resources, and an unpredictable environment. The system described in this dissertation has been used to control three real robots and a simulated robot performing a variety of tasks in real-world and simulated real-world environments. A general design methodology based upon bottom-up hierarchical decomposition is demonstrated. The methodology is based on the principle of cognizant failure, that is, that low-level activities should be designed in a way as to detect failures and state transitions at high levels of abstraction. Furthermore, the results of deliberative computations should be used to guide the robot's actions, but not to control those actions directly. / Ph. D.