Optimal state-space partition for control of discrete-event systems with static specifications | IEEE Journals & Magazine | IEEE Xplore