{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T11:05:01Z","timestamp":1767611101038,"version":"3.37.3"},"reference-count":75,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T00:00:00Z","timestamp":1535760000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100001381","name":"National Research Foundation Singapore","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001381","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Terra-Swarm Research Center, one of six centers"},{"name":"STARnet phase of the Focus Center Research Program (FCRP), a Semiconductor Research Corporation program"},{"DOI":"10.13039\/100007245","name":"Microelectronics Advanced Research Corporation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100007245","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]},{"name":"BEARS"},{"DOI":"10.13039\/100006978","name":"University of California Berkeley","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006978","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. IEEE"],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/jproc.2018.2856932","type":"journal-article","created":{"date-parts":[[2018,9,17]],"date-time":"2018-09-17T18:37:36Z","timestamp":1537209456000},"page":"1680-1699","source":"Crossref","is-referenced-by-count":65,"title":["Design Automation for Smart Building Systems"],"prefix":"10.1109","volume":"106","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9662-9556","authenticated-orcid":false,"given":"Ruoxi","family":"Jia","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4130-832X","authenticated-orcid":false,"given":"Baihong","family":"Jin","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7909-4545","authenticated-orcid":false,"given":"Ming","family":"Jin","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4258-2179","authenticated-orcid":false,"given":"Yuxun","family":"Zhou","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8625-9723","authenticated-orcid":false,"given":"Ioannis C.","family":"Konstantakopoulos","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8063-5211","authenticated-orcid":false,"given":"Han","family":"Zou","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7614-5906","authenticated-orcid":false,"given":"Joyce","family":"Kim","sequence":"additional","affiliation":[]},{"given":"Dan","family":"Li","sequence":"additional","affiliation":[]},{"given":"Weixi","family":"Gu","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0691-5426","authenticated-orcid":false,"given":"Reza","family":"Arghandeh","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2984-0364","authenticated-orcid":false,"given":"Pierluigi","family":"Nuzzo","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1285-5682","authenticated-orcid":false,"given":"Stefano","family":"Schiavon","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1298-8389","authenticated-orcid":false,"given":"Alberto L.","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[]},{"given":"Costas J.","family":"Spanos","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1080\/19401493.2013.808265"},{"key":"ref72","first-page":"173","article-title":"Functional mockup interface 2.0: The standard for tool independent exchange of simulation models","volume":"76","author":"blochwitz","year":"2012","journal-title":"Proc of the 9th Int Modelica Conf"},{"key":"ref71","article-title":"Optimized design of a human Intranet network","author":"moin","year":"2017","journal-title":"Proc Design Autom Conf"},{"key":"ref70","article-title":"Optimized selection of wireless network topologies and components via efficient pruning of feasible paths","author":"kirov","year":"2018","journal-title":"Proc Design Autom Conf"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1016\/j.enbuild.2013.08.042"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2006.12.001"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1016\/j.strusafe.2018.03.005"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2015.2417501"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TWC.2015.2487963"},{"key":"ref32","first-page":"1","article-title":"Wireless networked lighting systems for optimizing energy savings and user satisfaction","author":"wen","year":"2008","journal-title":"Proc IEEE Wireless Hive Netw Conf (WHNC)"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/S0360-1323(03)00130-6"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.buildenv.2011.11.008"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2015.2417501"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.enbuild.2014.06.042"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2013.2243743"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1080\/10789669.2005.10391133"},{"key":"ref60","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1145\/2642937.2643005","article-title":"Multi-objective optimization in rule-based design space exploration","author":"abdeen","year":"2014","journal-title":"Proc ACM\/IEEE Int Conf Autom Softw Eng"},{"year":"2017","key":"ref62"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024818"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1016\/j.buildenv.2017.01.015"},{"key":"ref28","first-page":"463","article-title":"Rademacher and Gaussian complexities: Risk bounds and structural results","volume":"3","author":"bartlett","year":"2002","journal-title":"J Mach Learn Res"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1080\/19401493.2013.765506"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1109\/JPROC.2006.890107","article-title":"Quo vadis, SLD? Reasoning about the trends and challenges of system level design","volume":"95","author":"sangiovanni-vincentelli","year":"2007","journal-title":"Proc IEEE"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1016\/j.apenergy.2016.08.079"},{"key":"ref66","first-page":"216","article-title":"A mixed discrete-continuous optimization scheme for cyber-physical system architecture exploration","author":"finn","year":"2015","journal-title":"Proc IEEE\/ACM Int Conf Comput -Aided Design"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1016\/j.enbuild.2012.10.044","article-title":"Optimizing building comfort temperature regulation via model predictive control","volume":"57","author":"redondo","year":"2013","journal-title":"Energy Buildings"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2013.2295764"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2015.0913"},{"key":"ref69","first-page":"1","article-title":"ArchEx: An extensible framework for the exploration of cyber-physical system architectures","author":"kirov","year":"2017","journal-title":"Proc Design Autom Conf"},{"journal-title":"Commercial Buildings Energy Consumption Survey (CBECS)","year":"2015","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1038\/sj.jea.7500165"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/43.898830"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/996566.996684"},{"key":"ref21","doi-asserted-by":"crossref","DOI":"10.1201\/9781420038163.ch22","article-title":"Platform-based design for embedded systems","author":"sgroi","year":"2005"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/JSEN.2012.2211098"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2453253"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/3-540-45449-7_16","article-title":"System-level types for component-based design","author":"lee","year":"2001","journal-title":"Proc 1st Int Workshop Embedded Software"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/2.585163"},{"year":"2013","key":"ref50"},{"year":"2017","key":"ref51"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/2594771"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1080\/19401490902818259"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1016\/S0378-7788(00)00114-6"},{"key":"ref56","first-page":"430","article-title":"Learning optimization friendly comfort model for HVAC model predictive control","author":"zhou","year":"2015","journal-title":"Proc of IEEE Intl Conf on Data Mining (ICDM"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.3182\/20110828-6-IT-1002.03811"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1016\/j.buildenv.2017.01.014"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1111\/ina.12352"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1016\/j.buildenv.2014.10.026"},{"year":"2017","key":"ref10"},{"year":"2017","key":"ref11"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.measurement.2014.05.029"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/IGCC.2013.6604519"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.3390\/s16040472"},{"key":"ref14","first-page":"1","article-title":"Sensing by proxy: Occupancy detection based on indoor CO2 concentration","author":"jin","year":"2015","journal-title":"Proc 9th Int Conf Mobile Ubiquitous Comput Syst Services Technol (UBICOMM)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2012.2201130"},{"key":"ref16","first-page":"25","article-title":"The art and science of integrated systems design","author":"carloni","year":"2002","journal-title":"Proc 28th Eur Solid-State Circuits Conf (ESSCIRC)"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2009.2039550"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s11036-006-7194-1"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1999.808256"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.buildenv.2013.06.008"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1111\/j.1600-0668.2011.00745.x"},{"key":"ref6","first-page":"1","article-title":"Smart sensor network for smart buildings","author":"lobachev","year":"2016","journal-title":"Proc IEEE 7th Annu Inf Technol Electron Mobile Commun Conf (IEMCON)"},{"journal-title":"World Green Building Trends 2016 Smartmarket Report","year":"2016","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.apenergy.2013.01.039"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1145\/2821650.2830311","article-title":"XBOS: An extensible building operating system","author":"fierro","year":"2015","journal-title":"Proc 2nd ACM Int Conf Embedded Syst Energy-Efficient Built Environ"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2008.110"},{"journal-title":"Design Thinking","year":"1991","author":"rowe","key":"ref9"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/S0378-7788(98)00029-2"},{"key":"ref45","first-page":"100","article-title":"APEC: Auto planner for efficient configuration of indoor positioning system","author":"jin","year":"2015","journal-title":"Proc 9th Int Conf Mobile Ubiquitous Comput Syst Services Technol (UBICOMM)"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/54.970421"},{"key":"ref47","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1080\/10789669.2011.592105","article-title":"Room air stratification in combined chilled ceiling and displacement ventilation systems","volume":"18","author":"schiavon","year":"2012","journal-title":"HVAC R Res"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2017.2699163"},{"key":"ref41","first-page":"1","article-title":"Smart building energy efficiency via social game: a robust utility learning framework for closing–the–loop","author":"konstantakopoulos","year":"2016","journal-title":"Proc 1st Int Workshop Sci Smart City Oper Platforms Eng (SCOPE) Partnership Global City Teams Challenge (GCTC)(SCOPE-GCTC)"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref44"},{"article-title":"Building-in-briefcase (BiB)","year":"2014","author":"weekly","key":"ref43"}],"container-title":["Proceedings of the IEEE"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/5\/8466984\/08466990.pdf?arnumber=8466990","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T12:25:03Z","timestamp":1720614303000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8466990\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":75,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/jproc.2018.2856932","relation":{},"ISSN":["0018-9219","1558-2256"],"issn-type":[{"type":"print","value":"0018-9219"},{"type":"electronic","value":"1558-2256"}],"subject":[],"published":{"date-parts":[[2018,9]]}}}