{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T18:34:47Z","timestamp":1754159687126,"version":"3.41.2"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,2,1]],"date-time":"2020-02-01T00:00:00Z","timestamp":1580515200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,2,1]],"date-time":"2020-02-01T00:00:00Z","timestamp":1580515200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,2]]},"DOI":"10.1109\/isgt45199.2020.9087722","type":"proceedings-article","created":{"date-parts":[[2020,5,7]],"date-time":"2020-05-07T22:28:28Z","timestamp":1588890508000},"page":"1-5","source":"Crossref","is-referenced-by-count":2,"title":["Signal Temporal Logic Control for Residential HVAC Systems to Accommodate High Solar PV Penetration"],"prefix":"10.1109","author":[{"given":"Tumin","family":"Wu","sequence":"first","affiliation":[{"name":"University of Tennessee,Knoxville,TN,USA,37996"}]},{"given":"Mohammed M.","family":"Olama","sequence":"additional","affiliation":[{"name":"Oak Ridge National Laboratory,Oak Ridge,TN,USA,37831"}]},{"given":"Seddik M.","family":"Djouadi","sequence":"additional","affiliation":[{"name":"University of Tennessee,Knoxville,TN,USA,37996"}]},{"given":"Jin","family":"Dong","sequence":"additional","affiliation":[{"name":"Oak Ridge National Laboratory,Oak Ridge,TN,USA,37831"}]},{"given":"Yaosuo","family":"Xue","sequence":"additional","affiliation":[{"name":"Oak Ridge National Laboratory,Oak Ridge,TN,USA,37831"}]},{"given":"Teja","family":"Kuruganti","sequence":"additional","affiliation":[{"name":"Oak Ridge National Laboratory,Oak Ridge,TN,USA,37831"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(99)00214-9"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2012.2204074"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ISGT.2019.8791614"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2017.2758358"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739370"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.enconman.2008.12.012"},{"key":"ref4","first-page":"138","article-title":"Information Administration, “Monthly Energy Review","author":"energy","year":"2019","journal-title":"Technical Report"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2017.7962924"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTCC.2017.8107126"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/MCS.2014.2333272","article-title":"A plug and play computationally efficient approach for control design of large scale nonlinear systems using co-simulation: A combination of two ingredients","volume":"34","author":"baldi","year":"2014","journal-title":"IEEE Control Systems"},{"key":"ref8","article-title":"Model- free control of building HVAC systems to accommodate solar photovoltaic energy","author":"telsang","year":"2018","journal-title":"Proc of the 9th IEEE Int Symp on Power Electronics for Distributed Generation Systems (PEDG)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2017.8062772"},{"key":"ref2","volume":"87","author":"bird","year":"2015","journal-title":"Integrating Variable Renewable Energy Challenges and Solutions"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.enpol.2015.02.031"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/PEDG.2018.8447840"}],"event":{"name":"2020 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference (ISGT)","start":{"date-parts":[[2020,2,17]]},"location":"Washington, DC, USA","end":{"date-parts":[[2020,2,20]]}},"container-title":["2020 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference (ISGT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9078689\/9087632\/09087722.pdf?arnumber=9087722","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,25]],"date-time":"2025-07-25T17:53:54Z","timestamp":1753466034000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9087722\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/isgt45199.2020.9087722","relation":{},"subject":[],"published":{"date-parts":[[2020,2]]}}}