Formal Verification of Protection Functions for Power Distribution Networks

机译：配电网络保护功能的正式验证

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper presents initial results on formal verification of protection functions in a smart power distribution grid. Informal properties of the smart grid were formalized in the language of LTL and formal verification is performed using NuSMV model checker on the closed-loop plant-control model which consists of IEC 61499-based control logic and an abstract plant model of distribution grid with fault scenario. The paper presents the results of verification of dependability, liveliness, safety and security properties. The results show the effectiveness of the closed-loop formal verification methodology.

机译：本文介绍了智能配电网格中保护功能的正式验证初始结果。智能电网的非正式属性以LTL的语言形式化，使用NUSMV模型检查器在闭环工厂控制模型上进行正式验证，该模型由IEC 61499的控制逻辑和具有故障的分布网的抽象工厂模型组成设想。本文介绍了可靠性，活性，安全性和安全性能的验证结果。结果表明了闭环正式验证方法的有效性。

著录项

来源
《Annual Conference of the IEEE Industrial Electronics Society》|2018年|582p|共6页
会议地点
作者
Dmitrii Drozdov; Sandeep Patil; Chen-Wei Yang; Gulnara Zhabelova; Valeriy Vyatkin;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 TN1-53;
关键词
Smart grids; Circuit breakers; Model checking; Substations; Synthetic aperture sonar; Fault location; Current transformers;

机译：智能电网;断路器;模型检查;变电站;合成孔径声纳;故障位置;电流变压器;

相似文献

外文文献
中文文献
专利

1. A new approach to power system protection in distribution network with DG units by using radial basis function neural network [J] . Hadi Zayandehroodi, Azah Mohamed, Hussain Shareef, International Journal of Engineering Intelligent Systems for Electrical Engineering and Communications . 2011,第2期

机译：径向基函数神经网络的分布式发电配电网电力系统保护新方法
2. Scale and consequences: does the distribution of formal powers and functions affect water management outcomes in federal contexts in Southern Africa? [J] . Mike Muller Regional Environmental Change . 2018,第6期

机译：规模和后果：在南部非洲联邦范围内，正式权力和职能的分布是否会影响水资源管理成果？
3. Formal verification of ontology transformation for distribution network information model based on meta-model theory [J] . Boya Qin, Dong Liu, Yiming Lu IET Cyber-Physical Systems: Theory & Applications . 2020,第4期

机译：基于元模型理论的分发网络信息模型的本体变换正式验证
4. Formal Verification of Protection Functions for Power Distribution Networks [C] . Dmitrii Drozdov, Sandeep Patil, Chen-Wei Yang, Annual Conference of the IEEE Industrial Electronics Society . 2018

机译：配电网保护功能的形式验证
5. Integration of Dynamic Power Management Strategies for System-Level Power Optimization (Low-Power Design) with Its Formal Verification and Implementation. [D] . Ramanbhai, Bhatt Kiritkumar. 2012

机译：用于系统级电源优化（低功耗设计）的动态电源管理策略及其形式验证和实现的集成。
6. A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks [O] . Pedro T Monteiro, Estelle Dumas, Bruno Besson, 2009

机译：一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
7. A proposal for verifying the performance specifications of certain functions of smart meters in distribution power line networks [O] . Zuliang, Lu, So, Eddy 2010

机译：验证配电网中智能电表某些功能性能规格的建议
8. Formal Methods for Information Protection Technology Task 1: Formal Grammar-Based Approach and Tool for Simulation Attacks against Computer Network Part II [R] . Karsayev, O. V. , Kotenko, I. V. 2004

机译：信息保护技术的形式化方法任务1：基于形式语法的方法和模拟计算机网络攻击工具第二部分

Formal Verification of Protection Functions for Power Distribution Networks

摘要

著录项

相似文献

相关主题

期刊订阅