Model Checking The Robot Control System for Live Maintenance of Substation Equipment

Hongyi Wu, Zhuo Wang, Xiaoyu Qin, Kaihan Shen, Haolin Yang, Kai Zheng, Xin Huang

Research output: Chapter in Book or Report/Conference proceedingConference Proceedingpeer-review

Abstract

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.

Original languageEnglish
Title of host publicationProceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages885-889
Number of pages5
ISBN (Electronic)9781538677438
DOIs
Publication statusPublished - 26 Dec 2018
Event9th International Conference on Information Technology in Medicine and Education, ITME 2018 - Hangzhou, Zhejiang, China
Duration: 19 Oct 201821 Oct 2018

Publication series

NameProceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018

Conference

Conference9th International Conference on Information Technology in Medicine and Education, ITME 2018
Country/TerritoryChina
CityHangzhou, Zhejiang
Period19/10/1821/10/18

Keywords

  • Continous-Time Markov Chain CTMC
  • Maintenance
  • Model checking
  • PRISM
  • Robot control system

Fingerprint

Dive into the research topics of 'Model Checking The Robot Control System for Live Maintenance of Substation Equipment'. Together they form a unique fingerprint.

Cite this