tokens: The general formulation for designing a model predictive controller ( MPC ) to minimize the HVAC 's energy cost while guaranteeing thermal comfort is exhibited in HVAC problem with constraints imposed by ( i ) zone thermal dynamics ( coupled , nonlinear and nonvex ) thermal dynamics , ( ii ) comfortable temperature ranges thermal comfort , and ( iii ) operation limits of the local variable air box zone air flow rate .