Abstract
Relays are widely used in power distribution systems to isolate their faulty components and thus avoid disruption of power and damaging expensive equipment. The reliability of relay-based protection of power distribution systems is of utmost importance and is judged by first constructing Markovian models of individual modules and then analyzing these models analytically or using simulation. However, due to their inherent limitations, simulations and analytical methods cannot ascertain accurate results and are not scalable, respectively. To overcome these limitations, we propose a modular approach for developing Markovian models of relay-based protected components and then analyzing the reliability of the overall power distribution system by executing its individual modules in parallel using the PRISM probabilistic model checker. The paper presents a foundational model for a relay-based protected component that can be incrementally updated to represent more advanced behaviors, such as self-checking, routine test and continuous monitoring. Moreover, the paper provides a set of reliability assessment properties of power distribution systems that can be formally verified by PRISM. For illustration purposes, we present the analysis of a typical power distribution substation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abbarin, A., Fotuhi-Firuzabad, M.: A novel routine test schedule for protective systems using an extended component-based reliability model. In: International Conference on Electrical and Electronics Engineering, pp. 97–102 (2009)
Abrial, J.R.: Faultless systems: Yes we can! Computer 42(9), 30–36 (2009)
Anderson, P., Agarwal, S.: An improved model for protective-system reliability. IEEE Transactions on Reliability 41(3), 422–426 (1992)
Bakshi, A.S., Velayutham, A., Sirivastava, S.C., Agrawal, K.K.: Report of the enquiry committee on grid disturbance in northern region on 30th july 2012 and in northern, eastern & north-eastern region on 31st July. Tech. rep., Ministry of Power Government of India (2012)
Billinton, R., Allan, R.N.: Reliability Evaluation of Power Systems. Plenum, New York (1996)
Brown, R.: Electric Power Distribution Reliability. CRC Press (2008)
Damchi, Y., Sadeh, J.: Considering failure probability for back-up relay in determination of the optimum routine test interval in protective system using markov model. In: IEEE Power Energy Society General Meeting, pp. 1–5 (2009)
Udren, E.A., Zipp, J.A., Michel, G.L., Mustaphi, K.K., Nilsson, S.L., Phadke, A.G., Ramaswami, R., Rockefeller, G.D., Sachdev, M.S., Strang, W.M., Thorp, J.S., Tziouvaras, D.A., Varneckas, V., Wagner, C.L.: Proposed statistical performance measures for microprocessor-based transmission-line protective relays. i. explanation of the statistics. IEEE Transactions on Power Delivery 12(1), 134–143 (1997)
Endrenyi, J.: Three-state models in power system reliability evaluations. IEEE Transactions on Power Apparatus and Systems 90(4), 1909–1916 (1971)
Etemadi, A., Fotuhi-Firuzabad, M.: New considerations in modern protection system quantitative reliability assessment. IEEE Transactions on Power Delivery 25(4), 2213–2222 (2010)
Euronews (2013), http://www.euronews.com/2005/05/25/moscow-hit-by-power-blackout/
Force, U.C.P.S.O.T.: Final report on the 14th august 2003 blackout in the United States and Canada: Causes and recommendations. Tech. rep., U.S. Department of Energy and Natural Resources Canada (2003)
Maas, G.A., Mial, M., Fijalkowski, J.: Final report-system disturbance on 4 november 2006. Tech. rep., Union for the Co-ordination of Transmission of Electricity (2006)
Grimes, J.: On determining the reliability of protective relay systems. IEEE Transactions on Reliability 19(3), 82–85 (1970)
Hermanns, H., Katoen, J., Meyer-Kayser, J., Siegle, M.: Model checking performability properties of markov chains. In: International Conference on Dependable Systems and Networks, pp. 673–673 (2003)
Seyedi, H., Fotuhi-Firuzabad, M., Sanaye-Pasand, M.: An extended markov model to determine the reliability of protective system. In: IEEE Power India Conference, pp. 10–12 (2006)
Katoen, J., Khattri, M., Zapreev, I.: A markov reward model checker. In: International Conference on the Quantitative Evaluation of Systems, pp. 243–244 (2005)
Rutten, J., Kwiatkowska, M., Norman, G., Parker, D.: Mathematical techniques for analyzing concurrent and probabilistic systems. American Mathematical Society (2004)
Sen, K., Viswanathan, M., Agha, G.: Vesta: A statistical model-checker and analyzer for probabilistic systems. In: International Conference on the Quantitative Evaluation of Systems, pp. 251–252 (2005)
Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: Verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585–591. Springer, Heidelberg (2011)
Paithankar, Y., Bhide, S.: Fundamentals of Power System Protection. Prentice-Hall (2003)
Billinton, R., Fotuhi-Firuzabad, M., Sidhu, T.: Determination of the optimum routine test and self-checking intervals in protective relaying using a reliability model. IEEE Transactions on Power Systems 17(3), 663–669 (2002)
Singh, C., Patton, A.D.: Protection system reliability modeling: Unreadiness probability and mean duration of undetected faults. IEEE Transactions on Reliability 29(4), 339–340 (1980)
United States Department of Agriculture: Design Guide for rural substations (2001)
Younes, H.L.S.: Ymer: A statistical model checker. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 429–433. Springer, Heidelberg (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Khurram, A., Ali, H., Tariq, A., Hasan, O. (2013). Formal Reliability Analysis of Protective Relays in Power Distribution Systems. In: Pecheur, C., Dierkes, M. (eds) Formal Methods for Industrial Critical Systems. FMICS 2013. Lecture Notes in Computer Science, vol 8187. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41010-9_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-41010-9_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-41009-3
Online ISBN: 978-3-642-41010-9
eBook Packages: Computer ScienceComputer Science (R0)