{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:39:58Z","timestamp":1762101598407},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319106953"},{"type":"electronic","value":"9783319106960"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10696-0_6","type":"book-chapter","created":{"date-parts":[[2014,8,27]],"date-time":"2014-08-27T10:33:45Z","timestamp":1409135625000},"page":"57-73","source":"Crossref","is-referenced-by-count":9,"title":["Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads"],"prefix":"10.1007","author":[{"given":"Sadegh","family":"Esmaeil Zadeh Soudjani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Gerwinn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Ellen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Fr\u00e4nzle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Abate","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"624","DOI":"10.3166\/ejc.16.624-641","volume":"6","author":"A. Abate","year":"2010","unstructured":"Abate, A., Katoen, J.-P., Lygeros, J., Prandini, M.: Approximate model checking of stochastic hybrid systems. European Journal of Control\u00a06, 624\u2013641 (2010)","journal-title":"European Journal of Control"},{"issue":"11","key":"6_CR2","doi-asserted-by":"publisher","first-page":"2724","DOI":"10.1016\/j.automatica.2008.03.027","volume":"44","author":"A. Abate","year":"2008","unstructured":"Abate, A., Prandini, M., Lygeros, J., Sastry, S.: Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems. Automatica\u00a044(11), 2724\u20132734 (2008)","journal-title":"Automatica"},{"key":"6_CR3","unstructured":"Abramowitz, M., Stegun, I.A.: Handbook of mathematical functions with formulas, graphs, and mathematical tables. Dover, New York (1964), ninth dover printing, tenth gpo printing edition"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Bashash, S., Fathy, H.K.: Modeling and control insights into demand-side energy management through setpoint control of thermostatic loads. In: Proceedings of the 2011 American Control Conference, pp. 4546\u20134553 (June 2011)","DOI":"10.1109\/ACC.2011.5990939"},{"key":"6_CR5","unstructured":"Bertsekas, D.P., Shreve, S.E.: Stochastic optimal control: the discrete-time case. Athena Scientific (1996)"},{"issue":"5","key":"6_CR6","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/j.peva.2013.01.001","volume":"70","author":"L. Bortolussi","year":"2013","unstructured":"Bortolussi, L., Hillston, J., Latella, D., Massink, M.: Continuous approximation of collective system behaviour: A tutorial. Performance Evaluation\u00a070(5), 317\u2013349 (2013)","journal-title":"Performance Evaluation"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Le Boudec, J.-Y., McDonald, D., Mundinger, J.: A generic mean field convergence result for systems of interacting objects. In: 4th International Conference on the Quantitative Evaluation of SysTems (QEST), pp. 3\u201318 (2007)","DOI":"10.1109\/QEST.2007.8"},{"issue":"5","key":"6_CR8","doi-asserted-by":"publisher","first-page":"1389","DOI":"10.1016\/j.enconman.2008.12.012","volume":"50","author":"D.S. Callaway","year":"2009","unstructured":"Callaway, D.S.: Tapping the energy storage potential in electric loads to deliver load following and regulation, with application to wind energy. Energy Conversion and Management\u00a050(5), 1389\u20131400 (2009)","journal-title":"Energy Conversion and Management"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Chong, C.-Y., Debs, A.S.: Statistical synthesis of power system functional load models. In: 18th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes, vol.\u00a018, pp. 264\u2013269 (1979)","DOI":"10.1109\/CDC.1979.270177"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-33365-1_10","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"C. Ellen","year":"2012","unstructured":"Ellen, C., Gerwinn, S., Fr\u00e4nzle, M.: Confidence bounds for statistical model checking of probabilistic hybrid systems. In: Jurdzi\u0144ski, M., Ni\u010dkovi\u0107, D. (eds.) FORMATS 2012. LNCS, vol.\u00a07595, pp. 123\u2013138. Springer, Heidelberg (2012)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Esmaeil Zadeh Soudjani, S., Abate, A.: Adaptive gridding for abstraction and verification of stochastic hybrid systems. In: Proceedings of the 8th International Conference on Quantitative Evaluation of Systems, pp. 59\u201369 (September 2011)","DOI":"10.1109\/QEST.2011.16"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1007\/978-3-642-33386-6_32","volume-title":"Automated Technology for Verification and Analysis","author":"S. Esmaeil Zadeh Soudjani","year":"2012","unstructured":"Esmaeil Zadeh Soudjani, S., Abate, A.: Higher-order approximations for verification of stochastic hybrid systems. In: Chakraborty, S., Mukund, M. (eds.) ATVA 2012. LNCS, vol.\u00a07561, pp. 416\u2013434. Springer, Heidelberg (2012)"},{"issue":"2","key":"6_CR13","doi-asserted-by":"publisher","first-page":"921","DOI":"10.1137\/120871456","volume":"12","author":"S. Esmaeil Zadeh Soudjani","year":"2013","unstructured":"Esmaeil Zadeh Soudjani, S., Abate, A.: Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes. SIAM Journal on Applied Dynamical Systems\u00a012(2), 921\u2013956 (2013)","journal-title":"SIAM Journal on Applied Dynamical Systems"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Esmaeil Zadeh Soudjani, S., Abate, A.: Aggregation of thermostatically controlled loads by formal abstractions. In: European Control Conference (ECC), Zurich, Switzerland, pp. 4232\u20134237 (July 2013)","DOI":"10.23919\/ECC.2013.6669547"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Esmaeil Zadeh Soudjani, S., Abate, A.: Aggregation and control of populations of thermostatically controlled loads by formal abstractions. IEEE Transactions on Control Systems Technology (accepted, 2014)","DOI":"10.23919\/ECC.2013.6669547"},{"issue":"2","key":"6_CR16","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1109\/TAC.2013.2273300","volume":"59","author":"S. Esmaeil Zadeh Soudjani","year":"2014","unstructured":"Esmaeil Zadeh Soudjani, S., Abate, A.: Probabilistic reach-avoid computation for partially-degenerate stochastic processes. IEEE Transactions on Automatic Control\u00a059(2), 528\u2013534 (2014)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1007\/978-3-540-78929-1_13","volume-title":"Hybrid Systems: Computation and Control","author":"M. Fr\u00e4nzle","year":"2008","unstructured":"Fr\u00e4nzle, M., Hermanns, H., Teige, T.: Stochastic satisfiability modulo theory: A novel technique for the analysis of probabilistic hybrid systems. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol.\u00a04981, pp. 172\u2013186. Springer, Heidelberg (2008)"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Kamgarpour, M., Ellen, C., Esmaeil Zadeh Soudjani, S., Gerwinn, S., Mathieu, J.L., Mullner, N., Abate, A., Callaway, D.S., Franzle, M., Lygeros, J.: Modeling options for demand side participation of thermostatically controlled loads. In: International Conference on Bulk Power System Dynamics and Control (IREP), pp. 1\u201315 (August 2013)","DOI":"10.1109\/IREP.2013.6629396"},{"key":"6_CR19","unstructured":"Koch, S., Mathieu, J.L., Callaway, D.S.: Modeling and control of aggregated heterogeneous thermostatically controlled loads for ancillary services. In: 17th Power Systems Computation Conference, Stockholm, Sweden (August 2011)"},{"issue":"12","key":"6_CR20","doi-asserted-by":"publisher","first-page":"2858","DOI":"10.1109\/TAC.2010.2078170","volume":"55","author":"A. Lecchini Visintini","year":"2010","unstructured":"Lecchini Visintini, A., Lygeros, J., Maciejowski, J.: Stochastic optimization on continuous domains with finite-time guarantees by Markov chain Monte Carlo methods. IEEE Transactions on Automatic Control\u00a055(12), 2858\u20132863 (2010)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"9","key":"6_CR21","doi-asserted-by":"publisher","first-page":"854","DOI":"10.1109\/TAC.1985.1104071","volume":"30","author":"R. Malhame","year":"1985","unstructured":"Malhame, R., Chong, C.-Y.: Electric load model synthesis by diffusion approximation of a high-order hybrid-state stochastic system. IEEE Transactions on Automatic Control\u00a030(9), 854\u2013860 (1985)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Mathieu, J.L., Callaway, D.S.: State estimation and control of heterogeneous thermostatically controlled loads for load following. In: Hawaii International Conference on System Sciences, Hawaii, USA, pp. 2002\u20132011 (2012)","DOI":"10.1109\/HICSS.2012.545"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Mathieu, J.L., Kamgarpour, M., Lygeros, J., Callaway, D.S.: Energy arbitrage with thermostatically controlled loads. In: European Control Conference (ECC), pp. 2519\u20132526 (2013)","DOI":"10.23919\/ECC.2013.6669582"},{"issue":"1","key":"6_CR24","doi-asserted-by":"publisher","first-page":"430","DOI":"10.1109\/TPWRS.2012.2204074","volume":"28","author":"J.L. Mathieu","year":"2013","unstructured":"Mathieu, J.L., Koch, S., Callaway, D.S.: State estimation and control of electric loads to manage real-time energy imbalance. IEEE Transactions on Power Systems\u00a028(1), 430\u2013440 (2013)","journal-title":"IEEE Transactions on Power Systems"},{"issue":"3","key":"6_CR25","doi-asserted-by":"publisher","first-page":"1213","DOI":"10.1109\/59.14584","volume":"3","author":"R.E. Mortensen","year":"1988","unstructured":"Mortensen, R.E., Haggerty, K.P.: A stochastic computer model for heating and cooling loads. IEEE Transactions on Power Systems\u00a03(3), 1213\u20131219 (1988)","journal-title":"IEEE Transactions on Power Systems"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Tkachev, I., Abate, A.: Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems. In: Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Philadelphia, PA, pp. 283\u2013292 (April 2013)","DOI":"10.1145\/2461328.2461372"},{"key":"6_CR27","unstructured":"Vidyasagar, M.: Learning and generalization: with applications to neural networks. Springer (1997)"},{"key":"6_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0005-1098(00)00117-5","volume":"37","author":"M. Vidyasagar","year":"2001","unstructured":"Vidyasagar, M.: Randomized algorithms for robust controller synthesis using statistical learning theory. Automatica\u00a037, 1\u20132 (2001)","journal-title":"Automatica"},{"key":"6_CR29","unstructured":"Zhang, W., Kalsi, K., Fuller, J., Elizondo, M., Chassin, D.: Aggregate model for heterogeneous thermostatically controlled loads with demand response. In: IEEE PES General Meeting, San Diego, CA (July 2012)"},{"issue":"4","key":"6_CR30","doi-asserted-by":"publisher","first-page":"4655","DOI":"10.1109\/TPWRS.2013.2266121","volume":"28","author":"W. Zhang","year":"2013","unstructured":"Zhang, W., Lian, J., Chang, C.-Y., Kalsi, K.: Aggregated modeling and control of air conditioning loads for demand response. IEEE Transactions on Power Systems\u00a028(4), 4655\u20134664 (2013)","journal-title":"IEEE Transactions on Power Systems"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10696-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T13:49:36Z","timestamp":1558964976000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10696-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319106953","9783319106960"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10696-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}