Mathematical Methods in Robust Control of Discrete-Time Linear Stochastic Systems