Optimal co-scheduling of HVAC control and battery management for energy-efficient buildings considering state-of-health degradation | IEEE Conference Publication | IEEE Xplore