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

Hybrid automata are a formal model for dynamical systems with discrete and continuous components. This paper exploits the capability of hybrid automata to model the required indoor temperature change for comprehensively detecting thermal problems. The requirement is to specify the changes in the indoor temperature by considering thermal discomfort that ranges from uncomfortable to serious. We first devise an example of home appliance control service for indoor temperature adjustment. Then, based on the example, this paper proposes the modeling of the required indoor temperature change by hybrid automata. To this end, we represent different states of the hybrid automata, which correspond to different thermal sensations of indoor temperature change, by resorting to various indices. Then, the required indoor temperature change is prescribed by heat exchange between indoor and outdoor. Experiment results demonstrate the capability of hybrid automata to model the required indoor temperature change.

[1]  Juan Manuel Cueva Lovelle,et al.  IoFClime: The fuzzy logic and the Internet of Things to control indoor temperature regarding the outdoor ambient conditions , 2017, Future Gener. Comput. Syst..

[2]  Sergey Chemishkian.  Building smart services for smart home , 2002, Proceedings 2002 IEEE 4th International Workshop on Networked Appliances (Cat. No.02EX525).

[3]  Azman Osman Lim,et al.  Building High-Accuracy Thermal Simulation for Evaluation of Thermal Comfort in Real Houses , 2013, ICOST.

[4]  Wu Gang,et al.  Hybrid control of greenhouse temperature system based on crop temperature integration theory , 2017, 2017 36th Chinese Control Conference (CCC).

[5]  Shilei Lu,et al.  Productivity model in hot and humid environment based on heat tolerance time analysis , 2009 .

[6]  R. Stull,et al.  Meteorology for Scientists and Engineers , 1999 .

[7]  Olivier Jolliet,et al.  Climate change and health: indoor heat exposure in vulnerable populations. , 2012, Environmental research.

[8]  Myung Hwan Yun,et al.  Development of a temperature control procedure for a room air-conditioner using the concept of just noticeable difference (JND) in thermal sensation , 1998 .

[9]  William J. Fisk,et al.  Review of some effects of climate change on indoor environmental quality and health and associated no-regrets mitigation measures , 2015 .

[10]  John D Spengler,et al.  Climate change, indoor environments, and health. , 2012, Indoor air.

[11]  Simon A. Levin,et al.  Introduction to Mathematics for Life Scientists. , 1972 .

[12]  Alexandre M. Bayen,et al.  Computational techniques for the verification of hybrid systems , 2003, Proc. IEEE.

[13]  W. H. Engelmann,et al.  The National Human Activity Pattern Survey (NHAPS): a resource for assessing exposure to environmental pollutants , 2001, Journal of Exposure Analysis and Environmental Epidemiology.

[14]  Andreas Schwung.  Cyber-physical modeling of compression systems using hybrid automata , 2015, 2015 IEEE International Conference on Automation Science and Engineering (CASE).

[15]  Hassani Messaoud,et al.  Modeling a system with hybrid automata and multi —models , 2017, 2017 International Conference on Control, Automation and Diagnosis (ICCAD).

[16]  Morteza Mohaqeqi,et al.  Sound Test-Suites for Cyber-Physical Systems , 2016, 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE).

[17]  V. Candas,et al.  Ambient temperature and human sleep , 1984, Experientia.

[18]  Nathan Mendes,et al.  Predictive controllers for thermal comfort optimization and energy savings , 2008 .

[19]  A. Rosenfeld,et al.  Estimates of Improved Productivity and Health from Better Indoor Environments , 1997 .

[20]  J. F. Nicol,et al.  Thermal comfort: use of controls in naturally ventilated buildings , 2001 .

[21]  K. Mizuno,et al.  Effects of thermal environment on sleep and circadian rhythm , 2012, Journal of Physiological Anthropology.

[22]  Gadhiraju Venkatarathnam.  The coefficient of performance of an ideal air conditioner , 2009 .

[23]  Olaf Stursberg,et al.  Verification of Embedded Supervisory Controllers Considering Hybrid Plant Dynamics , 2005, Int. J. Softw. Eng. Knowl. Eng..

[24]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[25]  Roland B. Stull,et al.  Wet-Bulb Temperature from Relative Humidity and Air Temperature , 2011 .