Skip to main content
SpringerLink
Log in

Quantitative Modelling of Residential Smart Grids

  • Conference paper
  • First Online:
Software Engineering and Formal Methods (SEFM 2015)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 9509))

Included in the following conference series:

  • 825 Accesses

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 spatially-extensive 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 different redistribution policies that use local knowledge with spatial heterogeneity in wind availability.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    Nevertheless one household could get a greater share of the renewable energy by ensuring their appliance use is at different times to the other households, and there are other similar actions that some people would consider unfair.

  2. 2.

    One can consider policies where energy is only supplied to adjacent neighbourhoods but this necessarily seems to result in lower use of renewable energy because fewer neighbourhoods can receive excess renewable energy.

References

  1. Ardakanian, O., Keshav, S., Rosenberg, C.: Markovian models for home electricity consumption. In: Second ACM SIGCOMM Workshop on Green Networking, pp. 31–36. ACM (2011)

    Google Scholar 

  2. Bortolussi, L., Galpin, V., Hillston, J.: Hybrid performance modelling of opportunistic networks. In: QAPL 2012, EPTCS 85, pp. 106–121 (2012)

    Google Scholar 

  3. Bortolussi, L., Galpin, V., Hillston, J.: Stochastic HYPE: flow-based modelling of stochastic hybrid systems. CoRR abs/1411.4433 (2014)

    Google Scholar 

  4. Bortolussi, L., Hillston, J., Latella, D., Massink, M.: Continuous approximation of collective systems behaviour: a tutorial. Perform. Eval. 70, 317–349 (2013)

    Article  Google Scholar 

  5. Bortolussi, L., Policriti, A.: Hybrid dynamics of stochastic programs. Theor. Comput. Sci. 411, 2052–2077 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  6. Davis, M.: Markov Models and Optimization. Chapman & Hall, London (1993)

    Book  MATH  Google Scholar 

  7. Delamare, J., Bitachon, B., Peng, Z., Wang, Y., Haverkort, B., Jongerden, M.: Development of a smart grid simulation environment. In: UKPEW 2014 (2014)

    Google Scholar 

  8. Feng, C.: Patch-based hybrid modelling of spatially distributed systems by using stochastic HYPE - ZebraNet as an example. In: QAPL 2014, EPTCS 154 (2014)

    Google Scholar 

  9. Galpin, V.: Modelling a circadian clock with HYPE. In: PASTA 2010, pp. 92–98 (2010)

    Google Scholar 

  10. Galpin, V.: Modelling residential smart energy schemes. In: FoCAS@SASO14 (2014)

    Google Scholar 

  11. Galpin, V., Bortolussi, L., Hillston, J.: HYPE: hybrid modelling by composition of flows. Formal Aspects Comput. 25, 503–541 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  12. Galpin, V., Hillston, J., Bortolussi, L.: HYPE applied to the modelling of hybrid biological systems. ENTCS 218, 33–51 (2008)

    Google Scholar 

  13. Guérard, G., Ben Amor, S., Bui, A.: Survey on smart grid modelling. Int. J. Syst. Control Commun. 4, 262–279 (2012)

    Google Scholar 

  14. Kariniotakis, G., Soultanis, N., Tsouchnikas, A., Papathanasiou, S., Hatziargyriou, N.: Dynamic modeling of microgrids. In: International Conference on Future Power Systems, p. 7. IEEE (2005)

    Google Scholar 

  15. Kremers, E., Viejo, P., Barambones, O., Gonzalez de Durana, J.: A complex systems modelling approach for decentralised simulation of electrical microgrids. In: ICECCS 2010, pp. 302–311. IEEE (2010)

    Google Scholar 

  16. McQueen, D., Hyland, P., Watson, S.: Monte Carlo simulation of residential electricity demand for forecasting maximum demand on distribution networks. IEEE Trans. Power Syst. 19, 1685–1689 (2004)

    Article  Google Scholar 

  17. Oviedo, R.M., Fan, Z., Gormus, S., Kulkarni, P.: A residential PHEV load coordination mechanism with renewable sources in smart grids. Int. J. Electr. Power Energy Syst. 55, 511–521 (2014)

    Article  Google Scholar 

  18. Oviedo, R., Fan, Z., Gormus, S., Kulkarni, P., Kaleshi, D.: Residential energy demand management in smart grids. IEEE PES T&D 2012, 1–8 (2012)

    Google Scholar 

  19. Panigrahi, T., Saha, A., Chowdhury, S., Chowdhury, S., Chakraborty, N., Song, Y., Byabortta, S.: A Simulink-based microgrid modelling & operational analysis using distributed generators. In: UPEC 2006, pp. 222–226. IEEE (2006)

    Google Scholar 

  20. Pipattanasomporn, M., Feroze, H., Rahman, S.: Multi-agent systems in a distributed smart grid: design and implementation. In: IEEE/PES PSCE 2009, pp. 1–8. IEEE (2009)

    Google Scholar 

  21. Sinden, G.: Characteristics of the UK wind resource: long-term patterns and relationship to electricity demand. Energy Policy 35, 112–127 (2007)

    Article  Google Scholar 

  22. Střelec, M., Macek, K., Abate, A.: Modeling and simulation of a microgrid as a stochastic hybrid system. In: IEEE PES ISGT Europe, pp. 1–9. IEEE (2012)

    Google Scholar 

  23. Tribastone, M., Gilmore, S., Hillston, J.: Scalable differential analysis of process algebra models. IEEE Trans. Softw. Eng. 38, 205–219 (2012)

    Article  Google Scholar 

  24. Widén, J., Wäckelgård, E.: A high-resolution stochastic model of domestic activity patterns and electricity demand. Appl. Energy 87, 1880–1892 (2010)

    Article  Google Scholar 

  25. Yao, R., Steemers, K.: A method of formulating energy load profile for domestic buildings in the UK. Energy Buildings 37, 663–671 (2005)

    Article  Google Scholar 

  26. Yubing, D., Yulei, G., Qingmin, L., Hui, W.: Modelling and simulation of the microsources within a microgrid. In: ICEMS 2008, pp. 2667–2671. IEEE (2008)

    Google Scholar 

Download references

Acknowledgements

This work is supported by the EU project QUANTICOL, 600708.

Author information

Authors and Affiliations

  1. Laboratory for Foundations of Computer Science School of Informatics, University of Edinburgh, Edinburgh, UK

    Vashti Galpin

Authors
  1. Vashti Galpin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Vashti Galpin .

Editor information

Editors and Affiliations

  1. Interdisciplinary Centre for ICT Se, University of Luxembourg (UL)., Luxembourg

    Domenico Bianculli

  2. University of York, York, United Kingdom

    Radu Calinescu

  3. LS Software Engineering, RWTH Aachen Universität, Aachen, Nordrhein-Westfalen, Germany

    Bernhard Rumpe

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Galpin, V. (2015). Quantitative Modelling of Residential Smart Grids. In: Bianculli, D., Calinescu, R., Rumpe, B. (eds) Software Engineering and Formal Methods. SEFM 2015. Lecture Notes in Computer Science(), vol 9509. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-49224-6_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-49224-6_14

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-49223-9

  • Online ISBN: 978-3-662-49224-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation