Stochastic Decomposition w. Controller