This document is a dissertation submitted to Ryerson University in partial fulfillment of the requirements for a Doctor of Philosophy degree. It presents research on modeling and control design of residential HVAC systems for operating cost reduction. The dissertation describes developing gray-box models of the major HVAC subsystems of a test building using first principles and measured data. It then designs a supervisory model predictive controller using the developed models to reduce energy costs by shifting loads to off-peak periods. Simulation results showed the controller achieved at least 16% cost savings compared to the existing on/off control strategy.