A reduced model for direct expansion air conditioning system and energy efficiency MPC control of indoor climate | IEEE Conference Publication | IEEE Xplore