Stochastic model predictive control for chiller systems using machine-learning models with quantified prediction uncertainty