Techniques in Discrete-Time Stochastic Control Systems by