Probability estimation for the fault detection and isolation of pmu-based transmission line system of smart grid

Phasor measurement sensor plays an important role in finding the fault location in smart transmission line grid by sensing the voltage and current phasors of the sum of zero- and/or positive sequence entering the phasor measurement unit and communicate with the other PMU sensor installed at other buses in order to isolate the faulty transmission line. This work studies the accuracy and reliability of the information flow of the backup protection system in transmission line network. A method is proposed to find the fault detection and isolation probabilities of the transmission line of smart grid. We propose the development of Markovian model of the Western System Coordinating Council (WSCC-9) bus system with backup protection zone and formally verify the model via probabilistic model checker tool in order to analyse the system accuracy, efficiency and reliability by developing the logical properties. Furthermore, prediction of the success/failure isolation probabilities of transmission line is done. The probabilistic model checker (PRISM) is utilized for the estimation of all the success /failure probabilities and the verification of the WSCC-9 bus model via logical properties.