Formal Verification Of FDIR in Smart Grid - Couverture souple

Naseem, Syed Atif; Uddin, Riaz; Naseem, Syed Wasif

 
9786138388760: Formal Verification Of FDIR in Smart Grid
Couverture souple
ISBN 10 : 6138388763 ISBN 13 : 9786138388760
Editeur : LAP LAMBERT Academic Publishing, 2018

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
LAP LAMBERT Academic Publishing
Date d'édition
2018
Langue
anglais
ISBN 10 
6138388763
ISBN 13 
9786138388760
Reliure
Broché
Nombre de pages
148
Coordonnées du fabricant
non disponible
Personne responsable
KreGa Onlinehandel GmbH
4950000000000
info@krega-onlinehandel.de

Birkenweg 31
Brakel
33034
Allemagne