{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T15:14:45Z","timestamp":1730214885067,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/distra.2018.8601005","type":"proceedings-article","created":{"date-parts":[[2019,1,9]],"date-time":"2019-01-09T01:16:30Z","timestamp":1546996590000},"page":"1-10","source":"Crossref","is-referenced-by-count":2,"title":["Multiple Conformance to Hybrid Automata for Checking Smart House Temperature Change"],"prefix":"10.1109","author":[{"given":"Zhengguo","family":"Yang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Toshiaki","family":"Aoki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yasuo","family":"Tan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/CCDC.2018.8407186"},{"key":"ref10","first-page":"1929","volume":"32","author":"venkatarathnam","year":"2009","journal-title":"The coefficient of performance of an ideal air conditioner"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","article-title":"Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems","volume":"763","author":"alur","year":"1993","journal-title":"Hybrid Systems IV Lecture Notes in Computer Science"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"2202","DOI":"10.1016\/j.buildenv.2009.01.003","article-title":"Productivity model in hot and humidity environment based on heat tolerance time analysis","volume":"44","author":"jing","year":"2009","journal-title":"Building and Environment"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61869-7"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-8141(97)00009-7"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39470-6_20"},{"journal-title":"Test-based falsification and conformance testing for cyber-physical systems","year":"2015","author":"abbas","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1038\/sj.jea.7500165"},{"journal-title":"National Institute for Occupational Safety and Health Revised Criteria","article-title":"Department of health and human services, Occupational Exposure to Heat and Hot Environments","year":"2016","key":"ref18"},{"journal-title":"Ergonomics of the thermal environment - Determination and interpretation of cold stress when using required clothing insulation(Ireq) and local cooling effects ISO 11079","year":"2007","key":"ref19"},{"key":"ref28","first-page":"76","article-title":"Timed Automata Can Always Be Made Implementable","author":"patricia","year":"2011","journal-title":"the 22nd Internal Conference on Concurrency Theory"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1186\/1880-6805-31-14","article-title":"Effects of thermal environment on sleep and circadian rhythm","volume":"31","author":"okamoto-mizuno","year":"2012","journal-title":"Journal of PHYSIOLOGICAL ANTHROPOLOGY"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2016.10.272"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1111\/j.1600-0668.1997.t01-1-00002.x"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"key":"ref29","article-title":"SmartHome: a domotic framework based on smart sensing and actuator network to reduce energy wastes","author":"francesco santamaria","year":"2014","journal-title":"Proc SPIE 9103 Wireless Sensing Localization and Processing IX"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/BF01952376"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.33"},{"journal-title":"ASHRAE Standard 55–2010","article-title":"Thermal Environmental Conditions for Human Occupancy","year":"0","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.buildenv.2014.12.024"},{"key":"ref9","first-page":"53","article-title":"Meteorology for Scientists and Engineers","author":"stull","year":"2011","journal-title":"University of British Columbia"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.envres.2015.12.012"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1090\/conm\/280\/04630","article-title":"A survey of model reduction methods for large-scale systems","volume":"280","author":"antoulas","year":"2000","journal-title":"Contemporary Mathematics"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739350"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/11603009_18"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/IWNA.2001.980856"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61869-7"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.08.029"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.4018\/jwsr.2008010105"}],"event":{"name":"2018 IEEE\/ACM 22nd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","start":{"date-parts":[[2018,10,15]]},"location":"Madrid","end":{"date-parts":[[2018,10,17]]}},"container-title":["2018 IEEE\/ACM 22nd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8580350\/8600920\/08601005.pdf?arnumber=8601005","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,25]],"date-time":"2022-01-25T22:23:53Z","timestamp":1643149433000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8601005\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/distra.2018.8601005","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}