Reachability analysis for the veriﬁcation of adaptive protection setting selection logic

Ibrahim Faiek Abdulhadi; Adam Dysko; Graeme Burt

doi:10.1109/TPWRD.2014.2304614

Reachability analysis for the veriﬁcation of adaptive protection setting selection logic

Ibrahim Faiek Abdulhadi, Adam Dysko, Graeme Burt

Electronic And Electrical Engineering

Research output: Contribution to journal › Article › peer-review

5 Citations (Scopus)

173 Downloads (Pure)

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.

Original language	English
Number of pages	9
Journal	IEEE Transactions on Power Delivery
Early online date	26 Feb 2014
DOIs	https://doi.org/10.1109/TPWRD.2014.2304614
Publication status	E-pub ahead of print - 26 Feb 2014

Keywords

adaptive relaying,
distance protection
hybrid systems
performance verification
reachability analysis

Access to Document

10.1109/TPWRD.2014.2304614

Reachability analysis for evaluating adaptive protection performance_submitted for publicationSubmitted manuscript, 601 KB

1 Finished

SUPERGEN FLEXIBLE NETWORK (FLEXNET) CORE + PLUS
McDonald, J., Anaya-Lara, O., Ault, G., Bell, K., Burt, G., Finney, S. & Johnstone, C.
EPSRC (Engineering and Physical Sciences Research Council)
1/10/07 → 30/03/12
Project: Research

Cite this

@article{74f11d407f124b2e8e990ecb7955808f,

title = "Reachability analysis for the veriﬁcation 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 = feb,

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 veriﬁcation 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

JF - IEEE Transactions on Power Delivery

SN - 0885-8977

ER -

Reachability analysis for the veriﬁcation of adaptive protection setting selection logic

Abstract

Keywords

Access to Document

Fingerprint

Projects

SUPERGEN FLEXIBLE NETWORK (FLEXNET) CORE + PLUS

Cite this