Change search
ReferencesLink to record
Permanent link

Direct link
Towards formal verification of smart grid distributed intelligence: FREEDM case
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
Missouri University of Science and Technology, Rolla, Department of Computer Science, Missouri University of Science and Technology, Rolla.
Number of Authors: 4
2016 (English)In: Annual Conference of the IEEE Industrial Electronics Society, IECON 2015: Yokohama, Japan, 9-12 Nov. 2015, Piscataway, NJ: IEEE Communications Society, 2016, 3974-3979 p., 7392719Conference paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Communications Society, 2016. 3974-3979 p., 7392719
Series
, I E E E Industrial Electronics Society. Annual Conference. Proceedings, ISSN 1553-572X
Keyword [en]
Information technology - Automatic control
Keyword [sv]
Informationsteknik - Reglerteknik
National Category
Computer Science
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-37538DOI: 10.1109/IECON.2015.7392719ISI: 000382950703169Local ID: b9a06ca1-623a-4003-8986-2cbdb6507ccbISBN: 978-1-4799-1762-4 (PDF)OAI: oai:DiVA.org:ltu-37538DiVA: diva2:1011036
Conference
Annual Conference of the IEEE Industrial Electronics Society : 09/11/2015 - 12/11/2015
Note

Validerad; 2016; Nivå 1; 2016-11-25 (andbra)

Available from: 2016-10-03 Created: 2016-10-03 Last updated: 2016-11-25Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Patil, SandeepZhabelova, GulnaraVyatkin, Valeriy
By organisation
Computer Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 5 hits
ReferencesLink to record
Permanent link

Direct link