ECE555: Control of Stochastic Systems