TitleCoordinating robot teams for disaster relief
Publication TypeConference Proceedings
Year of Conference2015
AuthorsRoberts, M, Apker, T, Johnson, B, Auslander, B, Wellman, B, Aha, DW
Conference NameProceedings of the Twenty-Eighth Florida Artificial Intelligence Research Society Conference
Date Published05/2015
PublisherAAAI Press
Conference LocationHollywood, FL

To perform complex tasks, a team of robots requires both reactive and deliberative planning. For reactive control, a restricted variant of Linear Temporal Logic called General Reactivity(1) can be used to synthesize correct-by-construction controllers in polynomial time, but they often ignore time and resource constraints to maintain tractable synthesis. For deliberation, hierarchical planning can be used to reason about time and resources. However, the coordination of reactive control and deliberation remains a challenge, which we accomplish through a set of Coordination Variables. We integrate these two approaches in the Situated Decision Process (SDP), a system that we are developing. The SDP will allow an Operator to control a team of semi-autonomous vehicles performing information gathering tasks for Humanitarian Assistance / Disaster Relief operations. We demonstrate that the SDP responds to a dynamic, open world while ensuring that vehicles eventually perform their commanded actions.

Full Text
NRL Publication Release Number: