Receding horizon climate control in metal mine extraction rooms | IEEE Conference Publication | IEEE Xplore