A Model Predictive Approach for Ventilation System Control in Energy Efficient Buildings | IEEE Conference Publication | IEEE Xplore