Zaslat SMS: Optimal control of discrete time stochastic systems