Naseem S.A.Eslampanah, RahelehUddin R.2023-06-162023-06-1620189.78E+12https://doi.org/10.1109/ICEEE2.2018.8391347https://hdl.handle.net/20.500.14365/35365th International Conference on Electrical and Electronics Engineering, ICEEE 2018 -- 3 May 2018 through 5 May 2018 -- 137377Phasor 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. © 2018 IEEE.eninfo:eu-repo/semantics/closedAccessformal verificationPMUPRISMprotection systemElectric linesElectric power transmission networksFormal verificationMarkov processesModel checkingPhase measurementPhasor measurement unitsPrismsSmart power gridsEfficiency and reliabilityFault detection and isolationIsolation probabilitiesProbabilistic modelingProtection systemsSmart transmission linesTransmission line networksTransmission line systemsFault detectionConference Object10.1109/ICEEE2.2018.83913472-s2.0-85050036894