Towards formal verification of smart grid distributed intelligence: FREEDM case

Sandeep Patil; Gulnara Zhabelova; Valeriy Vyatkin; Bruce McMillin

doi:10.1109/IECON.2015.7392719

Towards formal verification of smart grid distributed intelligence: FREEDM case

Sandeep Patil, Gulnara Zhabelova, Valeriy Vyatkin, Bruce McMillin

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

14 Sitaatiot (Scopus)

Abstrakti

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.

Alkuperäiskieli	Englanti
Otsikko	IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society
Kustantaja	IEEE
Sivut	3974-3979
Sivumäärä	6
ISBN (painettu)	9781479917624
DOI - pysyväislinkit	https://doi.org/10.1109/IECON.2015.7392719
Tila	Julkaistu - 25 tammik. 2016
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa
Tapahtuma	Annual Conference of the IEEE Industrial Electronics Society - Yokohama, Japani Kesto: 9 marrask. 2015 → 12 marrask. 2015 Konferenssinumero: 41 http://iecon2015.com/

Conference

Conference	Annual Conference of the IEEE Industrial Electronics Society
Lyhennettä	IECON
Maa/Alue	Japani
Kaupunki	Yokohama
Ajanjakso	09/11/2015 → 12/11/2015
www-osoite	http://iecon2015.com/

YK:n kestävän kehityksen tavoitteet

Tämä tuotos edistää seuraavia kestävän kehityksen tavoitteita:

Pääsy asiakirjaan

10.1109/IECON.2015.7392719

Muut tiedostot ja linkit

Link to publication in Scopus

Siteeraa tätä

@inproceedings{c2703cf7a2be499ea284a8e6e3c33270,

title = "Towards formal verification of smart grid distributed intelligence: FREEDM case",

abstract = "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.",

keywords = "automation systems, IEC 61499, model-checking, smart grid",

author = "Sandeep Patil and Gulnara Zhabelova and Valeriy Vyatkin and Bruce McMillin",

year = "2016",

month = jan,

day = "25",

doi = "10.1109/IECON.2015.7392719",

language = "English",

isbn = "9781479917624",

pages = "3974--3979",

booktitle = "IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society",

publisher = "IEEE",

address = "United States",

note = "Annual Conference of the IEEE Industrial Electronics Society, IECON ; Conference date: 09-11-2015 Through 12-11-2015",

url = "http://iecon2015.com/",

}

Patil, S, Zhabelova, G, Vyatkin, V & McMillin, B 2016, Towards formal verification of smart grid distributed intelligence: FREEDM case. julkaisussa IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society., 7392719, IEEE, Sivut 3974-3979, Annual Conference of the IEEE Industrial Electronics Society, Yokohama, Japani, 09/11/2015. https://doi.org/10.1109/IECON.2015.7392719

Towards formal verification of smart grid distributed intelligence: FREEDM case. / Patil, Sandeep; Zhabelova, Gulnara; Vyatkin, Valeriy et al.
IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society. IEEE, 2016. s. 3974-3979 7392719.

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

TY - GEN

T1 - Towards formal verification of smart grid distributed intelligence

T2 - Annual Conference of the IEEE Industrial Electronics Society

AU - Patil, Sandeep

AU - Zhabelova, Gulnara

AU - Vyatkin, Valeriy

AU - McMillin, Bruce

N1 - Conference code: 41

PY - 2016/1/25

Y1 - 2016/1/25

N2 - 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.

AB - 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.

KW - automation systems

KW - IEC 61499

KW - model-checking

KW - smart grid

UR - http://www.scopus.com/inward/record.url?scp=84973160497&partnerID=8YFLogxK

U2 - 10.1109/IECON.2015.7392719

DO - 10.1109/IECON.2015.7392719

M3 - Conference article in proceedings

SN - 9781479917624

SP - 3974

EP - 3979

BT - IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society

PB - IEEE

Y2 - 9 November 2015 through 12 November 2015

ER -

Towards formal verification of smart grid distributed intelligence: FREEDM case

Abstrakti

Conference

YK:n kestävän kehityksen tavoitteet

Pääsy asiakirjaan

Muut tiedostot ja linkit

Sormenjälki

Siteeraa tätä