Search: id:"swepub:oai:DiVA.org:ltu-37538" >
Towards formal veri...
Towards formal verification of smart grid distributed intelligence : FREEDM case
-
- Patil, Sandeep (author)
- Luleå tekniska universitet,Datavetenskap
-
- Zhabelova, Gulnara (author)
- Luleå tekniska universitet,Datavetenskap
-
- Vyatkin, Valeriy (author)
- Luleå tekniska universitet,Datavetenskap
-
show more...
-
- McMillin, Bruce (author)
- Missouri University of Science and Technology, Rolla, Department of Computer Science, Missouri University of Science and Technology, Rolla
-
show less...
-
(creator_code:org_t)
- Piscataway, NJ : IEEE Communications Society, 2016
- 2016
- English.
-
In: Annual Conference of the IEEE Industrial Electronics Society, IECON 2015. - Piscataway, NJ : IEEE Communications Society. - 9781479917624 ; , s. 3974-3979
- Related links:
-
https://urn.kb.se/re...
-
show more...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- This paper presents a model-checking framework for the purpose of design and implementation of robust smart grid applications based on distributed intelligence. The paper first introduces distributed grid intelligence approach to smart grid automation and related challenges of their verification. We then introduce the case study example and how model-checking can be applied to the presented system implemented in IEC 61499 standard. In the end we present the initial results of our model-checking application to smart grid applications. The paper will conclude with some issues faced during the research and corrective steps to address these issues in future.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Keyword
- model-checking
- smart grid
- IEC 61499
- automation systems
- Dependable Communication and Computation Systems
- Kommunikations- och beräkningssystem
Publication and Content Type
- ref (subject category)
- kon (subject category)
Find in a library
To the university's database