A class of mixed logical system and using in energy-saving control of central air conditioning | IEEE Conference Publication | IEEE Xplore