Online Energy Management for a Sustainable Smart Home With an HVAC Load and Random Occupancy | IEEE Journals & Magazine | IEEE Xplore