Techniques in discrete-time stochastic control systems. (1995)