Login / Signup
Formal Verification of Protection Functions for Power Distribution Networks.
Dmitrii Drozdov
Sandeep Patil
Chen-Wei Yang
Gulnara Zhabelova
Valeriy Vyatkin
Published in:
IECON (2018)
Keyphrases
</>
formal verification
model checking
power distribution networks
bounded model checking
model checker
automated verification
symbolic model checking
distribution network
temporal logic
neural network
artificial neural networks
multi objective
computer systems
optimization algorithm
distributed databases