Formal Verification of Protection Functions for Power Distribution Networks

Dmitrii Drozdov, Sandeep Patil, Chen-Wei Yang, Gulnara Zhabelova, Valeriy Vyatkin. Formal Verification of Protection Functions for Power Distribution Networks. In IECON 2018 - 44th Annual Conference of the IEEE Industrial Electronics Society, Washington, DC, USA, October 21-23, 2018. pages 3550-3555, IEEE, 2018. [doi]

Authors

Dmitrii Drozdov

This author has not been identified. Look up 'Dmitrii Drozdov' in Google

Sandeep Patil

This author has not been identified. Look up 'Sandeep Patil' in Google

Chen-Wei Yang

This author has not been identified. Look up 'Chen-Wei Yang' in Google

Gulnara Zhabelova

This author has not been identified. Look up 'Gulnara Zhabelova' in Google

Valeriy Vyatkin

This author has not been identified. Look up 'Valeriy Vyatkin' in Google