{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:58:24Z","timestamp":1740099504420,"version":"3.37.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030302801"},{"type":"electronic","value":"9783030302818"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-30281-8_19","type":"book-chapter","created":{"date-parts":[[2019,9,3]],"date-time":"2019-09-03T19:03:14Z","timestamp":1567537394000},"page":"332-349","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Safety Guarantees for the Electricity Grid with Significant Renewables Generation"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7767-2935","authenticated-orcid":false,"given":"Andrea","family":"Peruffo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emeline","family":"Guiu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Panciatici","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5627-9093","authenticated-orcid":false,"given":"Alessandro","family":"Abate","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,9,4]]},"reference":[{"issue":"6","key":"19_CR1","doi-asserted-by":"publisher","first-page":"624","DOI":"10.3166\/ejc.16.624-641","volume":"16","author":"A Abate","year":"2010","unstructured":"Abate, A., Katoen, J.P., Lygeros, J., Prandini, M.: Approximate model checking of stochastic hybrid systems. Eur. J. Control 16(6), 624\u2013641 (2010)","journal-title":"Eur. J. Control"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Abate, A., Soudjani, S.E.Z.: Quantitative approximation of the probability distribution of a Markov process by formal abstractions. Logical Methods Comput. Sci. 11 (2015)","DOI":"10.2168\/LMCS-11(3:8)2015"},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.rser.2012.09.019","volume":"18","author":"J Aghaei","year":"2013","unstructured":"Aghaei, J., Alizadeh, M.I.: Demand response in smart electricity grids equipped with renewable energy eources: a review. Renew. Sustain. Energy Rev. 18, 64\u201372 (2013)","journal-title":"Renew. Sustain. Energy Rev."},{"key":"19_CR4","unstructured":"Banks, J., Bruce, A., Macgill, I.: Fast frequency response markets for high renewable energy penetrations in the future Australian NEM. In: Proceedings of the Asia Pacific Solar Research Conference 2017. Australian PV Institute, December 2017"},{"key":"19_CR5","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1016\/j.esr.2017.09.009","volume":"18","author":"A Banshwar","year":"2017","unstructured":"Banshwar, A., Sharma, N.K., Sood, Y.R., Shrivastava, R.: Renewable energy sources as a new participant in ancillary service markets. Energy Strategy Rev. 18, 106\u2013120 (2017)","journal-title":"Energy Strategy Rev."},{"key":"19_CR6","unstructured":"ENTSO-E: Policy 1: Load-frequency Control and Performance. Technical report (2009)"},{"key":"19_CR7","unstructured":"ENTSO-E: Dispersed Generation Impact on CE Region, Dynamic Study. Technical report (2014)"},{"key":"19_CR8","unstructured":"European Commission: Commission regulation (EU) 2016\/631 of 14th April 2016. Technical report (2016)"},{"key":"19_CR9","unstructured":"Wirth, H.: Recent Facts about Photovoltaics in Germany. Technical report, Fraunhofer ISE (2018)"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/978-3-642-34026-0_31","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"A Hartmanns","year":"2012","unstructured":"Hartmanns, A., Hermanns, H.: Modelling and decentralised runtime control of self-stabilising power micro grids. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012. LNCS, vol. 7609, pp. 420\u2013439. Springer, Heidelberg (2012). \n                      https:\/\/doi.org\/10.1007\/978-3-642-34026-0_31"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Hartmanns, A., Hermanns, H., Berrang, P.: A comparative analysis of decentralized power grid stabilization strategies. In: Proceedings of the Winter Simulation Conference, p. 158. Winter Simulation Conference (2012)","DOI":"10.1109\/WSC.2012.6465083"},{"issue":"3","key":"19_CR12","doi-asserted-by":"publisher","first-page":"3418","DOI":"10.1109\/TPWRS.2017.2780804","volume":"33","author":"Y Li","year":"2017","unstructured":"Li, Y., Zhang, P., Luh, P.B.: Formal analysis of networked microgrids dynamics. IEEE Trans. Power Syst. 33(3), 3418\u20133427 (2017)","journal-title":"IEEE Trans. Power Syst."},{"key":"19_CR13","unstructured":"Jung, M., Wiss, O., Lazpita, B.: Analyses et Conclusions - Tests en sous-frequence. Technical report, RTE (2016)"},{"key":"19_CR14","unstructured":"Jung, M., Wiss, O., Lazpita, B.: Analyses et Conclusions - Tests en sur-frequence. Technical report, RTE (2016)"},{"key":"19_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-319-66335-7_5","volume-title":"Quantitative Evaluation of Systems","author":"A Peruffo","year":"2017","unstructured":"Peruffo, A., Guiu, E., Panciatici, P., Abate, A.: Aggregated Markov models of a heterogeneous population of photovoltaic panels. In: Bertrand, N., Bortolussi, L. (eds.) QEST 2017. LNCS, vol. 10503, pp. 72\u201387. Springer, Cham (2017). \n                      https:\/\/doi.org\/10.1007\/978-3-319-66335-7_5"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Peruffo, A., Guiu, E., Panciatici, P., Abate, A.: Impact of solar panels and cooling devices on frequency control after a generation loss incident. In: Decision and Control (CDC) 2018 IEEE 57th Annual Conference Proceedings. IEEE (2018)","DOI":"10.1109\/CDC.2018.8619384"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Peruffo, A., Guiu, E., Panciatici, P., Abate, A.: Synchronous frequency grid dynamics in the presence of a large-scale population of photovoltaic panels (2018)","DOI":"10.23919\/PSCC.2018.8442747"},{"issue":"8","key":"19_CR18","doi-asserted-by":"publisher","first-page":"1843","DOI":"10.1016\/j.rser.2006.03.005","volume":"11","author":"S Rehman","year":"2007","unstructured":"Rehman, S., Bader, M.A., Al-Moallem, S.A.: Cost of solar energy generated using PV panels. Renew. Sustain. Energy Rev. 11(8), 1843\u20131857 (2007)","journal-title":"Renew. Sustain. Energy Rev."},{"issue":"2","key":"19_CR19","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1109\/TAC.2013.2273300","volume":"59","author":"SEZ Soudjani","year":"2014","unstructured":"Soudjani, S.E.Z., Abate, A.: Probabilistic reach-avoid computation for partially degenerate stochastic processes. IEEE Trans. Autom. Control 59(2), 528\u2013534 (2014)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"3","key":"19_CR20","doi-asserted-by":"publisher","first-page":"975","DOI":"10.1109\/TCST.2014.2358844","volume":"23","author":"SEZ Soudjani","year":"2015","unstructured":"Soudjani, S.E.Z., Abate, A.: Aggregation and control of populations of thermostatically controlled loads by formal abstractions. IEEE Trans. Control Syst. Technol. 23(3), 975\u2013990 (2015)","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"19_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-319-10696-0_6","volume-title":"Quantitative Evaluation of Systems","author":"S Esmaeil Zadeh Soudjani","year":"2014","unstructured":"Esmaeil Zadeh Soudjani, S., Gerwinn, S., Ellen, C., Fr\u00e4nzle, M., Abate, A.: Formal synthesis and validation of inhomogeneous thermostatically controlled loads. In: Norman, G., Sanders, W. (eds.) QEST 2014. LNCS, vol. 8657, pp. 57\u201373. Springer, Cham (2014). \n                      https:\/\/doi.org\/10.1007\/978-3-319-10696-0_6"},{"key":"19_CR22","unstructured":"Tiam, H., Mancilla-David, F., Ellis, K.: A Detailed Performance Model for Photovoltaic Systems. Technical report, NREL (2012)"},{"issue":"6","key":"19_CR23","doi-asserted-by":"publisher","first-page":"980","DOI":"10.1109\/TPEL.2002.805594","volume":"17","author":"K Tse","year":"2002","unstructured":"Tse, K., Ho, M., Chung, H.H., Hui, S.: A novel maximum power point tracker for PV panels using switching frequency modulation. IEEE Trans. Power Electron. 17(6), 980\u2013989 (2002)","journal-title":"IEEE Trans. Power Electron."}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-30281-8_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,3]],"date-time":"2019-09-03T19:04:40Z","timestamp":1567537480000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-30281-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030302801","9783030302818"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-30281-8_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"4 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"QEST","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Quantitative Evaluation of Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Glasgow","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"qest2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.qest.org\/qest2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"40","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"17","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"43% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}