Coordination planning: Applying control synthesis methods for a class of distributed agents

Kiam Tian Seow, Manh Tung Pham, Chuan Ma, Makoto Yokoo

Research output: Contribution to journalArticle

21 Citations (Scopus)

Abstract

This brief proposes a new multi-agent planning approach to logical coordination synthesis that views a class of distributed agents as discrete-event processes. The coordination synthesis problem involves finding a coordination module for every agent, using which their coordinated interactions would never violate some specified inter-agent constraint. This brief first shows explicitly that, though conceptually different, the well-researched problem of supervision in control science and the problem of distributed agent coordination planning in computer agents science are mathematically related. This basic result enables the application of the vast body of knowledge and associated synthesis tools already founded in discrete-event control theory for automatic coordination synthesis of distributed agents. Within this logical framework, a basic planning methodology applying the discrete-event control synthesis methods is proposed and illustrated using TCT, a software design tool implementing these methods. A simple example demonstrates how it supports formal synthesis of coordination modules for distributed agents. Discussions in relation to previous work examine the relative significance of the new multi-agent planning framework.

Original languageEnglish
Pages (from-to)405-415
Number of pages11
JournalIEEE Transactions on Control Systems Technology
Volume17
Issue number2
DOIs
Publication statusPublished - Jan 1 2009

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Cite this