Control synthesis based on reachability graph with minimal cuts: Application to a flexible manufacturing system | IEEE Conference Publication | IEEE Xplore