Formal verification of protection functions for power distribution networks

Dmitrii Drozdov; Sandeep Patil; Chen-Wei Yang; Gulnara Zhabelova; Valeriy Vyatkin

doi:10.1109/IECON.2018.8592802

Formal verification of protection functions for power distribution networks

Dmitrii Drozdov, Sandeep Patil, Chen-Wei Yang, Gulnara Zhabelova, Valeriy Vyatkin

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

2 Sitaatiot (Scopus)

Abstrakti

This paper presents initial results on formal verification of protection functions in a smart power distribution grid. Informal properties of the smart grid were formalized in the language of LTL and formal verification is performed using NuSMV model checker on the closed-loop plant-control model which consists of IEC 61499-based control logic and an abstract plant model of distribution grid with fault scenario. The paper presents the results of verification of dependability, liveliness, safety and security properties. The results show the effectiveness of the closed-loop formal verification methodology.

Alkuperäiskieli	Englanti
Otsikko	Proceedings of the 44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018
Kustantaja	IEEE
Sivut	3550-3555
Sivumäärä	6
ISBN (elektroninen)	9781509066841
DOI - pysyväislinkit	https://doi.org/10.1109/IECON.2018.8592802
Tila	Julkaistu - 26 jouluk. 2018
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa
Tapahtuma	Annual Conference of the IEEE Industrial Electronics Society - Washington, Yhdysvallat Kesto: 21 lokak. 2018 → 23 lokak. 2018 Konferenssinumero: 44

Julkaisusarja

Nimi	Proceedings of the Annual Conference of the IEEE Industrial Electronics Society
Kustantaja	IEEE
ISSN (painettu)	1553-572X

Conference

Conference	Annual Conference of the IEEE Industrial Electronics Society
Lyhennettä	IECON
Maa/Alue	Yhdysvallat
Kaupunki	Washington
Ajanjakso	21/10/2018 → 23/10/2018

YK:n kestävän kehityksen tavoitteet

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

Pääsy asiakirjaan

10.1109/IECON.2018.8592802

Muut tiedostot ja linkit

Link to publication in Scopus

Siteeraa tätä

Drozdov, D., Patil, S., Yang, C.-W., Zhabelova, G., & Vyatkin, V. (2018). Formal verification of protection functions for power distribution networks. teoksessa Proceedings of the 44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018 (Sivut 3550-3555). Artikkeli 8592802 (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society). IEEE. https://doi.org/10.1109/IECON.2018.8592802

@inproceedings{eba85af161574858bae5604dde46df71,

title = "Formal verification of protection functions for power distribution networks",

abstract = "This paper presents initial results on formal verification of protection functions in a smart power distribution grid. Informal properties of the smart grid were formalized in the language of LTL and formal verification is performed using NuSMV model checker on the closed-loop plant-control model which consists of IEC 61499-based control logic and an abstract plant model of distribution grid with fault scenario. The paper presents the results of verification of dependability, liveliness, safety and security properties. The results show the effectiveness of the closed-loop formal verification methodology.",

keywords = "smart grids, circuit breakers, model checking, substations, synthetic aperture sonar, fault location, current transformers",

author = "Dmitrii Drozdov and Sandeep Patil and Chen-Wei Yang and Gulnara Zhabelova and Valeriy Vyatkin",

year = "2018",

month = dec,

day = "26",

doi = "10.1109/IECON.2018.8592802",

language = "English",

series = "Proceedings of the Annual Conference of the IEEE Industrial Electronics Society",

publisher = "IEEE",

pages = "3550--3555",

booktitle = "Proceedings of the 44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018",

address = "United States",

note = "Annual Conference of the IEEE Industrial Electronics Society, IECON ; Conference date: 21-10-2018 Through 23-10-2018",

}

Drozdov, D, Patil, S, Yang, C-W, Zhabelova, G & Vyatkin, V 2018, Formal verification of protection functions for power distribution networks. julkaisussa Proceedings of the 44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018., 8592802, Proceedings of the Annual Conference of the IEEE Industrial Electronics Society, IEEE, Sivut 3550-3555, Annual Conference of the IEEE Industrial Electronics Society, Washington, District of Columbia, Yhdysvallat, 21/10/2018. https://doi.org/10.1109/IECON.2018.8592802

Formal verification of protection functions for power distribution networks. / Drozdov, Dmitrii; Patil, Sandeep; Yang, Chen-Wei et al.
Proceedings of the 44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018. IEEE, 2018. s. 3550-3555 8592802 (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

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

TY - GEN

T1 - Formal verification of protection functions for power distribution networks

AU - Drozdov, Dmitrii

AU - Patil, Sandeep

AU - Yang, Chen-Wei

AU - Zhabelova, Gulnara

AU - Vyatkin, Valeriy

N1 - Conference code: 44

PY - 2018/12/26

Y1 - 2018/12/26

N2 - This paper presents initial results on formal verification of protection functions in a smart power distribution grid. Informal properties of the smart grid were formalized in the language of LTL and formal verification is performed using NuSMV model checker on the closed-loop plant-control model which consists of IEC 61499-based control logic and an abstract plant model of distribution grid with fault scenario. The paper presents the results of verification of dependability, liveliness, safety and security properties. The results show the effectiveness of the closed-loop formal verification methodology.

AB - This paper presents initial results on formal verification of protection functions in a smart power distribution grid. Informal properties of the smart grid were formalized in the language of LTL and formal verification is performed using NuSMV model checker on the closed-loop plant-control model which consists of IEC 61499-based control logic and an abstract plant model of distribution grid with fault scenario. The paper presents the results of verification of dependability, liveliness, safety and security properties. The results show the effectiveness of the closed-loop formal verification methodology.

KW - smart grids

KW - circuit breakers

KW - model checking

KW - substations

KW - synthetic aperture sonar

KW - fault location

KW - current transformers

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

U2 - 10.1109/IECON.2018.8592802

DO - 10.1109/IECON.2018.8592802

M3 - Conference article in proceedings

AN - SCOPUS:85061554077

T3 - Proceedings of the Annual Conference of the IEEE Industrial Electronics Society

SP - 3550

EP - 3555

BT - Proceedings of the 44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018

PB - IEEE

T2 - Annual Conference of the IEEE Industrial Electronics Society

Y2 - 21 October 2018 through 23 October 2018

ER -

Drozdov D, Patil S, Yang CW, Zhabelova G, Vyatkin V. Formal verification of protection functions for power distribution networks. julkaisussa Proceedings of the 44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018. IEEE. 2018. s. 3550-3555. 8592802. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society). doi: 10.1109/IECON.2018.8592802

Formal verification of protection functions for power distribution networks

Abstrakti

Julkaisusarja

Conference

YK:n kestävän kehityksen tavoitteet

Pääsy asiakirjaan

Muut tiedostot ja linkit

Sormenjälki

Siteeraa tätä