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

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

研究成果: ジャーナルへの寄稿学術誌査読

24 被引用数 (Scopus)


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.

ジャーナルIEEE Transactions on Control Systems Technology
出版ステータス出版済み - 2009

!!!All Science Journal Classification (ASJC) codes

  • 制御およびシステム工学
  • 電子工学および電気工学


「Coordination planning: Applying control synthesis methods for a class of distributed agents」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。