Results 201 to 210 of about 231,762 (266)

Formal Verification of Protection Functions for Power Distribution Networks

IECON 2018 - 44th Annual Conference of the IEEE Industrial Electronics Society, 2018
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 ...
Drozdov, Dmitrii   +5 more
openaire   +1 more source

Research on Tuning Protection with Distributed Power Distribution Grid

Advanced Materials Research, 2014
Along with the gradually lack of the fossil fuels, people pay more and more attention to the use of renewable energy. Distributed power supply of a large number of interconnection affects the distribution network power flow direction and size a lot. Thus, the protection setting values of the distribution network line are not accurate, which lead to the
Lu Chai, Chen Chen
openaire   +1 more source

Home - About - Disclaimer - Privacy