On the supervisory control of multiagent product systems

In this note, we use the formal framework of multiagent (MA) product systems (introduced and developed in previous works) for the analysis of complex systems. The results of this note constitute a natural extension of the classical supervisory control results for scalar systems to the more general MA product system case. The notion of MA controllability is introduced and is shown to essentially constitute a necessary and sufficient condition for the synthesis of an MA supervisor.