{"id":"https://openalex.org/W2611237601","doi":"https://doi.org/10.1109/iecon.2016.7794150","title":"Towards a formal model of protection functions for power distribution networks","display_name":"Towards a formal model of protection functions for power distribution networks","publication_year":2016,"publication_date":"2016-10-01","ids":{"openalex":"https://openalex.org/W2611237601","doi":"https://doi.org/10.1109/iecon.2016.7794150","mag":"2611237601"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/iecon.2016.7794150","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008985314","display_name":"Michael Masselot","orcid":null},"institutions":[],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Michael Masselot","raw_affiliation_strings":["National Institute of Applied Sciences of Lyon, Lyon, France"],"affiliations":[{"raw_affiliation_string":"National Institute of Applied Sciences of Lyon, Lyon, France","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008981533","display_name":"Sandeep Patil","orcid":"https://orcid.org/0000-0003-2936-4185"},"institutions":[{"id":"https://openalex.org/I190632392","display_name":"Lule\u00e5 University of Technology","ror":"https://ror.org/016st3p78","country_code":"SE","type":"education","lineage":["https://openalex.org/I190632392"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Sandeep Patil","raw_affiliation_strings":["Department of Computer Science, Electrical and Space Engineering, Lule\u00e5 University of Technology, Lule\u00e5, Sweden"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Electrical and Space Engineering, Lule\u00e5 University of Technology, Lule\u00e5, Sweden","institution_ids":["https://openalex.org/I190632392"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021935416","display_name":"Gulnara Zhabelova","orcid":null},"institutions":[{"id":"https://openalex.org/I190632392","display_name":"Lule\u00e5 University of Technology","ror":"https://ror.org/016st3p78","country_code":"SE","type":"education","lineage":["https://openalex.org/I190632392"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Gulnara Zhabelova","raw_affiliation_strings":["Department of Computer Science, Electrical and Space Engineering, Lule\u00e5 University of Technology, Lule\u00e5, Sweden"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Electrical and Space Engineering, Lule\u00e5 University of Technology, Lule\u00e5, Sweden","institution_ids":["https://openalex.org/I190632392"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008070913","display_name":"Valeriy Vyatkin","orcid":null},"institutions":[{"id":"https://openalex.org/I9927081","display_name":"Aalto University","ror":"https://ror.org/020hwjq30","country_code":"FI","type":"education","lineage":["https://openalex.org/I9927081"]},{"id":"https://openalex.org/I190632392","display_name":"Lule\u00e5 University of Technology","ror":"https://ror.org/016st3p78","country_code":"SE","type":"education","lineage":["https://openalex.org/I190632392"]}],"countries":["FI","SE"],"is_corresponding":false,"raw_author_name":"Valeriy Vyatkin","raw_affiliation_strings":["Department of Computer Science, Electrical and Space Engineering, Lule\u00e5 University of Technology, Lule\u00e5, Sweden","Department of Electrical Engineering and Automation, Aalto University, Finland"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Automation, Aalto University, Finland","institution_ids":["https://openalex.org/I9927081"]},{"raw_affiliation_string":"Department of Computer Science, Electrical and Space Engineering, Lule\u00e5 University of Technology, Lule\u00e5, Sweden","institution_ids":["https://openalex.org/I190632392"]}]}],"institution_assertions":[],"countries_distinct_count":3,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.663,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":6,"citation_normalized_percentile":{"value":0.69242,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":82,"max":84},"biblio":{"volume":null,"issue":null,"first_page":"5302","last_page":"5309"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9982,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9982,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9982,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9971,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/power-system-protection","display_name":"Power-system protection","score":0.44940704}],"concepts":[{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.8141111},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.71460915},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.6896472},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.58336467},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.48437485},{"id":"https://openalex.org/C89227174","wikidata":"https://www.wikidata.org/wiki/Q2388981","display_name":"Electric power system","level":3,"score":0.4798769},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.45700678},{"id":"https://openalex.org/C38361682","wikidata":"https://www.wikidata.org/wiki/Q1756067","display_name":"Power-system protection","level":4,"score":0.44940704},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.25658977},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2565223},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.17203039},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13503635},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/iecon.2016.7794150","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":19,"referenced_works":["https://openalex.org/W108696262","https://openalex.org/W1511671992","https://openalex.org/W1532377400","https://openalex.org/W1611636308","https://openalex.org/W1971084949","https://openalex.org/W2012920944","https://openalex.org/W2016047874","https://openalex.org/W2057706113","https://openalex.org/W2059494389","https://openalex.org/W2145352651","https://openalex.org/W2146438678","https://openalex.org/W2149505323","https://openalex.org/W2149691315","https://openalex.org/W2188378882","https://openalex.org/W2245041182","https://openalex.org/W2553551602","https://openalex.org/W4232314362","https://openalex.org/W4250603644","https://openalex.org/W789094022"],"related_works":["https://openalex.org/W2981877881","https://openalex.org/W2550448639","https://openalex.org/W2536467322","https://openalex.org/W2391979747","https://openalex.org/W2152752131","https://openalex.org/W1946493810","https://openalex.org/W1922520186","https://openalex.org/W161255303","https://openalex.org/W1544097700","https://openalex.org/W1488573418"],"abstract_inverted_index":{"The":[0,120,134,153],"protection":[1,78,118,132,189],"system":[2,103],"is":[3,23,63,80,136,155],"a":[4,82,108,162],"crucial":[5],"part":[6],"of":[7,18,24,60,84,94,101,126,146,165,187],"the":[8,55,73,95,102,127,143,166,175,188],"power":[9],"grid.":[10],"It":[11,62],"protects":[12],"people,":[13],"equipment,":[14],"and":[15,38,45,69,75,97,159],"property.":[16],"Reliability":[17],"such":[19],"mission":[20],"critical":[21],"systems":[22,29],"an":[25],"extreme":[26],"importance.":[27],"Protection":[28],"have":[30],"strict":[31],"requirements":[32,186],"to":[33,65,182],"reliability":[34,185],"including":[35],"dependability,":[36],"security":[37],"timeliness.":[39],"Although":[40],"it":[41,47],"undertakes":[42],"rigorous":[43,92],"testing":[44,93],"commissioning,":[46],"fails":[48],"in":[49,54,58,72,113,138,150,169],"some":[50],"circumstances":[51],"causing":[52],"faults":[53],"network,":[56],"resulting":[57],"loss":[59],"power.":[61],"hard":[64],"catch":[66],"these":[67],"hidden":[68],"undetectable":[70],"errors":[71],"design":[74],"installation.":[76],"Since":[77],"function":[79],"essentially":[81],"piece":[83],"code,":[85],"formal":[86,109,114,148],"methods":[87],"can":[88],"be":[89,180],"used":[90,181],"for":[91,117,142],"software":[96],"provide":[98],"definitive":[99],"proof":[100],"properties.":[104],"This":[105],"paper":[106,121],"proposes":[107],"model":[110,125,135,149,154,164,178],"(to":[111],"use":[112],"verification":[115],"techniques)":[116],"systems.":[119],"develops":[122],"closed":[123],"loop":[124],"electrical":[128,167],"network":[129,168],"with":[130,161],"its":[131,147],"system.":[133,190],"developed":[137],"IEC":[139],"61499":[140],"language":[141],"further":[144],"generation":[145],"SMV":[151,177],"language.":[152],"validated":[156],"via":[157],"simulation":[158],"comparison":[160],"comprehensive":[163],"Matlab":[170],"Simulink.":[171],"In":[172],"future":[173],"work,":[174],"generated":[176],"will":[179],"formally":[183],"verify":[184]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2611237601","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":4}],"updated_date":"2024-12-08T05:48:34.633683","created_date":"2017-05-12"}