Formal Verification Of FDIR in Smart Grid
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
55.90 €
Produktdetails
Produktinformationen zu „Formal Verification Of FDIR in Smart Grid “
Klappentext zu „Formal Verification Of FDIR in Smart Grid “
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.
Bibliographische Angaben
- Autoren: Syed Atif Naseem , Riaz Uddin , Syed Wasif Naseem
- 2018, 148 Seiten, Maße: 22 cm, Kartoniert (TB), Englisch
- Verlag: LAP Lambert Academic Publishing
- ISBN-10: 6138388763
- ISBN-13: 9786138388760
Sprache:
Englisch
Kommentar zu "Formal Verification Of FDIR in Smart Grid"
0 Gebrauchte Artikel zu „Formal Verification Of FDIR in Smart Grid“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Formal Verification Of FDIR in Smart Grid".
Kommentar verfassen