Control and System Theory of Discrete-Time Stochastic Systems