Nonconvex Thermal Modelling and Energy Optimization for Multizone Commercial Buildings with VAV Type HVAC Units | IEEE Conference Publication | IEEE Xplore