Journal of Electrical Engineering & Technology

, Volume 14, Issue 6, pp 2289–2300 | Cite as

Ethernet-Based Fault Diagnosis and Control in Smart Grid: A Stochastic Analysis via Markovian Model Checking

  • Riaz UddinEmail author
  • Ali S. Alghamdi
  • Muhammad Hammad Uddin
  • Ahmed Bilal Awan
  • Syed Atif Naseem
Original Article


The fault diagnosis and control through fault detection, isolation and supply restoration (FDIR) technique is the part of a commonly used distribution management system application in smart grid. When the fault occurs, it becomes essential to detect and isolate the faulty section of the distribution network at once and then restore back to its running condition through tie switches. The communication between IEDs is done through different communication mediums such as Ethernet, wireless, power line communication etc. Therefore, formal analysis of the FDIR mechanism is required with communication network (ideally Ethernet), which helps us to predict the behavior of FDIR response upon the occurrence of fault in terms of various important probabilities, reliability study and efficiency (showing the system will work properly). In this regard, for the above said analyses, this article discusses (a) the development of the Markovian model of FDIR for distribution network of smart grid considering Tianjin Electric Power Network as case study with intelligent electronic devices (IEDs) using ideal communication medium (Ethernet); (b) utilized probabilistic model checker (PRISM tool) to predict the probabilities; (c) perform the reliability analyses and (d) study the efficiency of FDIR behavior for future grid using logical properties. The detailed analysis and prediction (done for the fault occurrence scenario) mainly focus in determining the (1) the probability of switching failures of FDIR in smart grid; (2) the probability of isolating the defective switch from the system within limited time and (3) the probability of restoring the system automatically within the minimum possible interval.


FDIR Ethernet Smart grid Markov model Model checking Stochastic analysis 



Fault detection, isolation and restore supply of system


Feeder terminal unit


Circuit breaker


Distributed feeder automation


FDIR message start


Isolation message result


Restoration message result


