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.

[1]  Wolfgang Mueller,et al.  An Introduction to Formal Methods , 2004 .

[2]  Georg Hackenberg,et al.  Applying formal software engineering techniques to smart grids , 2012, 2012 First International Workshop on Software Engineering Challenges for the Smart Grid (SE-SmartGrids).

[3]  Peter G. Harrison,et al.  Computer Performance Evaluation: Modelling Techniques and Tools , 2002, Lecture Notes in Computer Science.

[4]  J. A. Jiang,et al.  A Novel Adaptive PMU Based Transmission Line Relay: Design and EMTP Simulation Results , 2002, IEEE Power Engineering Review.

[5]  Dong Liu,et al.  A distributed fault localization, isolation and supply restoration algorithm based on local topology , 2015 .

[6]  Thilo Krause,et al.  Abstract , 1996, Journal of the Neurological Sciences.

[7]  James S. Thorp,et al.  Computer Relaying for Power Systems , 2009 .

[8]  A. M. Ranjbar,et al.  An Adaptive PMU-Based Wide Area Backup Protection Scheme for Power Transmission Lines , 2015, IEEE Transactions on Smart Grid.

[9]  J. Ben Atkinson,et al.  Modeling and Analysis of Stochastic Systems , 1996 .

[10]  Edmund M. Clarke,et al.  Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .

[11]  Adnan Rashid,et al.  Analysis of Weather Forecasting Model in PRISM , 2014, 2014 12th International Conference on Frontiers of Information Technology.

[12]  Martin L. Puterman,et al.  Markov Decision Processes: Discrete Stochastic Dynamic Programming , 1994 .

[13]  Yuan Liao,et al.  Fault Location for Single-Circuit Line Based on Bus-Impedance Matrix Utilizing Voltage Measurements , 2008, IEEE Transactions on Power Delivery.

[14]  Randel Haverkamp,et al.  A Comparison of Numerical Simulation Models For One-Dimensional Infiltration1 , 1977 .

[15]  Savu Crivat Savulescu.  Real-time stability in power systems : techniques for early detection of the risk of blackout , 2014 .

[16]  Christel Baier,et al.  Principles of model checking , 2008 .

[17]  A.G. Phadke,et al.  Wide Area Protection—Technology and Infrastructures , 2006, IEEE Transactions on Power Delivery.

[18]  Jing Ma,et al.  A Fault Steady State Component-Based Wide Area Backup Protection Algorithm , 2011, IEEE Transactions on Smart Grid.

[19]  Antoni Diller,et al.  Z - an introduction to formal methods , 1990 .

[20]  Jianfeng Ma,et al.  Domino of the smart grid: An empirical study of system behaviors in the interdependent network architecture , 2013, 2013 IEEE International Conference on Smart Grid Communications (SmartGridComm).

[21]  Marta Z. Kwiatkowska,et al.  PRISM: Probabilistic Symbolic Model Checker , 2002, Computer Performance Evaluation / TOOLS.

[22]  Danièle Beauquier.  On probabilistic timed automata , 2003, Theor. Comput. Sci..

[23]  Philippe Rigo,et al.  A review on simulation-based optimization methods applied to building performance analysis , 2014 .

[24]  Osman Hasan,et al.  Probabilistic Formal Verification of Communication Network-based Fault Detection, Isolation and Service Restoration System in Smart Grid , 2018, FLAP.

[25]  A.G. Phadke,et al.  Third zone revisited , 2006, IEEE Transactions on Power Delivery.

[26]  M.M. Eissa,et al.  A Novel Back Up Wide Area Protection Technique for Power Transmission Grids Using Phasor Measurement Unit , 2010, IEEE Transactions on Power Delivery.