for deterministic systems, with defining proper terminal constraint , terminal cost and local controller we can prove the recursive feasibility and stability of nonlinear system under model predictive control. For stochastic nonlinear system it is impossible to do that since we do not have bounded sets for states.
what is the framework for establishing the recursive feasibility and stability of MPC for stochastic nonlinear systems?