Control synthesis for admissible paths based on theory of regions: Application to a flexible manufacturing system | IEEE Conference Publication | IEEE Xplore