FDES automata combination and its application in the air conditioning control | IEEE Conference Publication | IEEE Xplore