Title: Control theory of stochastic discrete event systems