Online Optimization of Heat Pump Systems for Building Heating based on Lyapunov Method | IEEE Conference Publication | IEEE Xplore