Using supervisory control methods for model based control of multi-agent systems | IEEE Conference Publication | IEEE Xplore