{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,25]],"date-time":"2025-05-25T23:21:56Z","timestamp":1748215316923,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/iecon.2018.8592802","type":"proceedings-article","created":{"date-parts":[[2019,1,18]],"date-time":"2019-01-18T22:30:15Z","timestamp":1547850615000},"page":"3550-3555","source":"Crossref","is-referenced-by-count":3,"title":["Formal Verification of Protection Functions for Power Distribution Networks"],"prefix":"10.1109","author":[{"given":"Dmitrii","family":"Drozdov","sequence":"first","affiliation":[]},{"given":"Sandeep","family":"Patil","sequence":"additional","affiliation":[]},{"given":"Chen-Wei","family":"Yang","sequence":"additional","affiliation":[]},{"given":"Gulnara","family":"Zhabelova","sequence":"additional","affiliation":[]},{"given":"Valeriy","family":"Vyatkin","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref31","first-page":"76","volume":"8974","author":"patil","year":"2015","journal-title":"Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM"},{"key":"ref30","first-page":"300","article-title":"Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV-Execution Semantics","year":"2015","journal-title":"International Symposium on Dependable Software Engineering Theories Tools and Applications"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2018.8472071"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICPHYS.2018.8390797"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1995.495198"},{"key":"ref13","first-page":"62","article-title":"Model-checking for real-time systems","year":"1995","journal-title":"International Symposium on Fundamentals of Computation Theory"},{"key":"ref14","first-page":"6","volume":"3052","author":"hanisch","year":"2004","journal-title":"Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering"},{"key":"ref15","volume":"10","author":"preusse","year":"2013","journal-title":"Technologies for Engineering Manufacturing Systems Control in Closed Loop"},{"key":"ref16","volume":"7","author":"gerber","year":"2011","journal-title":"Implementation and Verification of Distributed Control Systems"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.21236\/ADA360973"},{"key":"ref19","first-page":"52","article-title":"Hycomp: An smtbased model checker for hybrid systems","author":"cimatti","year":"2015","journal-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"journal-title":"FB2SMV IEC 61499 Function blocks XML code to SMV converter","year":"2015","author":"drozdov","key":"ref28"},{"journal-title":"Practical Electrical Network Automation and Communication Systems","year":"2003","author":"strauss","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/PESMG.2013.6672862"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2017.2704282"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2015.2453884"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/Trustcom.2015.650"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2012.2198247"},{"journal-title":"IEC 61499 Function Blocks For Embedded and Distributed Control Systems Design","year":"2015","author":"vyatkin","key":"ref8"},{"key":"ref7","article-title":"A multiagent-based hierarchical energy management strategy for multi-microgrids considering adjustable power and demand response","author":"bui","year":"2016","journal-title":"IEEE Transactions on Smart Grid"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICRERA.2014.7016420"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2011.2166785"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MPE.2013.2284646"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/EPDC.2017.8012747"},{"journal-title":"Specification and Development of Interactive Systems FOCUS on Streams Interfaces and Refinement","year":"2012","author":"broy","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/SE4SG.2012.6225719"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2013.2265739"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2011.2160000"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2016.7794150"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2015.7392719"}],"event":{"name":"IECON 2018 - 44th Annual Conference of the IEEE Industrial Electronics Society","start":{"date-parts":[[2018,10,21]]},"location":"D.C., DC, USA","end":{"date-parts":[[2018,10,23]]}},"container-title":["IECON 2018 - 44th Annual Conference of the IEEE Industrial Electronics Society"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8560606\/8591058\/08592802.pdf?arnumber=8592802","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T00:47:08Z","timestamp":1598230028000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8592802\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/iecon.2018.8592802","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}