Zhengguo Yang, Toshiaki Aoki, Yasuo Tan. Modeling the Required Indoor Temperature Change by Hybrid Automata for Detecting Thermal Problems. In 23rd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2018, Taipei, Taiwan, December 4-7, 2018. pages 135-144, IEEE, 2018. [doi]
Abstract is missing.