Multi-agent products and trajectory specifications in supervisory control theory
I. Romanovski, Peter E. Caines · 2003
The formulation and specification of structures for interacting controlled finite deterministic automata are developed within the multi-agent (MA) product framework. Next, supervisory control problems for an MA product system are considered and necessary and sufficient conditions for the synthesis of MA supervisors are given.