Skip to main content
SpringerLink
Log in

Formal Reliability Analyses of Power Line Communication Network-based Control in Smart Grid

  • Regular Papers
  • Published:
International Journal of Control, Automation and Systems Aims and scope Submit manuscript

Abstract

Communication network is one of the primary elements of the Smart Grid for sending and receiving the bi-directional flows of important information such as load flow, faults, etc., in a reliable and efficient way. In this regard, G3-Power Line Communication (PLC) network is the most ideal preference over wireless or wired communication technology due to low cost, high throughput and better reliability for the distribution network of Smart Grid. This fact motivated us to study and analyze in detail the accuracy and reliability of the flow of information of the PLC network in terms of probabilities especially for Fault Detection, Isolation and Supply Restoration (FDIR) behavior in the distribution system of Smart Grid through formal analyses. In order to perform the analyses, first we develop the Markovian model of the FDIR behavior with (G3-PLC) in distribution network of Smart Grid of the practical intelligent distribution network system case study, and then formally verify the model via probabilistic model checker (PRISM) tool in order to analyze the system accuracy, efficiency and reliability by developing the logical properties and finding the success/failure probabilities for FDIR mechanism at the occurrence of fault. Finally, some important discussions are made comparing FDIR connected with Ethernet communication network against FDIR connected with PLC network.

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

Similar content being viewed by others

