Probabilistic-constrained tracking control for a class of nonlinear stochastic systems with sensor saturation: the finite-horizon | IEEE Conference Publication | IEEE Xplore