Gửi tin nhắn: A branch and bound approach for building cooling supply control with hybrid model predictive control