Lyapunov-based stochastic nonlinear model predictive control: Shaping the state probability distribution functions | IEEE Conference Publication | IEEE Xplore