Formal verification of protection functions for power distribution networks

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review


Research units

  • Luleå University of Technology
  • Penza State University


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.


Original languageEnglish
Title of host publicationProceedings of the 44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018
Publication statusPublished - 26 Dec 2018
MoE publication typeA4 Article in a conference publication
EventAnnual Conference of the IEEE Industrial Electronics Society - Washington, United States
Duration: 21 Oct 201823 Oct 2018
Conference number: 44

Publication series

NameProceedings of the Annual Conference of the IEEE Industrial Electronics Society
ISSN (Print)1553-572X


ConferenceAnnual Conference of the IEEE Industrial Electronics Society
Abbreviated titleIECON
CountryUnited States

    Research areas

  • smart grids, circuit breakers, model checking, substations, synthetic aperture sonar, fault location, current transformers

ID: 32397124