Edinburgh Research Explorer

Quantitative modelling of residential smart grids

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

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
Pages161-175
Number of pages15
ISBN (Electronic)978-3-662-49224-6
ISBN (Print)978-3-662-49223-9
DOIs
Publication statusPublished - 12 Jan 2016
Event13th International Conference on Software Engineering and Formal Methods - York, United Kingdom
Duration: 7 Sep 201511 Sep 2015
https://www.cs.york.ac.uk/sefm2015/index.html

Publication series

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

Conference

Conference13th International Conference on Software Engineering and Formal Methods
Abbreviated titleSEFM 2015
CountryUnited Kingdom
CityYork
Period7/09/1511/09/15
Internet address

Abstract

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.

Event

13th International Conference on Software Engineering and Formal Methods

7/09/1511/09/15

York, United Kingdom

Event: Conference

Download statistics

No data available

ID: 19991212