2017
DOI: 10.1109/tie.2017.2682042
|View full text |Cite
|
Sign up to set email alerts
|

A Formal Methodology for Accomplishing IEC 61850 Real-Time Communication Requirements

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
9
0

Year Published

2018
2018
2021
2021

Publication Types

Select...
5
2
1

Relationship

0
8

Authors

Journals

citations
Cited by 35 publications
(12 citation statements)
references
References 27 publications
0
9
0
Order By: Relevance
“…The results were compared with data obtained from a simulation platform developed in OPNET. In [20], the authors use timed automata and model checking to perform formal verification of the IEC 61850 real-time communication requirements.…”
Section: Related Workmentioning
confidence: 99%
“…The results were compared with data obtained from a simulation platform developed in OPNET. In [20], the authors use timed automata and model checking to perform formal verification of the IEC 61850 real-time communication requirements.…”
Section: Related Workmentioning
confidence: 99%
“…III-B. Since the STFT of real signals is symmetric in magnitude and all integer numbers are also real numbers, only the spectral components corresponding to positive frequencies are estimated and the magnitude is multiplied by 2, as shown in (8). The highest positive frequency after the 2 nd decimation stage corresponds to the Nyquist frequency given in (7).…”
Section: Harmonic Modulementioning
confidence: 99%
“…Since the set of basis vectors {ψ k } is orthogonal and each element has norm L H,m , the results are normalised by the length of the STFT window 1/L H,m in the analysis formula (8), which considers a rectangular window. Additionally, the estimated amplitude of the k th spectral component is divided by √ 2 in order to obtain the RMS value.…”
Section: Harmonic Modulementioning
confidence: 99%
See 1 more Smart Citation
“…IEC 61850-based CAPCS, which has been widely employed in substations [9], [10], was preliminarily introduced to DNs [11]. One of the advantages of IEC 61850based CAPSC is to improve the protection performance.…”
Section: Introductionmentioning
confidence: 99%