Engineering topics
Publications and source records attributed to Barrett, A. C..
This paper presents an approach to onboard anomaly diagnosis that combines the simplicity and real-time guarantee of a rule-based diagnosis system with the specification ease and coverage guarantees of a model-based diagnosis system.
Interacting agents that interleave planning and execution must reach consensus on their commitments to each other. In domains where agents have varying degrees of interaction and different constraints on communication and computation, agents will require different coordination protocols in order to efficiently reach consensus. ShAC (Shared Activity Coordination) is a framework for designing coordination protocols with an algorithm for continually coordinating agents using these protocols during execution. We show how to construct a wide range of protocols using this framework and describe how ShAC coordinates two rovers and an orbiter in a simulated Mars scenario.
This paper introduces a simple decentralized protocol that enables seperate planners to coordinate shared tasks and resolve conflicts over shared and private resources.
t an algorithm for summarizing the metric resource requirements of an abstract activity based on the resource usages of its potential refinements.
Explore the source record for details and available documents.
Explore the source record for details and available documents.