On the sample size of randomized MPC for chance-constrained systems with application to building climate control | IEEE Conference Publication | IEEE Xplore