Engineering Papers⌕ Search

Engineering topics

Durfee, Edmund H.

Publications and source records attributed to Durfee, Edmund H..

Abstract communication for coordinated planning

work offers evidence that distributed planning agents can greatly reduce communication costs by reasoning at abstract levels. While it is intuitive that improved search can reduce communication in such cases, there are other decisions about how to communicate plan information that greatly affect communication costs. This paper identifies cases independent of search where communicating at multiple levels of abstraction can exponentially decrease costs and where it can exponentially add costs. We conclude with a process for determining appropriate levels of communication based on characteristics of the domain.

coordination↗

Predictive sufficiency and the use of stored internal state

In all embedded computing systems, some delay exists between sensing and acting. By choosing an action based on sensed data, a system is essentially predicting that there will be no significant changes in the world during this delay. However, the dynamic and uncertain nature of the real world can make these predictions incorrect, and thus, a system may execute inappropriate actions. Making systems more reactive by decreasing the gap between sensing and action leaves less time for predictions to err, but still provides no principled assurance that they will be correct. Using the concept of predictive sufficiency described in this paper, a system can prove that its predictions are valid, and that it will never execute inappropriate actions. In the context of our CIRCA system, we also show how predictive sufficiency allows a system to guarantee worst-case response times to changes in its environment. Using predictive sufficiency, CIRCA is able to build real-time reactive control plans which provide a sound basis for performance guarantees that are unavailable with other reactive systems.

Musliner, David J.↗

UM-PRS: An implementation of the procedural reasoning system for multirobot applications

The Procedural Reasoning System (PRS) is used in applications where predetermined situations might arise. The UM-PRS provides a reasoning system that represents robotic applications even in unpredictable domains, such as the robotic reconnaissance task domain outlined here. UM-PRS incorporates a changing context, rather than relying solely on a prearranged plan. The UM-PRS here provides representation important in the reasoning and interface between a mission plan and the executable map of an outdoor vehicle that changes its behavior based on what it comes in contact with in its environment. PRS is thus used in the dynamic control of such a vehicle, providing the basis for coordinating the joint task of multiple robotic vehicles by the their individual observations and representation.

Lee, Jaeho↗