Finite-time guaranteed cost control for linear stochastic systems | IEEE Conference Publication | IEEE Xplore