{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T18:30:17Z","timestamp":1761676217412,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,12]],"date-time":"2014-10-12T00:00:00Z","timestamp":1413072000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["HR0011-12-2-0016"],"award-info":[{"award-number":["HR0011-12-2-0016"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000028","name":"Semiconductor Research Corporation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000028","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,10,12]]},"DOI":"10.1145\/2656045.2656069","type":"proceedings-article","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T12:29:24Z","timestamp":1413289764000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing"],"prefix":"10.1145","author":[{"given":"Alberto","family":"Puggelli","sequence":"first","affiliation":[{"name":"University of California, Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto L.","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[{"name":"University of California, Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sanjit A.","family":"Seshia","sequence":"additional","affiliation":[{"name":"University of California, Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/210332.210339"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211866"},{"key":"e_1_3_2_1_3_1","first-page":"499","volume-title":"of FSTTCS, ser. LNCS","author":"Bianco A.","year":"1995","unstructured":"A. Bianco and L. de Alfaro , \"Model Checking of Probabilistic and Nondeterministic Systems,\" in Proc. of FSTTCS, ser. LNCS . Springer Berlin Heidelberg , 1995 , vol. 1026 , pp. 499 -- 513 . A. Bianco and L. de Alfaro, \"Model Checking of Probabilistic and Nondeterministic Systems,\" in Proc. of FSTTCS, ser. LNCS. Springer Berlin Heidelberg, 1995, vol. 1026, pp. 499--513."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316887","volume-title":"Markov Decision Processes: Discrete Stochastic Dynamic Programming","author":"Puterman M.","year":"1994","unstructured":"M. Puterman , Markov Decision Processes: Discrete Stochastic Dynamic Programming . John Wiley and Sons , 1994 . M. Puterman, Markov Decision Processes: Discrete Stochastic Dynamic Programming. John Wiley and Sons, 1994."},{"key":"e_1_3_2_1_5_1","volume-title":"World Energy Outlook","author":"\"International Energy Agency","year":"2009","unstructured":"\"International Energy Agency , World Energy Outlook 2009 .\" {Online}: http:\/\/www.worldenergyoutlook.org\/docs\/weo2009\/WEO2009_es_english.pdf. \"International Energy Agency, World Energy Outlook 2009.\" {Online}: http:\/\/www.worldenergyoutlook.org\/docs\/weo2009\/WEO2009_es_english.pdf."},{"key":"e_1_3_2_1_6_1","volume-title":"An Inconvenient Truth","author":"Gore A.","year":"2006","unstructured":"A. Gore , An Inconvenient Truth . New York : Rodale , 2006 . A. Gore, An Inconvenient Truth. New York: Rodale, 2006."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2010.2080250"},{"key":"e_1_3_2_1_9_1","first-page":"1","volume-title":"Proc. of PSCC","author":"Koch S.","year":"2011","unstructured":"S. Koch Proc. of PSCC , pp. 1 -- 7 , 2011 . S. Koch et al., \"Modeling and Control of Aggregated Heterogeneous Thermostatically Controlled Loads for Ancillary Services,\" Proc. of PSCC, pp. 1--7, 2011."},{"key":"e_1_3_2_1_10_1","first-page":"461","article-title":"Multiple Timescale Dispatch and Scheduling for Stochastic Reliability in Smart Grids with Wind Generation Integration","author":"He M.","year":"2011","unstructured":"M. He , S. Murugesan , and J. Zhang , \" Multiple Timescale Dispatch and Scheduling for Stochastic Reliability in Smart Grids with Wind Generation Integration ,\" in Proc. of IEEE INFOCOM , 2011 , pp. 461 -- 465 . M. He, S. Murugesan, and J. Zhang, \"Multiple Timescale Dispatch and Scheduling for Stochastic Reliability in Smart Grids with Wind Generation Integration,\" in Proc. of IEEE INFOCOM, 2011, pp. 461--465.","journal-title":"Proc. of IEEE INFOCOM"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_35"},{"key":"e_1_3_2_1_12_1","volume-title":"dissertation","author":"Puggelli A.","year":"2014","unstructured":"A. Puggelli , \"Formal Techniques for the Verification and Optimal Control of Probabilistic Systems in the Presence of Modeling Uncertainties,\" Ph. D. dissertation , University of California , Berkeley, Berkeley, CA , 2014 . A. Puggelli, \"Formal Techniques for the Verification and Optimal Control of Probabilistic Systems in the Presence of Modeling Uncertainties,\" Ph.D. dissertation, University of California, Berkeley, Berkeley, CA, 2014."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-8141-3_38"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2011.2172150"},{"key":"e_1_3_2_1_15_1","first-page":"5","volume-title":"Automated Verification and Strategy Synthesis for Probabilistic Systems,\" in Proc. of ATVA, ser. LNCS","author":"Kwiatkowska M.","year":"2013","unstructured":"M. Kwiatkowska and D. Parker , \" Automated Verification and Strategy Synthesis for Probabilistic Systems,\" in Proc. of ATVA, ser. LNCS , vol. 8172 . Springer , 2013 , pp. 5 -- 22 . M. Kwiatkowska and D. Parker, \"Automated Verification and Strategy Synthesis for Probabilistic Systems,\" in Proc. of ATVA, ser. LNCS, vol. 8172. Springer, 2013, pp. 5--22."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11691372_26"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1287\/opre.1050.0216"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1985.12"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21455-4_3"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2008.919318"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/11590156_44"},{"key":"e_1_3_2_1_22_1","first-page":"531","volume-title":"Permissive Controller Synthesis for Probabilistic Systems,\" in Proc. of TACAS, ser. LNCS","author":"Draeger K.","year":"2014","unstructured":"K. Draeger , \" Permissive Controller Synthesis for Probabilistic Systems,\" in Proc. of TACAS, ser. LNCS . Springer , 2014 , pp. 531 -- 546 . K. Draeger et al., \"Permissive Controller Synthesis for Probabilistic Systems,\" in Proc. of TACAS, ser. LNCS. Springer, 2014, pp. 531--546."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2006.48"},{"key":"e_1_3_2_1_24_1","first-page":"441","volume-title":"Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints,\" in Proc. of CAV","author":"Hang C.","year":"2011","unstructured":"C. Hang , \" Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints,\" in Proc. of CAV . Berlin, Heidelberg : Springer-Verlag , 2011 , pp. 441 -- 456 . C. Hang et al., \"Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints,\" in Proc. of CAV. Berlin, Heidelberg: Springer-Verlag, 2011, pp. 441--456."},{"key":"e_1_3_2_1_25_1","first-page":"71","article-title":"CalCS: SMT Solving for Non-linear Convex Constraints","author":"Nuzzo P.","year":"2010","unstructured":"P. Nuzzo , \" CalCS: SMT Solving for Non-linear Convex Constraints ,\" in Proc. of FMCAD , 2010 , pp. 71 -- 80 . P. Nuzzo et al., \"CalCS: SMT Solving for Non-linear Convex Constraints,\" in Proc. of FMCAD, 2010, pp. 71--80.","journal-title":"Proc. of FMCAD"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511804441","volume-title":"Convex Optimization,\" Cambridge University Press","author":"Boyd S.","year":"2004","unstructured":"S. Boyd and L. Vandenberghe , \" Convex Optimization,\" Cambridge University Press , 2004 . S. Boyd and L. Vandenberghe, \"Convex Optimization,\" Cambridge University Press, 2004."},{"key":"e_1_3_2_1_27_1","unstructured":"\"Gurobi Optimizer.\" {Online}: http:\/\/www.gurobi.com\/.  \"Gurobi Optimizer.\" {Online}: http:\/\/www.gurobi.com\/."},{"key":"e_1_3_2_1_28_1","volume-title":"NewYork: Wiley","author":"Stoft S.","year":"2002","unstructured":"S. Stoft , Power System Economics : Designing Markets for Electricity . NewYork: Wiley , 2002 . S. Stoft, Power System Economics: Designing Markets for Electricity. NewYork: Wiley, 2002."},{"key":"e_1_3_2_1_29_1","volume-title":"January","author":"Wan Y.","year":"2012","unstructured":"Y. Wan , \"Long-term Wind Power Variability,\" NREL Technical Report TP-5500-53637. {Online} : http:\/\/www.nrel.gov\/docs\/fy12osti\/53637.pdf , January 2012 . Y. Wan, \"Long-term Wind Power Variability,\" NREL Technical Report TP-5500-53637. {Online}: http:\/\/www.nrel.gov\/docs\/fy12osti\/53637.pdf, January 2012."},{"key":"e_1_3_2_1_31_1","first-page":"585","article-title":"PRISM 4.0: Verification of Probabilistic Real-Time Systems","author":"Kwiatkowska M.","year":"2011","unstructured":"M. Kwiatkowska , \" PRISM 4.0: Verification of Probabilistic Real-Time Systems ,\" Proc. of CAV , pp. 585 -- 591 , 2011 . M. Kwiatkowska et al., \"PRISM 4.0: Verification of Probabilistic Real-Time Systems,\" Proc. of CAV, pp. 585--591, 2011.","journal-title":"Proc. of CAV"}],"event":{"name":"ESWEEK'14: TENTH EMBEDDED SYSTEM WEEK","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE Council on Electronic Design Automation (CEDA)","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"],"location":"New Delhi India","acronym":"ESWEEK'14"},"container-title":["Proceedings of the 14th International Conference on Embedded Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2656045.2656069","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2656045.2656069","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:34Z","timestamp":1750231174000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2656045.2656069"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,12]]},"references-count":29,"alternative-id":["10.1145\/2656045.2656069","10.1145\/2656045"],"URL":"https:\/\/doi.org\/10.1145\/2656045.2656069","relation":{},"subject":[],"published":{"date-parts":[[2014,10,12]]},"assertion":[{"value":"2014-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}