Synthesis of Maximally-Permissive Supervisors for the Range Control Problem | IEEE Journals & Magazine | IEEE Xplore