International Conference on Software Engineering and Formal Methods

Software Engineering and Formal Methods pp 161-175 | Cite as

Quantitative Modelling of Residential Smart Grids

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9509)


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.


Smart grid Microgrid Renewable energy Process algebra Quantitative modelling Stochastic hybrid Collective adaptive system 



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


  1. 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. 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. 3.
    Bortolussi, L., Galpin, V., Hillston, J.: Stochastic HYPE: flow-based modelling of stochastic hybrid systems. CoRR abs/1411.4433 (2014)Google Scholar
  4. 4.
    Bortolussi, L., Hillston, J., Latella, D., Massink, M.: Continuous approximation of collective systems behaviour: a tutorial. Perform. Eval. 70, 317–349 (2013)CrossRefGoogle Scholar
  5. 5.
    Bortolussi, L., Policriti, A.: Hybrid dynamics of stochastic programs. Theor. Comput. Sci. 411, 2052–2077 (2010)MATHMathSciNetCrossRefGoogle Scholar
  6. 6.
    Davis, M.: Markov Models and Optimization. Chapman & Hall, London (1993)MATHCrossRefGoogle Scholar
  7. 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. 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. 9.
    Galpin, V.: Modelling a circadian clock with HYPE. In: PASTA 2010, pp. 92–98 (2010)Google Scholar
  10. 10.
    Galpin, V.: Modelling residential smart energy schemes. In: FoCAS@SASO14 (2014)Google Scholar
  11. 11.
    Galpin, V., Bortolussi, L., Hillston, J.: HYPE: hybrid modelling by composition of flows. Formal Aspects Comput. 25, 503–541 (2013)MATHMathSciNetCrossRefGoogle Scholar
  12. 12.
    Galpin, V., Hillston, J., Bortolussi, L.: HYPE applied to the modelling of hybrid biological systems. ENTCS 218, 33–51 (2008)Google Scholar
  13. 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. 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. 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. 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)CrossRefGoogle Scholar
  17. 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)CrossRefGoogle Scholar
  18. 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. 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. 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. 21.
    Sinden, G.: Characteristics of the UK wind resource: long-term patterns and relationship to electricity demand. Energy Policy 35, 112–127 (2007)CrossRefGoogle Scholar
  22. 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. 23.
    Tribastone, M., Gilmore, S., Hillston, J.: Scalable differential analysis of process algebra models. IEEE Trans. Softw. Eng. 38, 205–219 (2012)CrossRefGoogle Scholar
  24. 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)CrossRefGoogle Scholar
  25. 25.
    Yao, R., Steemers, K.: A method of formulating energy load profile for domestic buildings in the UK. Energy Buildings 37, 663–671 (2005)CrossRefGoogle Scholar
  26. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2015

Authors and Affiliations

  1. 1.Laboratory for Foundations of Computer Science School of InformaticsUniversity of EdinburghEdinburghUK

Personalised recommendations