Skip to main content

Advertisement

SpringerLink
Log in

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

  • Original Article
  • Published:
Journal of Electrical Engineering & Technology Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15
Fig. 16

Similar content being viewed by others

Abbreviations

FDIR:

Fault detection, isolation and restore supply of system

FTU:

Feeder terminal unit

CB:

Circuit breaker

DFA:

Distributed feeder automation

FASM:

FDIR message start

ISOM:

Isolation message result

RESM:

Restoration message result

IED:

Intelligent electrical device

References

  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–789

    Article  Google Scholar 

  2. Farhangi H (2010) The path of the smart grid. IEEE Power Energy Mag 8:1

    Article  Google Scholar 

  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–980

    Article  Google Scholar 

  4. Woo PS, Kim BH (2017) Methodology of cyber security assessment in the smart grid. J Electr Eng Technol 12(2):495–501

    Article  Google Scholar 

  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–1129

    Article  Google Scholar 

  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–984

    Article  Google Scholar 

  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–5

  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–1644

    Article  Google Scholar 

  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–593

    Article  Google Scholar 

  10. Wang W, Xu Y, Khanna M (2011) A survey on the communication architectures in smart grid. Comput Netw 55(15):3604–3629

    Article  Google Scholar 

  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–20

    Article  Google Scholar 

  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–617

  13. Liu JG, Zhang X (2016) Fault location and service restoration for electrical distribution systems. Wiley, New York

    Book  Google Scholar 

  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. https://doi.org/10.1007/s12555-018-0774-6

    Article  Google Scholar 

  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–365

    MathSciNet  Google Scholar 

  16. Baier C, Katoen JP, Larsen KG (2008) Principles of model checking. MIT Press, New York

    MATH  Google Scholar 

  17. Agha G, Palmskog K (2018) A survey of statistical model checking. ACM Trans Model Comput Simul (TOMACS) 28(1):6

    Article  MathSciNet  Google Scholar 

  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–31

    Article  Google Scholar 

  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–210

    Article  Google Scholar 

  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. 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. Dannenberg FG (2015) Modelling and verification for DNA nanotechnology. PhD Thesis, University of Oxford

  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. 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–202

  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–288

  26. Yu Y, Yang J, Chen B (2012) The smart grids in China—a review. Energies 5(5):1321–1338

    Article  Google Scholar 

  27. Yuan J, Shen J, Pan L, Zhao C, Kang J (2014) Smart grids in China. Renew Sustain Energy Rev 37:896–906

    Article  Google Scholar 

  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–204

    Chapter  Google Scholar 

  29. Gilks WR, Richardson S, Spiegelhalter D (1995) Markov chain Monte Carlo in practice. CRC Press, Boca Raton

    Book  Google Scholar 

  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–270

  31. Kulkarni VG (2016) Modeling and analysis of stochastic systems. CRC Press, Boca Raton

    Google Scholar 

  32. Puterman ML (2014) Markov decision processes: discrete stochastic dynamic programming. Wiley, New York

    MATH  Google Scholar 

  33. Beauquier D (2003) On probabilistic timed automata. Theoret Comput Sci 292(1):65–84

    Article  MathSciNet  Google Scholar 

  34. http://www.prismmodelchecker.org/. Accessed 15 Apr 2018

  35. ND Statistics (2007) Grid disturbance and fault statistics

Download references

Author information

Authors and Affiliations

  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 Technology, Karachi, 75270, Pakistan

    Riaz Uddin

  2. Department of Electrical Engineering, NED University of Engineering and Technology, Karachi, 75270, Pakistan

    Riaz Uddin & Muhammad Hammad Uddin

  3. Department of Electrical Engineering, College of Engineering, Majmaah University, Majmaah, 11952, Saudi Arabia

    Ali S. Alghamdi & Ahmed Bilal Awan

  4. Department of Electrical and Computer Engineering, Worcester Polytechnic Institute, Worcester, MA, 01609, USA

    Muhammad Hammad Uddin

  5. ARC Energy and Telecom, Muscat, Oman

    Syed Atif Naseem

Authors
  1. Riaz Uddin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ali S. Alghamdi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Muhammad Hammad Uddin
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ahmed Bilal Awan
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Syed Atif Naseem
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Riaz Uddin.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Uddin, R., Alghamdi, A.S., Uddin, M.H. et al. Ethernet-Based Fault Diagnosis and Control in Smart Grid: A Stochastic Analysis via Markovian Model Checking. J. Electr. Eng. Technol. 14, 2289–2300 (2019). https://doi.org/10.1007/s42835-019-00287-7

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s42835-019-00287-7

Keywords

Search

Navigation