Safe Distributed Coordination of Heterogeneous Robots through Dynamic Simple Temporal Networks

Research on autonomous intelligent systems has focused on how robots can robustly carry out missions in uncertain and harsh environments with very little or no human intervention. Robotic execution languages such as RAPs, ESL, and TDL improve robustness by managing functionally redundant procedures for achieving goals. The model-based programming approach extends this by guaranteeing correctness of execution through pre-planning of non-deterministic timed threads of activities. Executing model-based programs effectively on distributed autonomous platforms requires distributing this pre-planning process. This thesis presents a distributed planner for modelbased programs whose planning and execution is distributed among agents with widely varying levels of processor power and memory resources. We make two key contributions. First, we reformulate a model-based program, which describes cooperative activities, into a hierarchical dynamic simple temporal network. This enables efficient distributed coordination of robots and supports deployment on heterogeneous robots. Second, we introduce a distributed temporal planner, called DTP, which solves hierarchical dynamic simple temporal networks with the assistance of the distributed Bellman-Ford shortest path algorithm. The implementation of DTP has been demonstrated successfully on a wide range of randomly generated examples and on a pursuer-evader challenge problem in simulation.

Lean Transition of Emerging Industrial Capability

This volume of the final report documents the technical work performed from December 1998 through December 2002 under Cooperative Agreement F33615-97-2-5153 executed between the U.S. Air Force, Air Force Research Laboratory, Materials and Manufacturing Directorate, Manufacturing Technology Division (AFRL/MLM) and the McDonnell Douglas Corporation, a wholly-owned subsidiary of The Boeing Company. The work was accomplished by The Boeing Company, Phantom Works, Huntington Beach, St. Louis, and Seattle; Ford Motor Company; Integral Inc.; Sloan School of Management in the Massachusetts Institute of Technology; Pratt & Whitney; and Central State University in Xenia, Ohio and in association with Raytheon Corporation. The LeanTEC program manager for AFRL is John Crabill of AFRL / MLMP and The Boeing Company program manager is Ed Shroyer of Boeing Phantom Works in Huntington Beach, CA. Financial performance under this contract is documented in the Financial Volume of the final report.

Effects of Air Pollution Control on Climate

Urban air pollution and climate are closely connected due to shared generating processes (e.g., combustion) for emissions of the driving gases and aerosols. They are also connected because the atmospheric lifecycles of common air pollutants such as CO, NOx and VOCs, and of the climatically important methane gas (CH4) and sulfate aerosols, both involve the fast photochemistry of the hydroxyl free radical (OH). Thus policies designed to address air pollution may impact climate and vice versa. We present calculations using a model coupling economics, atmospheric chemistry, climate and ecosystems to illustrate some effects of air pollution policy alone on global warming. We consider caps on emissions of NOx, CO, volatile organic carbon, and SOx both individually and combined in two ways. These caps can lower ozone causing less warming, lower sulfate aerosols yielding more warming, lower OH and thus increase CH4 giving more warming, and finally, allow more carbon uptake by ecosystems leading to less warming. Overall, these effects significantly offset each other suggesting that air pollution policy has a relatively small net effect on the global mean surface temperature and sea level rise. However, our study does not account for the effects of air pollution policies on overall demand for fossil fuels and on the choice of fuels (coal, oil, gas), nor have we considered the effects of caps on black carbon or organic carbon aerosols on climate. These effects, if included, could lead to more substantial impacts of capping pollutant emissions on global temperature and sea level than concluded here. Caps on aerosols in general could also yield impacts on other important aspects of climate beyond those addressed here, such as the regional patterns of cloudiness and precipitation.