@inproceedings{cbb00c89ffd547f0b523d3efc8f6a0b9,
title = "Optimization of Path Blocking of Dangerous Counterexample Based on AHP",
abstract = "How to block the occurrence of the dangerous counterexample path in a complex system becomes critical, and it is necessary to design the safety of path that blocks the occurrence of the accident. At present, there are few studies on such problems at home and abroad. This study investigates the accident cases that have occurred and proposes a method that can effectively block the occurrence of counterexamples. The feasibility of the blocking method has been proven through a practical example.",
keywords = "AHP, blocking method, counterexample path, NuSMV, safety",
author = "Yukun Zhao and Deming Zhong and Rui Sun and Yuxin Ding",
note = "Publisher Copyright: {\textcopyright} 2018 IEEE.; 4th IEEE International Conference on Control Science and Systems Engineering, ICCSSE 2018 ; Conference date: 21-08-2018 Through 23-08-2018",
year = "2018",
month = aug,
doi = "10.1109/CCSSE.2018.8724822",
language = "英语",
series = "2018 IEEE 4th International Conference on Control Science and Systems Engineering, ICCSSE 2018",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "515--518",
booktitle = "2018 IEEE 4th International Conference on Control Science and Systems Engineering, ICCSSE 2018",
address = "美国",
}