Heating, Ventilating and Air-conditioning (HVAC) control systems play an important role in regulating indoor air temperature to provide building occupants a comfortable environment. Design of HVAC control system to provide an optimal balance between comfort and energy usage is a challenging problem. This paper presents a framework for control of building HVAC systems using a methodology based on power shaping paradigm that exploits passivity theory. The controller design uses Brayton-Moser formulation for the system dynamics wherein the mixed potential function is the power function and the power shaping technique is used to synthesize the controller by assigning a desired power function to the closed loop dynamics so as to make the equilibrium point asymptotically stable. The methodology is demonstrated using two example HVAC subsystems - a two-zone building system and a heat exchanger system. © 2016 American Automatic Control Council (AACC).