Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
The Verification and Control of Interacting Similar Discrete-Event Systems
SIAM Journal on Control and Optimization
| Hi-index | 22.14 |
Multi-agent systems have been widely used in logistics and manufacturing. In this paper we develop an automaton-based modeling framework for a special type of multi-agent systems, where agents are instantiated from a finite number of finite-state automaton templates, and interactions among agents are characterized via cooperative synchronization and broadcasting. To describe the compositional behavior of all agents, we propose a novel broadcasting-based parallel composition rule and show that it is commutative and associative. The effectiveness of this modeling framework and the parallel composition rule is illustrated in a simple multi-agent system.