Items related to Formal Verification Of FDIR in Smart Grid
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.
"synopsis" may belong to another edition of this title.
Search results for Formal Verification Of FDIR in Smart Grid
Seller Image
Formal Verification Of FDIR in Smart Grid
Published by
LAP LAMBERT Academic Publishing Mrz 2018, 2018
ISBN 10: 6138388763
ISBN 13: 9786138388760
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 148 pp. Englisch. Seller Inventory # 9786138388760
Stock Image
Formal Verification Of FDIR in Smart Grid
Published by
LAP LAMBERT Academic Publishing, 2018
ISBN 10: 6138388763
ISBN 13: 9786138388760
New
Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26395826428
Seller Image
Formal Verification Of FDIR in Smart Grid
Published by
LAP LAMBERT Academic Publishing, 2018
ISBN 10: 6138388763
ISBN 13: 9786138388760
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Naseem Syed AtifSyed 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 comple. Seller Inventory # 385848279
Buy New
£ 39.69
£ 40.87 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Formal Verification Of FDIR in Smart Grid
Published by
LAP LAMBERT Academic Publishing, 2018
ISBN 10: 6138388763
ISBN 13: 9786138388760
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Seller Inventory # 9786138388760
Stock Image
Formal Verification Of FDIR in Smart Grid
Published by
LAP LAMBERT Academic Publishing, 2018
ISBN 10: 6138388763
ISBN 13: 9786138388760
New
Softcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 400583459
Buy New
£ 77.58
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Formal Verification Of FDIR in Smart Grid
Published by
LAP LAMBERT Academic Publishing, 2018
ISBN 10: 6138388763
ISBN 13: 9786138388760
New
Softcover
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND. Seller Inventory # 18395826422
Seller Image
Formal Verification Of FDIR in Smart Grid
Published by
LAP LAMBERT Academic Publishing Mär 2018, 2018
ISBN 10: 6138388763
ISBN 13: 9786138388760
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 148 pp. Englisch. Seller Inventory # 9786138388760
Seller Image
Formal Verification Of FDIR in Smart Grid
Published by
LAP LAMBERT Academic Publishing, 2018
ISBN 10: 6138388763
ISBN 13: 9786138388760
New
Taschenbuch
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Formal Verification Of FDIR in Smart Grid | Syed Atif Naseem (u. a.) | Taschenbuch | 148 S. | Englisch | 2018 | LAP LAMBERT Academic Publishing | EAN 9786138388760 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu. Seller Inventory # 113501142