Optimal Feedback Control for HVAC Systems: An Integral Sliding Mode Control Approach Based on Barrier Function | Synapse