Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
The interdisciplinary study of coordination
ACM Computing Surveys (CSUR)
Coordination techniques for distributed artificial intelligence
Foundations of distributed artificial intelligence
Planning in distributed artificial intelligence
Foundations of distributed artificial intelligence
On agent-based software engineering
Artificial Intelligence
Models and technologies for the coordination of Internet agents: a survey
Coordination of Internet agents
Distributed constraint satisfaction: foundations of cooperation in multi-agent systems
Distributed constraint satisfaction: foundations of cooperation in multi-agent systems
Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence
Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence
Tractable multiagent planning for epistemic goals
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
Synthesis of Communicating Processes from Temporal Logic Specifications
Logic of Programs, Workshop
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
The Computational Complexity of Agent Design Problems
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
On-line coordination among discrete-event agents
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Dynamic distributed constraint reasoning
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
On-line Coordination: Event Interaction and State Communication between Cooperative Agents
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
On-line coordination: Event interaction and state communication between cooperative agents
Web Intelligence and Agent Systems
| Hi-index | 0.00 |
This paper proposes a new multiagent planning approach to coordination synthesis that views distributed agents as discrete-event processes. The connection between discrete-event control synthesis and coordination planning is first established, thereby enabling the exploitation of the vast body of knowledge and associated software synthesis tools from ýThe Supervisory Control of Discrete-Event Systemsý for automatic coordination synthesis of distributed agents. Importantly, these coordinating agents designed collectively generate a behaviour guaranteed not to contradict any specified inter-agent constraint, is nonblocking and optimal. A simple planning methodology is proposed in terms of procedures supported by CTCT, an existing, freely available design tool developed based on the control synthesis framework.Asimple example illustrates the use of the CTCT-based methodology to synthesize coordination modules for distributed agents. Discussions in relation to previous work examine the relative significance of the new multiagent planning framework.