机译:Formal specification and verification of fault location, isolation and service restoration of local topology model based on distributed processing for active distribution network
Key Laboratory of Control of Power Transmission and Conversion, Shanghai Jiao Tong University, Ministry of Education;
Urban Power Supply Company, State Grid Shanghai Municipal Electric Power Company;