Modeling and control for greenhouse temperature system based on hybrid automata | IEEE Conference Publication | IEEE Xplore