Formal Verification Of FDIR in Smart Grid

Lieferzeit: Lieferbar innerhalb 14 Tagen

55,90 

ISBN: 6138388763
ISBN 13: 9786138388760
Autor: Naseem, Syed Atif/Uddin, Riaz/Naseem, Syed Wasif
Verlag: LAP LAMBERT Academic Publishing
Umfang: 148 S.
Erscheinungsdatum: 15.04.2018
Auflage: 1/2018
Format: 1 x 22 x 15
Gewicht: 238 g
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 5026159 Kategorie:

Beschreibung

For fault detection in the distribution network of Smart Grid and isolate the faulty load switches with in the limited period, FDIR algorithm runs on DFA controller which are installed at the Communication network of Smart Grid in order to control the power devices of distribution network. For its reliability analysis, formal verification is necessary in order to investigate its accuracy, stability and efficiency when fault is occurred on the network. Through probabilistic analysis of FDIR based distribution network via PRISM model checker tool, we can estimate the failure probability of network and take a corrective action and maintenance so that, faulty component can be replaced in advance to avoid the complete failure of system.

Autorenporträt

Syed Atif Naseem received his B.E. in Electrical & Electronics Engineering from the Department of Electrical & Electronics Engineering at SIR SYED University of Engineering and Technology, Pakistan, in 2008 and completed his MSc in Electrical & Electronics Engineering from Izmir Economics University,Turkey.He has 10 years of Industrial Experience.

Herstellerkennzeichnung:


BoD - Books on Demand
In de Tarpen 42
22848 Norderstedt
DE

E-Mail: info@bod.de

Das könnte Ihnen auch gefallen …