Discrete-event controller synthesis based on state space models | IEEE Conference Publication | IEEE Xplore