Logical Control of Complex Resource Allocation Systems

Provides a comprehensive tutorial on solutions to the supervisory control problem. The reader is shown results that are theoretically rigorous yet offer rich practical applications. These resource allocation techniques point the way forward for the necessary further research to successfully solve the scheduling problems in such systems.