References

  1. M. Schwartz, “History of communications: carrier-wave telephony over power lines: early history,” IEEE Communications Magazine, vol. 47, no. 1, pp. 14–18, 2009.

    Article  Google Scholar 

  2. L. Lampe, Power Line Communications: Principles, Standards and Applications from Multimedia to Smart Grid, John Wiley & Sons, 2016.

    Book  Google Scholar 

  3. S. Galli, A. Scaglione, and Z. Wang, “For the grid and through the grid: the role of power line communications in the smart grid,” Proceedings of the IEEE, vol. 99, no. 6, pp. 998–1027, 2011.

    Article  Google Scholar 

  4. S. Galli, M. Koch, H. Latchman, S. Lee, and V. Oksman, “Industrial and international standards on PLCbased networking technologies,” Power Line Communications: Theory and Applications for Narrowband and Broadband Communications Over Power Lines, pp. 363–412, 2010.

    Chapter  Google Scholar 

  5. W. Ling, and D. Liu, “A distributed fault localization, isolation and supply restoration algorithm based on local topology,” International Transactions on Electrical Energy Systems, vol. 25, no. 7, pp. 1113–1129, 2015.

    Article  Google Scholar 

  6. J. G. Liu, and X. Zhang, Fault Location and Service Restoration for Electrical Distribution Systems, John Wiley & Sons, 2016.

    Book  Google Scholar 

  7. C. P. Nguyen and A. J. Flueck, “Agent based restoration with distributed energy storage support in smart grids,” IEEE Transactions on Smart Grid, vol. 3, no. 2, pp. 1029–1038, 2012.

    Article  Google Scholar 

  8. J. M. Solanki, S. Khushalani, and N. N. Schulz, “A multiagent solution to distribution systems restoration,” IEEE Transactions on Power Systems, vol. 22, no. 3, pp. 1026–1034, 2007.

    Article  Google Scholar 

  9. I.-H. Lim, T. S. Sidhu, M.-S. Choi, S.-J. Lee, S. Hong, S.-I. Lim, and S.-W. Lee, “Design and implementation of multiagent-based distributed restoration system in DAS,” IEEE Transactions on Power Delivery, vol. 28, no. 2, pp. 585–593, 2013.

    Article  Google Scholar 

  10. H. Jiang, J. J. Zhang, W. Gao, and Z. Wu, “Fault detection, identification, and location in smart grid based on data-driven computational methods,” IEEE Transactions on Smart Grid, vol. 5, no. 6, pp. 2947–2956, 2014.

    Article  Google Scholar 

  11. M. Irfan, J. Iqbal, A. Iqbal, Z. Iqbal, R. A. Riaz, and A. Mehmood, “Opportunities and challenges in control of smart gridsPakistani perspective,” Renewable and Sustainable Energy Reviews, vol. 71, pp. 652–674, 2017.

    Article  Google Scholar 

  12. R. Haverkamp, M. Vauclin, J. Touma, P. Wierenga, and G. Vachaud, “A comparison of numerical simulation models for one-dimensional infiltration,” Soil Science Society of America Journal, vol. 41, no. 2, pp. 285–294, 1977.

    Article  Google Scholar 

  13. A.-T. Nguyen, S. Reiter, and P. Rigo, “A review on simulation-based optimization methods applied to building performance analysis,” Applied Energy, vol. 113, pp. 1043–1058, 2014.

    Article  Google Scholar 

  14. A. Diller, An Introduction to Formal Methods, John Wiley & Sons, Inc., 1990.

    MATH  Google Scholar 

  15. G. Hackenberg, M. Irlbeck, V. Koutsoumpas, and D. Bytschkow, “Applying formal software engineering techniques to smart grids,” Proc. of the International Workshop on Software Engineering for the Smart Grid (SE4SG), pp. 50–56, 2012.

    Google Scholar 

  16. L.-W. Li, M. Shen, and W. Qin, “Simultaneous fault detection and control for Markovian jump systems with general uncertain transition rates,” International Journal of Control, Automation and Systems, vol. 16, no. 5, pp. 2074–2081, 2018.

    Article  Google Scholar 

  17. L. Rong, X. Peng, and B. Zhang, “A reduced-order fault detection filter design for polytopic uncertain continuoustime Markovian jump systems with time-varying delays,” International Journal of Control, Automation and Systems, vol. 16, no. 5, pp. 2021–2032, 2018.

    Article  Google Scholar 

  18. C. Baier, J.-P. Katoen, and K. G. Larsen, Principles of Model Checking, MIT press, 2008.

    MATH  Google Scholar 

  19. https://doi.org/www.prismmodelchecker.org/.

  20. A. Naseem, R. Uddin, O. Hasan, and D. E. Fawzy, “Probabilistic formal verification of communication networkbased fault detection, isolation and service restoration system in smart grid,” Journal of Applied Logics - IFCoLog Journal of Logics and their Applications, vol. 5, no. 1, pp. 319–365, 2018.

    MathSciNet  Google Scholar 

  21. J. Yuan, J. Shen, L. Pan, C. Zhao, and J. Kang, “Smart grids in China,” Renewable and Sustainable Energy Reviews, vol. 37, pp. 896–906, 2014.

    Article  Google Scholar 

  22. C.-H. Lo and N. Ansari, “The progressive smart grid system from both power and communications aspects,” IEEE Communications Surveys & Tutorials, vol. 14, no. 3, pp. 799–821, 2012.

    Google Scholar 

  23. K. Prakash, A. Lallu, F. Islam, and K. Mamun, “Review of power system distribution network architecture,” Proc. of the 3rd Asia-Pacific World Congress on Computer Science and Engineering (APWC on CSE), pp. 124–130, 2016.

    Google Scholar 

  24. N. D. Statistics, Grid Disturbance and Fault Statistics, 2007.

    Google Scholar 

  25. X. Lu, W. Wang, J. Ma, and L. Sun, “Domino of the smart grid: an empirical study of system behaviors in the interdependent network architecture,” Proc. of the IEEE International Conference on Smart Grid Communications (Smart-GridComm), pp. 612–617, 2013.

    Google Scholar 

  26. M. Kwiatkowska, G. Norman, and D. Parker, “PRISM: probabilistic symbolic model checker,” Computer Performance Evaluation: Modelling Techniques and Tools, pp. 113–140, 2002.

    Google Scholar 

  27. V. G. Kulkarni, Modeling and Analysis of Stochastic Systems, CRC Press, 2016.

    Google Scholar 

  28. A. Ahmed, A. Rashid, and S. Iqbal, “Analysis of weather forecasting model in PRISM,” Proc. of the 12th International Conference on Frontiers of Information Technology (FIT), pp. 355–360, 2014.

    Google Scholar 

  29. M. L. Puterman, Markov Decision Processes: Discrete Stochastic Dynamic Programming, John Wiley & Sons, 2014.

    MATH  Google Scholar 

  30. D. Beauquier, “On probabilistic timed automata,” Theoretical Computer Science, vol. 292, no. 1, pp. 65–84, 2003.

    Article  MathSciNet  Google Scholar 

  31. R. Alur and T. A. Henzinger, “Reactive modules,” Formal Methods in System Design, vol. 15, no. 1, pp. 7–48, 1999.

    Article  Google Scholar 

  32. Y. Kwon and G. Agha, “iLTLChecker: a probabilistic model checker for multiple DTMCs,” Proc. of the 2nd International Conference on the Quantitative Evaluation of Systems, pp. 245–246, 2005.

    Google Scholar 

  33. D. C. Montgomery and G. C. Runger, Applied Statistics and Probability for Engineers, John Wiley & Sons, 2010.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Haptics, Human-Robotics and Condition Monitoring Lab affiliated Lab of National Center of Robotics and Automation (NCRA HEC Pakistan) in the Department of Electrical Engineering, NED University of Engineering and Technology, Karachi, Pakistan

    Riaz Uddin

  2. ARC Energy & Telecom, Muscat, Oman

    Syed Atif Naseem

  3. Michigan Technological University, Houghton, Michigan, USA

    Zafar Iqbal

