Open AccessFormal specification and verification of fault location, isolation and service restoration of local topology model based on distributed processing for active distribution network
Author(s) -
Weng Jiaming,
Liu Dong,
Liu Yingxu
Publication year - 2021
Publication title -
iet cyber‐physical systems: theory and applications
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.308
H-Index - 7
ISSN - 2398-3396
DOI - 10.1049/cps2.12005
Subject(s) - correctness , distributed computing , computer science , distributed generation , network topology , reliability (semiconductor) , fault tolerance , distributed power , adaptability , automation , fault (geology) , grid , isolation (microbiology) , topology (electrical circuits) , smart grid , reliability engineering , power (physics) , computer network , engineering , algorithm , renewable energy , mechanical engineering , ecology , physics , geometry , mathematics , microbiology and biotechnology , quantum mechanics , seismology , geology , electrical engineering , biology
Active distribution network (ADN) technology, as an important trend of the future smart distribution grid, is able to effectively absorb distributed energy resource (DER), to reasonably optimise grid‐load operation characteristics, and to safely support the reliability of power supply. Through enhancing energy utilisation efficiency and friendly interaction with user access, ADN technology is also able to comprehensively improve the power supply reliability of the distribution network. However, distributed feeder automation (FA), as an important part of ADN technology, will also meet new problems and challenges with the access of DER in the distribution network. The formal method can analyse the correctness and effectiveness of a distributed fault processing algorithm from mathematical logic, which provides an important theoretical basis for distributed fault processing. The focus herein is on the formal description and verification of topology modelling in fault location, isolation, and service restoration (FLISR) based on distributed processing. By abstracting and simplifying the complex power system features, the adaptability of the formal method is solved. The logical correctness of the topology model in FLISR based on distributed processing is verified. Finally, the distributed local topology model and algorithm is verified through a formal method using an actual ADN example.