{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T21:38:38Z","timestamp":1783546718545,"version":"3.55.0"},"reference-count":30,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2015,5,1]],"date-time":"2015-05-01T00:00:00Z","timestamp":1430438400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"European Commission (EC) through the Specific Targeted Research Project","award":["MoVeS-257005"],"award-info":[{"award-number":["MoVeS-257005"]}]},{"name":"EC through the Industry-Academia Partnerships and Pathways Project","award":["AMBI-324432"],"award-info":[{"award-number":["AMBI-324432"]}]},{"name":"Netherlands Organisation for Scientific Research through the Innovational Research Incentives Scheme","award":["016.103.020"],"award-info":[{"award-number":["016.103.020"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Contr. Syst. Technol."],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1109\/tcst.2014.2358844","type":"journal-article","created":{"date-parts":[[2014,10,16]],"date-time":"2014-10-16T18:40:31Z","timestamp":1413484831000},"page":"975-990","source":"Crossref","is-referenced-by-count":93,"title":["Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions"],"prefix":"10.1109","volume":"23","author":[{"given":"Sadegh","family":"Esmaeil Zadeh Soudjani","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alessandro","family":"Abate","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2013.2266121"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.enconman.2008.12.012"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6911(89)90106-0"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1979.270177"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2008.42"},{"key":"ref14","first-page":"59","article-title":"Adaptive gridding for abstraction and verification of stochastic hybrid systems","author":"esmaeil zadeh soudjani","year":"2011","journal-title":"Proc 8th Int Conf Quant Eval Syst"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33386-6_32"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1137\/120871456"},{"key":"ref17","first-page":"4232","article-title":"Aggregation of thermostatically controlled loads by formal abstractions","author":"esmaeil zadeh soudjani","year":"2013","journal-title":"Proc Eur Control Conf"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2273300"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5399951"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/PESGM.2012.6345195"},{"key":"ref4","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/59.14584"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718713"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2012.2204261"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/PESGM.2012.6345351"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2011.5990939"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2013.01.001"},{"key":"ref7","author":"billingsley","year":"1995","journal-title":"Probability and Measure"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.03.027"},{"key":"ref9","first-page":"3","article-title":"A generic mean field convergence result for systems of interacting objects","author":"le boudec","year":"2007","journal-title":"Proc 4th Int Conf Quant Eval Syst (QEST)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.16.624-641"},{"key":"ref20","author":"johnson","year":"1997","journal-title":"Discrete Multivariate Distributions"},{"key":"ref22","first-page":"1","article-title":"Modeling and control of aggregated heterogeneous thermostatically controlled loads for ancillary services","author":"koch","year":"2011","journal-title":"Proc 17th Power Syst Comput Conf"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/IREP.2013.6629396"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2012.545"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1985.1104071"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2012.2204074"},{"key":"ref25","first-page":"2519","article-title":"Energy arbitrage with thermostatically controlled loads","author":"mathieu","year":"2013","journal-title":"Proc Eur Control Conf (ECC)"}],"container-title":["IEEE Transactions on Control Systems Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/87\/7087415\/06926825.pdf?arnumber=6926825","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:41:56Z","timestamp":1642005716000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6926825\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5]]},"references-count":30,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tcst.2014.2358844","relation":{},"ISSN":["1063-6536","1558-0865"],"issn-type":[{"value":"1063-6536","type":"print"},{"value":"1558-0865","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,5]]}}}