Constrained Kalman Filter for Identification of Semiphysical Building Thermal Models | IEEE Journals & Magazine | IEEE Xplore