Intelligent electrical device



  1. 1.
    Hannan M, Hoque M, Mohamed A, Ayob A (2017) Review of energy storage systems for electric vehicle applications: issues and challenges. Renew Sustain Energy Rev 69:771–789CrossRefGoogle Scholar
  2. 2.
    Farhangi H (2010) The path of the smart grid. IEEE Power Energy Mag 8:1CrossRefGoogle Scholar
  3. 3.
    Fang X, Misra S, Xue G, Yang D (2012) Smart grid—the new and improved power grid: a survey. IEEE Commun Surv Tutor 14(4):944–980CrossRefGoogle Scholar
  4. 4.
    Woo PS, Kim BH (2017) Methodology of cyber security assessment in the smart grid. J Electr Eng Technol 12(2):495–501CrossRefGoogle Scholar
  5. 5.
    Ling W, Liu D (2015) A distributed fault localization, isolation and supply restoration algorithm based on local topology. Int Trans Electr Energy Syst 25(7):1113–1129CrossRefGoogle Scholar
  6. 6.
    Ling W, Liu D, Lu Y, Du P, Pan F (2014) IEC 61850 model expansion toward distributed fault localization, isolation, and supply restoration. IEEE Trans Power Deliv 29(3):977–984CrossRefGoogle Scholar
  7. 7.
    Uluski R (2012) Using distribution automation for a self-healing grid. In: IEEE PES, transmission and distribution conference and exposition (T&D), pp 1–5Google Scholar
  8. 8.
    Lim S-I, Lee S-J, Choi M-S, Lim D-J, Ha B-N (2006) Service restoration methodology for multiple fault case in distribution systems. IEEE Trans Power Syst 21(4):1638–1644CrossRefGoogle Scholar
  9. 9.
    Lim I-H, Sidhu TS, Choi M-S, Lee S-J, Hong S, Lim S-I, Lee S-W (2013) Design and implementation of multiagent-based distributed restoration system in DAS. IEEE Trans Power Deliv 28(2):585–593CrossRefGoogle Scholar
  10. 10.
    Wang W, Xu Y, Khanna M (2011) A survey on the communication architectures in smart grid. Comput Netw 55(15):3604–3629CrossRefGoogle Scholar
  11. 11.
    Yan Y, Qian Y, Sharif H, Tipper D (2013) A survey on smart grid communication infrastructures: motivations, requirements and challenges. IEEE Commun Surv Tutor 15(1):5–20CrossRefGoogle Scholar
  12. 12.
    Lu X, Wang W, Ma J, Sun L (2013) Domino of the smart grid: An empirical study of system behaviors in the interdependent network architecture. In: The IEEE international conference on smart grid communications (SmartGridComm), pp 612–617Google Scholar
  13. 13.
    Liu JG, Zhang X (2016) Fault location and service restoration for electrical distribution systems. Wiley, New YorkCrossRefGoogle Scholar
  14. 14.
    Uddin R, Naseem SA, Iqbal Z (2019) Formal reliability analyses of power line communication network-based control in smart grid. Int J Control Autom Syst 1:1–11. CrossRefGoogle Scholar
  15. 15.
    Naseem SA, Uddin R, Hasan O, Gadelmavla D (2018) Probabilistic formal verification of communication network-based fault detection, isolation and service restoration system in smart grid. J Appl Logic IfCoLoG J Logics Appl 5(1):319–365MathSciNetGoogle Scholar
  16. 16.
    Baier C, Katoen JP, Larsen KG (2008) Principles of model checking. MIT Press, New YorkzbMATHGoogle Scholar
  17. 17.
    Agha G, Palmskog K (2018) A survey of statistical model checking. ACM Trans Model Comput Simul (TOMACS) 28(1):6MathSciNetCrossRefGoogle Scholar
  18. 18.
    Park G-P, Heo J-H, Lee S-S, Yoon Y-T (2011) Generalized reliability centered maintenance modeling through modified semi-Markov Chain in power systém. J Electr Eng Technol 6(1):25–31CrossRefGoogle Scholar
  19. 19.
    Kwiatkowska M, Parker D, Wiltsche C (2018) PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives. Int J Softw Tools Technol Transfer 20(2):195–210CrossRefGoogle Scholar
  20. 20.
    Kwiatkowska M, Norman G, Parker D, Santos G (2018) Equilibria-based probabilistic model checking for concurrent stochastic games. arXiv:1811.07145 (arXiv preprint)
  21. 21.
    Evangelidis A, Parker D (2019) Quantitative verification of numerical stability for Kalman filters. In: Proceedings of 23rd international symposium on formal methods (FM’19)Google Scholar
  22. 22.
    Dannenberg FG (2015) Modelling and verification for DNA nanotechnology. PhD Thesis, University of OxfordGoogle Scholar
  23. 23.
    Lacerda B, Faruq F, Parker D, Hawes N (2019) Probabilistic planning with formal performance guarantees for mobile service robots. Int J Robot Res 2019:1–28 (in Press) Google Scholar
  24. 24.
    Mahmood A, Hasan O, Gillani HR, Saleem Y, Hasan SR (2016) Formal reliability analysis of protective systems in smart grids. In: The IEEE region 10 symposium (TENSYMP), pp 198–202Google Scholar
  25. 25.
    Naseem SA, Eslampanah R, Uddin R (2018) Probability estimation for the fault detection and isolation of pmu-based transmission line system of smart grid. In: 5th international conference on electrical and electronic engineering (ICEEE), pp 284–288Google Scholar
  26. 26.
    Yu Y, Yang J, Chen B (2012) The smart grids in China—a review. Energies 5(5):1321–1338CrossRefGoogle Scholar
  27. 27.
    Yuan J, Shen J, Pan L, Zhao C, Kang J (2014) Smart grids in China. Renew Sustain Energy Rev 37:896–906CrossRefGoogle Scholar
  28. 28.
    Kwiatkowska M, Norman G, Parker D (2002) PRISM: Probabilistic symbolic model checker. In: International conference on modelling techniques and tools for computer performance evaluation, pp 200–204CrossRefGoogle Scholar
  29. 29.
    Gilks WR, Richardson S, Spiegelhalter D (1995) Markov chain Monte Carlo in practice. CRC Press, Boca RatonCrossRefGoogle Scholar
  30. 30.
    Kwiatkowska M, Norman G, Parker D (2007) Stochastic model checking. In: International school on formal methods for the design of computer, communication and software system, pp 220–270Google Scholar
  31. 31.
    Kulkarni VG (2016) Modeling and analysis of stochastic systems. CRC Press, Boca RatonGoogle Scholar
  32. 32.
    Puterman ML (2014) Markov decision processes: discrete stochastic dynamic programming. Wiley, New YorkzbMATHGoogle Scholar
  33. 33.
    Beauquier D (2003) On probabilistic timed automata. Theoret Comput Sci 292(1):65–84MathSciNetCrossRefGoogle Scholar
  34. 34. Accessed 15 Apr 2018
  35. 35.
    ND Statistics (2007) Grid disturbance and fault statisticsGoogle Scholar

Copyright information

© The Korean Institute of Electrical Engineers 2019

Authors and Affiliations

  • Riaz Uddin
    • 1
    • 2
    Email author
  • Ali S. Alghamdi
    • 3
  • Muhammad Hammad Uddin
    • 2
    • 4
  • Ahmed Bilal Awan
    • 3
  • Syed Atif Naseem
    • 5
  1. 1.Haptics, Human-Robotics and Condition Monitoring Lab (affiliated with National Center of Robotics and Automation - NCRA HEC/PC Pakistan) at NED University of Engineering and TechnologyKarachiPakistan
  2. 2.Department of Electrical EngineeringNED University of Engineering and TechnologyKarachiPakistan
  3. 3.Department of Electrical Engineering, College of EngineeringMajmaah UniversityMajmaahSaudi Arabia
  4. 4.Department of Electrical and Computer EngineeringWorcester Polytechnic InstituteWorcesterUSA
  5. 5.ARC Energy and TelecomMuscatOman

Personalised recommendations