Implementation and verification of supervisory cooperative control by model predictive method | IEEE Conference Publication | IEEE Xplore