Huang Supervisory Control and Scheduling of Resource Allocation Systems: Reachability Graph Perspective - IEEE 2020 Source: EBOOK