Rick C. H. Chang

• Supervisor synthesis for stochastic discrete event systems