Matches in SemOpenAlex for { <https://semopenalex.org/work/W2962690030> ?p ?o ?g. }
- W2962690030 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." @default.
- W2962690030 created "2019-07-30" @default.
- W2962690030 creator A5009589766 @default.
- W2962690030 creator A5014587150 @default.
- W2962690030 date "2018-09-03" @default.
- W2962690030 modified "2023-09-28" @default.
- W2962690030 title "A formal specification framework for smart grid components" @default.
- W2962690030 cites W1970678469 @default.
- W2962690030 cites W1977799007 @default.
- W2962690030 cites W1978509825 @default.
- W2962690030 cites W1992760230 @default.
- W2962690030 cites W2030949386 @default.
- W2962690030 cites W2077359497 @default.
- W2962690030 cites W2094692036 @default.
- W2962690030 cites W2106733232 @default.
- W2962690030 cites W2119866123 @default.
- W2962690030 cites W2142294011 @default.
- W2962690030 cites W2326445345 @default.
- W2962690030 cites W2335865153 @default.
- W2962690030 cites W2529364728 @default.
- W2962690030 cites W2551233363 @default.
- W2962690030 cites W2552176543 @default.
- W2962690030 cites W2552860134 @default.
- W2962690030 cites W2575013785 @default.
- W2962690030 cites W2587622726 @default.
- W2962690030 cites W2615310036 @default.
- W2962690030 cites W2616841206 @default.
- W2962690030 cites W2619907041 @default.
- W2962690030 cites W2752682696 @default.
- W2962690030 cites W2756275882 @default.
- W2962690030 cites W2788881592 @default.
- W2962690030 cites W2800226950 @default.
- W2962690030 cites W2805611465 @default.
- W2962690030 cites W3123632726 @default.
- W2962690030 cites W3142354338 @default.
- W2962690030 doi "https://doi.org/10.1186/s40294-018-0057-3" @default.
- W2962690030 hasPublicationYear "2018" @default.
- W2962690030 type Work @default.
- W2962690030 sameAs 2962690030 @default.
- W2962690030 citedByCount "8" @default.
- W2962690030 countsByYear W29626900302018 @default.
- W2962690030 countsByYear W29626900302019 @default.
- W2962690030 countsByYear W29626900302020 @default.
- W2962690030 countsByYear W29626900302022 @default.
- W2962690030 crossrefType "journal-article" @default.
- W2962690030 hasAuthorship W2962690030A5009589766 @default.
- W2962690030 hasAuthorship W2962690030A5014587150 @default.
- W2962690030 hasBestOaLocation W29626900301 @default.
- W2962690030 hasConcept C10558101 @default.
- W2962690030 hasConcept C111498074 @default.
- W2962690030 hasConcept C115903868 @default.
- W2962690030 hasConcept C116253237 @default.
- W2962690030 hasConcept C119599485 @default.
- W2962690030 hasConcept C120314980 @default.
- W2962690030 hasConcept C127413603 @default.
- W2962690030 hasConcept C142362112 @default.
- W2962690030 hasConcept C153349607 @default.
- W2962690030 hasConcept C187691185 @default.
- W2962690030 hasConcept C199360897 @default.
- W2962690030 hasConcept C201995342 @default.
- W2962690030 hasConcept C2524010 @default.
- W2962690030 hasConcept C26517878 @default.
- W2962690030 hasConcept C2985583900 @default.
- W2962690030 hasConcept C33923547 @default.
- W2962690030 hasConcept C38652104 @default.
- W2962690030 hasConcept C41008148 @default.
- W2962690030 hasConcept C558565934 @default.
- W2962690030 hasConcept C73301696 @default.
- W2962690030 hasConcept C75606506 @default.
- W2962690030 hasConceptScore W2962690030C10558101 @default.
- W2962690030 hasConceptScore W2962690030C111498074 @default.
- W2962690030 hasConceptScore W2962690030C115903868 @default.
- W2962690030 hasConceptScore W2962690030C116253237 @default.
- W2962690030 hasConceptScore W2962690030C119599485 @default.
- W2962690030 hasConceptScore W2962690030C120314980 @default.
- W2962690030 hasConceptScore W2962690030C127413603 @default.
- W2962690030 hasConceptScore W2962690030C142362112 @default.
- W2962690030 hasConceptScore W2962690030C153349607 @default.
- W2962690030 hasConceptScore W2962690030C187691185 @default.
- W2962690030 hasConceptScore W2962690030C199360897 @default.
- W2962690030 hasConceptScore W2962690030C201995342 @default.
- W2962690030 hasConceptScore W2962690030C2524010 @default.
- W2962690030 hasConceptScore W2962690030C26517878 @default.
- W2962690030 hasConceptScore W2962690030C2985583900 @default.
- W2962690030 hasConceptScore W2962690030C33923547 @default.
- W2962690030 hasConceptScore W2962690030C38652104 @default.
- W2962690030 hasConceptScore W2962690030C41008148 @default.
- W2962690030 hasConceptScore W2962690030C558565934 @default.
- W2962690030 hasConceptScore W2962690030C73301696 @default.
- W2962690030 hasConceptScore W2962690030C75606506 @default.
- W2962690030 hasLocation W29626900301 @default.
- W2962690030 hasLocation W29626900302 @default.
- W2962690030 hasOpenAccess W2962690030 @default.
- W2962690030 hasPrimaryLocation W29626900301 @default.
- W2962690030 hasRelatedWork W1524361563 @default.
- W2962690030 hasRelatedWork W1614816533 @default.
- W2962690030 hasRelatedWork W1964111820 @default.
- W2962690030 hasRelatedWork W2044067585 @default.
- W2962690030 hasRelatedWork W2054360185 @default.
- W2962690030 hasRelatedWork W2249885551 @default.