科研之友
微信
新浪微博
Facebook
分享链接
摘要
This paper presents a distributed feeder automation algorithm based on local topology, considering switch action failure, communication failures and other confounding factors. This makes higher efficiency of data processing and communication and better maintainability of distribution automation system. The algorithm is described by using PROMELA. And the correctness and security of algorithm are expressed and examined with model checking methods. The results show that the algorithm is correct under conditions of certainty and safe under conditions of uncertainty.
- 出版日期2014
- 单位上海交通大学
