TY - GEN
T1 - Model Checking The Robot Control System for Live Maintenance of Substation Equipment
AU - Wu, Hongyi
AU - Wang, Zhuo
AU - Qin, Xiaoyu
AU - Shen, Kaihan
AU - Yang, Haolin
AU - Zheng, Kai
AU - Huang, Xin
N1 - Publisher Copyright:
© 2018 IEEE.
PY - 2018/12/26
Y1 - 2018/12/26
N2 - For the purpose of improving the low efficiency of substation control system, the design of innovative robot control system for live maintenance has become a necessity. The paper gives a detailed explanation for the structure of this system from two different angles. Because of the demand of flexible control and the incidence of certain unstable factors, the reliability of performance of the system becomes quite significant. Therefore, this paper applies PRISM to implements probabilistic model checking for the system to decrease risks. Besides, the experimen- tal results are expected to provide suggestions on how to improve the development of robot control system for maintenance. Based on result of multiple experiments, it is recommended to reduce failure rate of single module. Furthermore, for the planning modules, it will improve reliability of robot control system apparently from changing failure rate of once a month to three month. Therefore, improvement of planning module is essential for reducing failure rate of planning module. Safety modules are also important for robot control system although experiment shows that it is difficult to distinguish effect of safety module. Advanced safety module will improve performance of robot control system.
AB - For the purpose of improving the low efficiency of substation control system, the design of innovative robot control system for live maintenance has become a necessity. The paper gives a detailed explanation for the structure of this system from two different angles. Because of the demand of flexible control and the incidence of certain unstable factors, the reliability of performance of the system becomes quite significant. Therefore, this paper applies PRISM to implements probabilistic model checking for the system to decrease risks. Besides, the experimen- tal results are expected to provide suggestions on how to improve the development of robot control system for maintenance. Based on result of multiple experiments, it is recommended to reduce failure rate of single module. Furthermore, for the planning modules, it will improve reliability of robot control system apparently from changing failure rate of once a month to three month. Therefore, improvement of planning module is essential for reducing failure rate of planning module. Safety modules are also important for robot control system although experiment shows that it is difficult to distinguish effect of safety module. Advanced safety module will improve performance of robot control system.
KW - Continous-Time Markov Chain CTMC
KW - Maintenance
KW - Model checking
KW - PRISM
KW - Robot control system
UR - http://www.scopus.com/inward/record.url?scp=85061300938&partnerID=8YFLogxK
U2 - 10.1109/ITME.2018.00198
DO - 10.1109/ITME.2018.00198
M3 - Conference Proceeding
AN - SCOPUS:85061300938
T3 - Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018
SP - 885
EP - 889
BT - Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 9th International Conference on Information Technology in Medicine and Education, ITME 2018
Y2 - 19 October 2018 through 21 October 2018
ER -