Reachability analysis for the verification of adaptive protection setting selection logic

Ibrahim Faiek Abdulhadi, Adam Dysko, Graeme Burt

Research output: Contribution to journal › Article

5 Citations (Scopus)

Abstract

The testing of adaptive protection schemes is a problem that remains largely unaddressed. These schemes can be characterized by uncertainty in behavior due to the dynamic changes in their configuration to suit prevailing network conditions. This paper proposes a novel approach to formalizing this behavior using hybrid systems modeling. This unlocks the ability to verify the safety performance of the schemes using reachability analysis. In this paper, an adaptive setting selection logic for distance protection is verified for its safety, using reachability analysis, during changes in network conditions.
LanguageEnglish
Number of pages9
JournalIEEE Transactions on Power Delivery
Early online date26 Feb 2014
DOIs
Publication statusE-pub ahead of print - 26 Feb 2014

Fingerprint

Hybrid systems
Testing
Uncertainty

Keywords

  • adaptive relaying,
  • distance protection
  • hybrid systems
  • performance verification
  • reachability analysis

Cite this

Abdulhadi, Ibrahim Faiek ; Dysko, Adam ; Burt, Graeme. / Reachability analysis for the verification of adaptive protection setting selection logic. In: IEEE Transactions on Power Delivery. 2014.
@article{74f11d407f124b2e8e990ecb7955808f,
title = "Reachability analysis for the verification of adaptive protection setting selection logic",
abstract = "The testing of adaptive protection schemes is a problem that remains largely unaddressed. These schemes can be characterized by uncertainty in behavior due to the dynamic changes in their configuration to suit prevailing network conditions. This paper proposes a novel approach to formalizing this behavior using hybrid systems modeling. This unlocks the ability to verify the safety performance of the schemes using reachability analysis. In this paper, an adaptive setting selection logic for distance protection is verified for its safety, using reachability analysis, during changes in network conditions.",
keywords = "adaptive relaying, , distance protection, hybrid systems, performance verification, reachability analysis",
author = "Abdulhadi, {Ibrahim Faiek} and Adam Dysko and Graeme Burt",
year = "2014",
month = "2",
day = "26",
doi = "10.1109/TPWRD.2014.2304614",
language = "English",
journal = "IEEE Transactions on Power Delivery",
issn = "0885-8977",

}

Abdulhadi, IF, Dysko, A & Burt, G 2014, 'Reachability analysis for the verification of adaptive protection setting selection logic' IEEE Transactions on Power Delivery. https://doi.org/10.1109/TPWRD.2014.2304614

Reachability analysis for the verification of adaptive protection setting selection logic. / Abdulhadi, Ibrahim Faiek; Dysko, Adam; Burt, Graeme.

In: IEEE Transactions on Power Delivery, 26.02.2014.

Research output: Contribution to journal › Article

TY - JOUR

T1 - Reachability analysis for the verification of adaptive protection setting selection logic

AU - Abdulhadi, Ibrahim Faiek

AU - Dysko, Adam

AU - Burt, Graeme

PY - 2014/2/26

Y1 - 2014/2/26

N2 - The testing of adaptive protection schemes is a problem that remains largely unaddressed. These schemes can be characterized by uncertainty in behavior due to the dynamic changes in their configuration to suit prevailing network conditions. This paper proposes a novel approach to formalizing this behavior using hybrid systems modeling. This unlocks the ability to verify the safety performance of the schemes using reachability analysis. In this paper, an adaptive setting selection logic for distance protection is verified for its safety, using reachability analysis, during changes in network conditions.

AB - The testing of adaptive protection schemes is a problem that remains largely unaddressed. These schemes can be characterized by uncertainty in behavior due to the dynamic changes in their configuration to suit prevailing network conditions. This paper proposes a novel approach to formalizing this behavior using hybrid systems modeling. This unlocks the ability to verify the safety performance of the schemes using reachability analysis. In this paper, an adaptive setting selection logic for distance protection is verified for its safety, using reachability analysis, during changes in network conditions.

KW - adaptive relaying,

KW - distance protection

KW - hybrid systems

KW - performance verification

KW - reachability analysis

U2 - 10.1109/TPWRD.2014.2304614

DO - 10.1109/TPWRD.2014.2304614

M3 - Article

JO - IEEE Transactions on Power Delivery

T2 - IEEE Transactions on Power Delivery

JF - IEEE Transactions on Power Delivery

SN - 0885-8977

ER -

Abdulhadi IF, Dysko A, Burt G. Reachability analysis for the verification of adaptive protection setting selection logic. IEEE Transactions on Power Delivery. 2014 Feb 26. https://doi.org/10.1109/TPWRD.2014.2304614

Access to Document

    Related content

    Projects

    SUPERGEN FLEXIBLE NETWORK (FLEXNET) CORE + PLUS

    Project: Research