Automated Control of Transactive HVACs in Energy Distribution Systems