Functional observer design for linear discrete-time stochastic system | IEEE Conference Publication | IEEE Xplore