Abstract
In recent studies, hierarchically distributed non-intrusive agent aided transmission line distance relaying protection scheme has been proposed. This scheme is meant to provide the distance relays with situational awareness and improve their robustness against hidden failures. Distance relaying protection scheme is a part of safety critical cyber physical system (in particular, power system) and it operates with stringent timing requirements to remove the faulted line out of service. Before putting into practice, it is better to formally verify that the agent based relay supervisory scheme meets the specifications and its usage gives intended results and doesn’t carry any negative side effects. Therefore, in this paper agent based relay supervision scheme is formally modelled, validated and its properties are verified using UPPAAL - a timed automata based formal verification tool.
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
Phadke, A.G., Thorp, J.S.: Computer relaying for power systems, 2nd edn. Research Studies Press Ltd. and John Wiley & Sons (2009)
Horowitz, S.H., Phadke, A.G.: Third zone revisited. IEEE Transactions on Power Delivery 21(1), 23–29 (2006)
NERC. System Protection and Control Task Force. Report, Rationale for the Use of Local and Remote (Zone 3) Protective Relaying Backup Systems (February 2005), http://www.nerc.com/docs/pc/spctf/Zone3Final.pdf
Thorp, J.S., Phadke, A.G.: Protecting power systems in the post-restructuring era. IEEE Computer Applications in Power 12(1), 33–37 (1999)
Wang, H., Thorp, J.S.: Optimal locations for protection system enhancement: a simulation of cascading outages. IEEE Transactions on Power Delivery 16(4), 528–533 (2001)
Phadke, A.G.: Hidden failures in electric power systems. International Journal of Critical Infrastructures 1(1), 64–75 (2004)
Tamronglak, S.: Analysis of power system disturbances due to Relay Hidden Failures. PhD thesis, Virginia Tech, Dept of ECE, Blacksburg, VA, USA (1994)
Garlapati, S., Lin, H., Sambamoorthy, S., Shukla, S.K., Thorp, J.: Agent based supervision of zone 3 relays to prevent hidden failure based tripping. In: 2010 First IEEE International Conference on Smart Grid Communications, SmartGridComm, pp. 256–261 (October 2010)
Behrmann, G., David, R., Larsen, K.G.: A tutorial on uppaal, pp. 200–236. Springer (2004)
Horowitz, S.H., Phadke, A.G.: Power system relaying. Research Studies Press Ltd. (2004)
Garlapati, S., Shukla, S.K., Thorp, J.: An algorithm for inferring master agent rules in an agent based robust zone 3 relay architecture. In: North American Power Symposium, NAPS 2010, pp. 1–5 (September 2010)
Garlapati, S., Shukla, S.K.: Optimal location of master agents in an agent based zone 3 protection scheme designed for robustness against hidden failure induced trips. In: IEEE PES General Meeting (July 2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Garlapati, S., Shukla, S.K. (2012). Formal Verification of Hierarchically Distributed Agent Based Protection Scheme in Smart Grid. In: Donaldson, A., Parker, D. (eds) Model Checking Software. SPIN 2012. Lecture Notes in Computer Science, vol 7385. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31759-0_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-31759-0_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31758-3
Online ISBN: 978-3-642-31759-0
eBook Packages: Computer ScienceComputer Science (R0)