Modeling the Required Indoor Temperature Change by Hybrid Automata for Detecting Thermal Problems.

Zhengguo Yang, Toshiaki Aoki, Yasuo Tan

Browse the full PRDC paper archive.