Towards Synthesizing Optimal Coordination Modules for Distributed Agents

Manh Tung Pham, Kiam Tian Seow

In a discrete-event framework, we define the concept of a coordinable language and show that it is the necessary and sufficient existence condition of coordination modules for distributed agents to achieve conformance to a given inter-agent constraint language. We also present a synthesis algorithm to compute near optimal coordination modules.

Subjects: 7.1 Multi-Agent Systems; 9.3 Mathematical Foundations

Submitted: Apr 14, 2008

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.