Disaggregation of household solar energy generation using censored smart meter data
Quantifying small scale domestic solar (PV) generation from energy consumption is
becoming increasingly important as the install base of small solar (PV) panels rapidly grows …
becoming increasingly important as the install base of small solar (PV) panels rapidly grows …
Formal verification of complex systems: Model-based and data-driven methods
A Abate - Proceedings of the 15th ACM-IEEE International …, 2017 - dl.acm.org
Two known shortcomings of standard techniques in formal verification are the limited
capability to provide system-level assertions, and the scalability to large, complex models …
capability to provide system-level assertions, and the scalability to large, complex models …
Aggregation and control of a heterogeneous population of solar panels over the grid frequency
A Peruffo, E Guiu, P Panciatici… - IEEE Transactions on …, 2020 - ieeexplore.ieee.org
The increasing presence of solar energy sources has radically transformed the continental
electrical network. While solar panels affect the grid in a distributed manner, and an …
electrical network. While solar panels affect the grid in a distributed manner, and an …
Synchronous frequency grid dynamics in the presence of a large-scale population of photovoltaic panels
The increased relevance of renewable energy sources has modified the behaviour of the
electrical grid. Some renewable energy sources affect the network in a very distributed …
electrical grid. Some renewable energy sources affect the network in a very distributed …
Formal abstraction and synthesis of parametric stochastic processes
Formal abstractions of stochastic difference equations (SDEs) translate continuous-space
processes into finite-state Markov models that can be automatically model checked against …
processes into finite-state Markov models that can be automatically model checked against …
Safety guarantees for the electricity grid with significant renewables generation
This work presents a study of the frequency dynamics of the electricity grid under significant
presence of generation from renewable sources. A safety requirement, namely ensuring that …
presence of generation from renewable sources. A safety requirement, namely ensuring that …
Impact of solar panels and cooling devices on frequency control after a generation loss incident
A Peruffo, E Guiu, P Panciatici… - 2018 IEEE Conference …, 2018 - ieeexplore.ieee.org
Common household devices, such as solar panels and refrigerators, offer a considerable
potential for frequency regulation, given their aggregate power generation and consumption …
potential for frequency regulation, given their aggregate power generation and consumption …
Model-based formal reliability analysis of grid dynamics with solar energy sources
This work presents a model-based formal reliability analysis of the electricity grid dynamics
in the presence of a large population of solar panels, under several scenarios of load …
in the presence of a large population of solar panels, under several scenarios of load …
[PDF][PDF] Using smart meter data and probabilistic models to augment energy performance assessments of residential buildings
J Brown - 2021 - ora.ox.ac.uk
To keep global warming to 1.5 C action must be taken to reduce greenhouse gas (GHG)
emissions before 2030 according to the 2018 IPCC report [65]. If nothing is done climate …
emissions before 2030 according to the 2018 IPCC report [65]. If nothing is done climate …
Aggregation of a heterogeneous population of solar panels: verification and control
A Peruffo - 2020 - ora.ox.ac.uk
The ever-growing presence of renewable energy sources has started a radical
transformation of power grids worldwide. Their dynamical characteristics, the connections …
transformation of power grids worldwide. Their dynamical characteristics, the connections …