Formal specification and verification of fault location, isolation and service restoration of local topology model based on distributed processing for active distribution network.
Jiaming WengDong LiuYingxu LiuPublished in: IET Cyper-Phys. Syst.: Theory & Appl. (2021)
Keyphrases
- distributed processing
- formal specification
- protocol specification
- distribution network
- model checking
- concurrent systems
- distributed computing systems
- parallel processing
- formal methods
- ant colony algorithm
- traveling salesman problem
- supply chain
- process algebra
- communication protocols
- particle swarm
- reverse engineering
- temporal logic
- power distribution networks
- fault diagnosis
- web services
- artificial fish
- software components
- distributed systems