Quantitative modelling of residential smart grids

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

Generation of electricity has traditionally taken place at a small number of power stations but with advances in generating technology, small-scale generation of energy from wind and sun is now possible at individual buildings. Additionally, the integration of information technology into the generation and consumption process provides the notion of smart grid. Formal modelling of these systems allows for an understanding of their dynamic behaviour without building or interacting with actual systems. This paper reports on using a quantitative process algebra HYPE to model a residential smart grid (microgrid) for a spatiallyextensive suburb of houses where energy is generated by wind power at each house and where excess energy can be shared with neighbours and between neighbourhoods. Both demand and wind availability are modelled
stochastically, and the goal of the modelling is to understand the behaviour of the system under dierent redistribution policies that use local knowledge with spatial heterogeneity in wind availability.
Original languageEnglish
Title of host publicationSoftware Engineering and Formal Methods
Subtitle of host publicationSEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
PublisherSpringer Berlin Heidelberg
Number of pages15
ISBN (Electronic)978-3-662-49224-6
ISBN (Print)978-3-662-49223-9
Publication statusPublished - 12 Jan 2016
Event13th International Conference on Software Engineering and Formal Methods - York, United Kingdom
Duration: 7 Sept 201511 Sept 2015

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
ISSN (Print)0302-9743


Conference13th International Conference on Software Engineering and Formal Methods
Abbreviated titleSEFM 2015
Country/TerritoryUnited Kingdom
Internet address


Dive into the research topics of 'Quantitative modelling of residential smart grids'. Together they form a unique fingerprint.

Cite this