Author:
Akram Waseem,Niazi Muaz A.
Abstract
Abstract
Purpose
Smart grid can be considered as the next step in the evolution of power systems. It comprises of different entities and objects ranging from smart appliances, smart meters, generators, smart storages, and more. One key problem in modeling smart grid is that while currently there has previously been a considerable focus on the proof of concept aspect of smart grid, there have been very few modeling attempts and even lesser attempts at formalization. To the best of our knowledge, formal specification has not been applied previously in the domain of smart grid.
Methods
Using a state-based formal specification language namely Z (pronounced as ‘Zed’), we present a novel approach to formally modeling and specify smart grid components.
Results
The modeling exercise clearly demonstrates that Z is particularly suited for modeling various smart grid components.
Conclusions
The presented formal specification can be considered as a first step towards the modeling of smart grid using a Software Engineering formalism. It also demonstrates how formal specification can be used to model complex systems in general, and the smart grid, in particular.
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Computer Science Applications,Modeling and Simulation
Reference38 articles.
1. Afzaal H, Zafar NA (2016) Formal analysis of subnet-based failure recovery algorithm in wireless sensor and actor and network. Complex Adapt Syst Model 4(1):27
2. Ahmadian A, Sedghi M, Elkamel A, Fowler M, Golkar MA (2017) Plug-in electric vehicle batteries degradation modeling for smart grid studies: review, assessment and conceptual framework. Renew Sustain Energy Rev 8:2609–2624
3. Amin SM, Wollenberg BF (2005) Toward a smart grid: power delivery for the 21st century. IEEE Power Energy Mag 3(5):34–41
4. Bowen JP (1996) Formal specification and documentation using Z: a case study approach. International Thomson Computer Press, London
5. Chiu TC, Shih YY, Pang AC, Pai CW (2017) Optimized day-ahead pricing with renewable energy demand-side management for smart grids. IEEE Internet Things J 4(2):374–383
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献