{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:07:37Z","timestamp":1725516457422},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642317583"},{"type":"electronic","value":"9783642317590"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31759-0_11","type":"book-chapter","created":{"date-parts":[[2012,7,19]],"date-time":"2012-07-19T00:59:50Z","timestamp":1342659590000},"page":"137-154","source":"Crossref","is-referenced-by-count":2,"title":["Formal Verification of Hierarchically Distributed Agent Based Protection Scheme in Smart Grid"],"prefix":"10.1007","author":[{"given":"Shravan","family":"Garlapati","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandeep K.","family":"Shukla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Phadke, A.G., Thorp, J.S.: Computer relaying for power systems, 2nd edn. Research Studies Press Ltd. and John Wiley & Sons (2009)","DOI":"10.1002\/9780470749722"},{"issue":"1","key":"11_CR2","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1109\/TPWRD.2005.860244","volume":"21","author":"S.H. Horowitz","year":"2006","unstructured":"Horowitz, S.H., Phadke, A.G.: Third zone revisited. IEEE Transactions on Power Delivery\u00a021(1), 23\u201329 (2006)","journal-title":"IEEE Transactions on Power Delivery"},{"key":"11_CR3","unstructured":"NERC. System Protection and Control Task Force. Report, Rationale for the Use of Local and Remote (Zone 3) Protective Relaying Backup Systems (February 2005), \n                    \n                      http:\/\/www.nerc.com\/docs\/pc\/spctf\/Zone3Final.pdf"},{"issue":"1","key":"11_CR4","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/67.738316","volume":"12","author":"J.S. Thorp","year":"1999","unstructured":"Thorp, J.S., Phadke, A.G.: Protecting power systems in the post-restructuring era. IEEE Computer Applications in Power\u00a012(1), 33\u201337 (1999)","journal-title":"IEEE Computer Applications in Power"},{"issue":"4","key":"11_CR5","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1109\/61.956732","volume":"16","author":"H. Wang","year":"2001","unstructured":"Wang, H., Thorp, J.S.: Optimal locations for protection system enhancement: a simulation of cascading outages. IEEE Transactions on Power Delivery\u00a016(4), 528\u2013533 (2001)","journal-title":"IEEE Transactions on Power Delivery"},{"issue":"1","key":"11_CR6","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1504\/IJCIS.2004.003796","volume":"1","author":"A.G. Phadke","year":"2004","unstructured":"Phadke, A.G.: Hidden failures in electric power systems. International Journal of Critical Infrastructures\u00a01(1), 64\u201375 (2004)","journal-title":"International Journal of Critical Infrastructures"},{"key":"11_CR7","unstructured":"Tamronglak, S.: Analysis of power system disturbances due to Relay Hidden Failures. PhD thesis, Virginia Tech, Dept of ECE, Blacksburg, VA, USA (1994)"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"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\u2013261 (October 2010)","DOI":"10.1109\/SMARTGRID.2010.5622051"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Behrmann, G., David, R., Larsen, K.G.: A tutorial on uppaal, pp. 200\u2013236. Springer (2004)","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"11_CR10","unstructured":"Horowitz, S.H., Phadke, A.G.: Power system relaying. Research Studies Press Ltd. (2004)"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"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\u20135 (September 2010)","DOI":"10.1109\/NAPS.2010.5618952"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/PESGM.2012.6345695"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31759-0_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:47:26Z","timestamp":1620128846000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31759-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642317583","9783642317590"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31759-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}