Simulation study of transactive control strategies for residential HVAC systems | IEEE Conference Publication | IEEE Xplore