Invia SMS: Optimal control of discrete time stochastic systems /