Techniques in Discrete-Time Stochastic Control Systems