{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:14:21Z","timestamp":1750306461781,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,11,4]],"date-time":"2015-11-04T00:00:00Z","timestamp":1446595200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"The Berkeley Education Alliance for Research in Singapore (BEARS) Center"},{"name":"The TerraSwarm Research Center"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,11,4]]},"DOI":"10.1145\/2821650.2821658","type":"proceedings-article","created":{"date-parts":[[2015,11,3]],"date-time":"2015-11-03T20:02:09Z","timestamp":1446580929000},"page":"167-176","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["A Contract-based Framework for Integrated Demand Response Management in Smart Grids"],"prefix":"10.1145","author":[{"given":"Baihong","family":"Jin","sequence":"first","affiliation":[{"name":"University of California, Berkeley, Berkeley, CA, USA"}]},{"given":"Pierluigi","family":"Nuzzo","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, Berkeley, CA, USA"}]},{"given":"Mehdi","family":"Maasoumy","sequence":"additional","affiliation":[{"name":"C3 Energy, Redwood City, CA, USA"}]},{"given":"Yuxun","family":"Zhou","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, Berkeley, CA, USA"}]},{"given":"Alberto","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, Berkeley, CA, USA"}]}],"member":"320","published-online":{"date-parts":[[2015,11,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.enconman.2008.12.012"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2010.2081652"},{"key":"e_1_3_2_1_3_1","first-page":"103","volume-title":"Smart buildings in the smart grid: Contract-based design of an integrated energy management system,\" in Cyber Physical Systems Approach to Smart Electric Power Grid","author":"Maasoumy M.","year":"2015","unstructured":"M. Maasoumy , P. Nuzzo , and A. Sangiovanni-Vincentelli , \" Smart buildings in the smart grid: Contract-based design of an integrated energy management system,\" in Cyber Physical Systems Approach to Smart Electric Power Grid . Springer , 2015 , pp. 103 -- 132 . M. Maasoumy, P. Nuzzo, and A. Sangiovanni-Vincentelli, \"Smart buildings in the smart grid: Contract-based design of an integrated energy management system,\" in Cyber Physical Systems Approach to Smart Electric Power Grid. Springer, 2015, pp. 103--132."},{"key":"e_1_3_2_1_4_1","first-page":"551","article-title":"A generalized battery model of a collection of thermostatically controlled loads for providing ancillary service","author":"Hao H.","year":"2013","unstructured":"H. Hao , B. M. Sanandaji , K. Poolla , and T. L. Vincent , \" A generalized battery model of a collection of thermostatically controlled loads for providing ancillary service .\" in Allerton , 2013 , pp. 551 -- 558 . H. Hao, B. M. Sanandaji, K. Poolla, and T. L. Vincent, \"A generalized battery model of a collection of thermostatically controlled loads for providing ancillary service.\" in Allerton, 2013, pp. 551--558.","journal-title":"Allerton"},{"key":"e_1_3_2_1_5_1","first-page":"A001","volume-title":"American Society of Mechanical Engineers","author":"Moura S.","year":"2013","unstructured":"S. Moura , V. Ruiz , and J. Bendsten , \" Modeling heterogeneous populations of thermostatically controlled loads using diffusion-advection pdes,\" in ASME 2013 Dynamic Systems and Control Conference . American Society of Mechanical Engineers , 2013 , pp. V002T23 A001 -- V002T 23A001. S. Moura, V. Ruiz, and J. Bendsten, \"Modeling heterogeneous populations of thermostatically controlled loads using diffusion-advection pdes,\" in ASME 2013 Dynamic Systems and Control Conference. American Society of Mechanical Engineers, 2013, pp. V002T23A001--V002T23A001."},{"volume-title":"Optimal charging of vehicle-to-grid fleets via pde aggregation techniques,\" Power","author":"Le Floch C.","key":"e_1_3_2_1_6_1","unstructured":"C. Le Floch , F. di Meglio , and S. Moura , \" Optimal charging of vehicle-to-grid fleets via pde aggregation techniques,\" Power , vol. 1000 , p. 1100. C. Le Floch, F. di Meglio, and S. Moura, \"Optimal charging of vehicle-to-grid fleets via pde aggregation techniques,\" Power, vol. 1000, p. 1100."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpowsour.2011.06.025"},{"key":"e_1_3_2_1_8_1","first-page":"1082","volume-title":"IEEE","author":"Maasoumy M.","year":"2014","unstructured":"M. Maasoumy , C. Rosenberg , A. Sangiovanni-Vincentelli , and D. S. Callaway , \" Model predictive control approach to online computation of demand-side flexibility of commercial buildings HVAC systems for supply following,\" in American Control Conference (ACC), 2014 . IEEE , 2014 , pp. 1082 -- 1089 . M. Maasoumy, C. Rosenberg, A. Sangiovanni-Vincentelli, and D. S. Callaway, \"Model predictive control approach to online computation of demand-side flexibility of commercial buildings HVAC systems for supply following,\" in American Control Conference (ACC), 2014. IEEE, 2014, pp. 1082--1089."},{"key":"e_1_3_2_1_9_1","first-page":"1","article-title":"Integrating large shares of heterogeneous thermal loads in power system frequency control,\" in PowerTech, 2015 IEEE Eindhoven","author":"Vrettos E.","year":"2015","unstructured":"E. Vrettos , C. Ziras , and G. Andersson , \" Integrating large shares of heterogeneous thermal loads in power system frequency control,\" in PowerTech, 2015 IEEE Eindhoven . IEEE , 2015 , pp. 1 -- 6 . E. Vrettos, C. Ziras, and G. Andersson, \"Integrating large shares of heterogeneous thermal loads in power system frequency control,\" in PowerTech, 2015 IEEE Eindhoven. IEEE, 2015, pp. 1--6.","journal-title":"IEEE"},{"key":"e_1_3_2_1_10_1","first-page":"1","volume-title":"2012 3rd IEEE PES International Conference and Exhibition on. IEEE","author":"Vrettos E.","year":"2012","unstructured":"E. Vrettos , S. Koch , and G. Andersson , \" Load frequency control by aggregations of thermally stratified electric water heaters,\" in Innovative Smart Grid Technologies (ISGT Europe) , 2012 3rd IEEE PES International Conference and Exhibition on. IEEE , 2012 , pp. 1 -- 8 . E. Vrettos, S. Koch, and G. Andersson, \"Load frequency control by aggregations of thermally stratified electric water heaters,\" in Innovative Smart Grid Technologies (ISGT Europe), 2012 3rd IEEE PES International Conference and Exhibition on. IEEE, 2012, pp. 1--8."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.18.217-238"},{"key":"e_1_3_2_1_12_1","volume-title":"Rapport de recherche RR-8147","author":"Benveniste A.","year":"2012","unstructured":"A. Benveniste , B. Caillaud , D. Nickovic , R. Passerone , J.-B. Raclet , P. Reinkemeier phet al., \"Contracts for System Design,\" INRIA , Rapport de recherche RR-8147 , Nov. 2012 . A. Benveniste, B. Caillaud, D. Nickovic, R. Passerone, J.-B. Raclet, P. Reinkemeier phet al., \"Contracts for System Design,\" INRIA, Rapport de recherche RR-8147, Nov. 2012."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2013.2295764"},{"key":"e_1_3_2_1_14_1","volume-title":"EECS Department","author":"Nuzzo P.","year":"2015","unstructured":"P. Nuzzo , \"Compositional design of cyber-physical systems using contracts,\" Ph. D. dissertation , EECS Department , University of California , Berkeley, Aug 2015 . {Online}. Available: http:\/\/www.eecs.berkeley.edu\/Pubs\/TechRpts\/2015\/EECS-2015--189.html P. Nuzzo, \"Compositional design of cyber-physical systems using contracts,\" Ph.D. dissertation, EECS Department, University of California, Berkeley, Aug 2015. {Online}. Available: http:\/\/www.eecs.berkeley.edu\/Pubs\/TechRpts\/2015\/EECS-2015--189.html"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2004.824309"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(01)00059-0"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00178-2"},{"key":"e_1_3_2_1_18_1","first-page":"1082","volume-title":"IEEE","author":"Maasoumy M.","year":"2014","unstructured":"M. Maasoumy , C. Rosenberg , A. Sangiovanni-Vincentelli , and D. S. Callaway , \" Model predictive control approach to online computation of demand-side flexibility of commercial buildings HVAC systems for supply following,\" in American Control Conference (ACC), 2014 . IEEE , 2014 , pp. 1082 -- 1089 . M. Maasoumy, C. Rosenberg, A. Sangiovanni-Vincentelli, and D. S. Callaway, \"Model predictive control approach to online computation of demand-side flexibility of commercial buildings HVAC systems for supply following,\" in American Control Conference (ACC), 2014. IEEE, 2014, pp. 1082--1089."},{"key":"e_1_3_2_1_19_1","first-page":"467","volume-title":"IEEE","author":"Hao H.","year":"2013","unstructured":"H. Hao , A. Kowli , Y. Lin , P. Barooah , and S. Meyn , \" Ancillary service for the grid via control of commercial building HVAC systems,\" in American Control Conference (ACC), 2013 . IEEE , 2013 , pp. 467 -- 472 . H. Hao, A. Kowli, Y. Lin, P. Barooah, and S. Meyn, \"Ancillary service for the grid via control of commercial building HVAC systems,\" in American Control Conference (ACC), 2013. IEEE, 2013, pp. 467--472."},{"key":"e_1_3_2_1_20_1","first-page":"271","volume-title":"American Society of Mechanical Engineers","author":"Maasoumy M.","year":"2011","unstructured":"M. Maasoumy , A. Pinto , and A. Sangiovanni-Vincentelli , \" Model-based hierarchical optimal control design for hvac systems,\" in ASME 2011 Dynamic Systems and Control Conference and Bath\/ASME Symposium on Fluid Power and Motion Control . American Society of Mechanical Engineers , 2011 , pp. 271 -- 278 . M. Maasoumy, A. Pinto, and A. Sangiovanni-Vincentelli, \"Model-based hierarchical optimal control design for hvac systems,\" in ASME 2011 Dynamic Systems and Control Conference and Bath\/ASME Symposium on Fluid Power and Motion Control. American Society of Mechanical Engineers, 2011, pp. 271--278."},{"key":"e_1_3_2_1_21_1","first-page":"284","volume-title":"2004 IEEE International Symposium on. IEEE","author":"L\u00f6fberg J.","year":"2004","unstructured":"J. L\u00f6fberg , \"Yalmip : A toolbox for modeling and optimization in matlab,\" in Computer Aided Control Systems Design , 2004 IEEE International Symposium on. IEEE , 2004 , pp. 284 -- 289 . J. L\u00f6fberg, \"Yalmip: A toolbox for modeling and optimization in matlab,\" in Computer Aided Control Systems Design, 2004 IEEE International Symposium on. IEEE, 2004, pp. 284--289."},{"key":"e_1_3_2_1_22_1","unstructured":"G. Optimization phet al. \"Gurobi optimizer reference manual \" http:\/\/www.gurobi.com 2012.  G. Optimization phet al. \"Gurobi optimizer reference manual \" http:\/\/www.gurobi.com 2012."},{"key":"e_1_3_2_1_23_1","unstructured":"T. Mathworks \"Fmincon r2012a documentation.\"  T. Mathworks \"Fmincon r2012a documentation.\""}],"event":{"name":"BuildSys '15: The 2nd ACM International Conference on Embedded Systems for Energy-Efficient Built Environments","sponsor":["SIGMETRICS ACM Special Interest Group on Measurement and Evaluation","SIGCOMM ACM Special Interest Group on Data Communication","SIGMOBILE ACM Special Interest Group on Mobility of Systems, Users, Data and Computing","SIGOPS ACM Special Interest Group on Operating Systems","SIGBED ACM Special Interest Group on Embedded Systems","SIGARCH ACM Special Interest Group on Computer Architecture"],"location":"Seoul South Korea","acronym":"BuildSys '15"},"container-title":["Proceedings of the 2nd ACM International Conference on Embedded Systems for Energy-Efficient Built Environments"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2821650.2821658","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2821650.2821658","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:43:33Z","timestamp":1750225413000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2821650.2821658"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11,4]]},"references-count":23,"alternative-id":["10.1145\/2821650.2821658","10.1145\/2821650"],"URL":"https:\/\/doi.org\/10.1145\/2821650.2821658","relation":{},"subject":[],"published":{"date-parts":[[2015,11,4]]},"assertion":[{"value":"2015-11-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}