1: \begin{abstract}

2: In this paper, we address energy management for

3: heating, ventilation, and air-conditioning (HVAC) systems in buildings, 

4: and present a novel combined optimization and control approach.

5: We first formulate a thermal dynamics and an associated optimization problem. 

6: An optimization dynamics is then designed based on a standard primal-dual algorithm, and its 

7: strict passivity is proved.

8: We then design a local controller and prove that the physical dynamics

9: with the controller is ensured to be passivity-short.

10: Based on these passivity results, we interconnect the optimization and

11: physical dynamics, and prove convergence of the room temperatures to

12: the optimal ones defined for unmeasurable disturbances.

13: Finally, we demonstrate the present algorithms through simulation.

14: \end{abstract}