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 NU 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.