Reachability analysis for the verification of adaptive protection setting selection logic

Research output: Contribution to journalArticle

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

@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",

}

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 -