Safety Guarantees for the Electricity Grid with Significant Renewables Generation. - Peruffo, Andrea; Guiu, Emeline; Panciatici, Patrick; Abate, Alessandro (2019)