Paper Info
Title
A Formal Specification Framework for Smart Grid Components.
Abstract
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.
Year
DOI
Venue
2018
10.1186/s40294-018-0057-3
Complex Adaptive Systems Modeling
Keywords
DocType
Volume
Formal specification, Smart grid, Complex adaptive system
Journal
abs/1711.09184
Issue
ISSN
Citations 
1
2194-3206
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
Waseem Akram100.34
Muaz A. Niazi217724.55