Authors
  1. Riaz Uddin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Syed Atif Naseem
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Zafar Iqbal
    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.

Recommended by Editor Hamid Reza Karimi.

Riaz Uddin received his B.E. and M.E. degrees in Electrical Engineering from the Department of Electrical Engineering at NED University of Engineering and Technology, Karachi, Pakistan, in 2005 and 2008, respectively. He received his Ph.D. degree from the School of Mechatronics, Gwangju Institute of Science and Technology (GIST), Gwangju, Korea, in 2016. He joined NED as a lecturer in 2005 and now he is working as an assistant professor in the department of Electrical Engineering in NED University of Engineering and Technology. He is also the PI/Director of Haptics, Human-Robotics and Condition Monitoring Lab affiliated Lab of National Center of Robotics and Automation, HEC, Pakistan. His research interests include control systems, automation, smart systems, energy systems, robotics, haptics and teleoperation.

Syed Atif Naseem received his B.E. in Electrical & Electronics Engineering from the Department of Electrical & Electronics Engineering at SIR SYED University of Engineering and Technology, Karachi, Pakistan, in 2008 and completed his M.Sc in Electrical & Electronics Engineering in 2018 from Izmir Economics University, Turkey. He has 7 years of Industrial Experience and worked as an Electrical Engineer in Saudi Plastic Factory, Riyadh, KSA. Currently, he is working as a Senior Electrical Engineer in ARC Energy & Telecom, Oman. Previously, he worked as a Research Assistant in the department of Electrical & Electronics Engineering in Izmir Economics University and published numerous research articles in an international journal and conferences.

Zafar Iqbal received his undergraduate degree in computer engineering from COMSATS Institute of Information Technology, Islamabad, Pakistan in 2005, an M.S. in information and mechatronics, and a Ph.D. in electrical engineering and computer science from the Gwangju Institute of Science and Technology (GIST), Korea, in 2010 and 2017, respectively. He was awarded the Korea IT Industry Promotion Agency scholarship for his M.S., and the Korean Government Scholarship for his Ph.D. study and research. He was with ZTE Corporation, Shanghai R&D Center, from 2005 to 2008 and worked at Vieworks Co. Ltd. Korea, and Nokia Siemens Networks Co. Ltd., Shanghai, during 2011. Currently, he is working as a research assistant professor at Michigan Tech. His research interests include wireless communications, signal processing, machine learning, and computing systems.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Uddin, R., Naseem, S.A. & Iqbal, Z. Formal Reliability Analyses of Power Line Communication Network-based Control in Smart Grid. Int. J. Control Autom. Syst. 17, 3047–3057 (2019). https://doi.org/10.1007/s12555-018-0774-6

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s12555-018-0774-6

Keywords

Search

Navigation