Formal specification and verification of fault location, isolation and service restoration of local topology model based on distributed processing for active distribution network

Jiaming Weng, Dong Liu 0018, Yingxu Liu. Formal specification and verification of fault location, isolation and service restoration of local topology model based on distributed processing for active distribution network. IET Cyper-Phys. Syst.: Theory & Appl., 6(3):116-124, 2021. [doi]

Abstract

Abstract is missing.