Email Record: Techniques in discrete-time stochastic control systems.