Paper Info
Title
Modeling the Required Indoor Temperature Change by Hybrid Automata for Detecting Thermal Problems
Abstract
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.
Year
DOI
Venue
2018
10.1109/PRDC.2018.00024
2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC)
Keywords
Field
DocType
Temperature sensors,Automata,Heating systems,Temperature distribution,Temperature measurement,Home appliances
Thermal,Computer science,Automaton,Real-time computing,Dynamical systems theory,Heat exchanger,Temperature measurement,Home appliance
Conference
ISSN
ISBN
Citations 
1555-094X
978-1-5386-5700-3
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
Zhengguo Yang121.52
Toshiaki Aoki25716.68
Yasuo Tan315125.41