Text this: Techniques in discrete-time stochastic control systems