Mô hình hóa và điều khiển tối ưu cho hệ thống điều hòa không khí