Modeling Supervisory Control in Multi Robot Applications