Towards Synthesizing Optimal Coordination Modules for Distributed Agents

Abstract

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.

Cite

Text

Pham and Seow. "Towards Synthesizing Optimal Coordination Modules for Distributed Agents." AAAI Conference on Artificial Intelligence, 2008.

Markdown

[Pham and Seow. "Towards Synthesizing Optimal Coordination Modules for Distributed Agents." AAAI Conference on Artificial Intelligence, 2008.](https://mlanthology.org/aaai/2008/pham2008aaai-synthesizing/)

BibTeX

@inproceedings{pham2008aaai-synthesizing,
  title     = {{Towards Synthesizing Optimal Coordination Modules for Distributed Agents}},
  author    = {Pham, Manh Tung and Seow, Kiam Tian},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2008},
  pages     = {1479-1480},
  url       = {https://mlanthology.org/aaai/2008/pham2008aaai-synthesizing/}
}