Anil Aswani Neal Master Jay Taneja Andrew Krioukov David E. Culler Claire J. Tomlin Quantitative Methods for Comparing Different HVAC Control Schemes http://arxiv.org/abs/1205.6114 2012 CoRR abs/1205.6114 db/journals/corr/corr1205.html#abs-1205-6114