Supervisory Control and Scheduling of Resource Allocation Systems