Control of Discrete-Event Systems