Robustly distributed diagnosis of discrete-event systems and its application to Alipay transaction systems |
| |
| Affiliation: | 1. School of Computer Science, Nanjing University of Posts and Telecommunications, Nanjing 210023, PR China;2. Department of Mathematics, Zhejiang Normal University, Jinhua 321004, PR China;3. School of Mathematics, Southeast University, Nanjing 210096, PR China;4. Sino-German College of Intelligent Manufacturing, Shenzhen Technology University, Shenzhen 518000, PR China;1. School of Electrical Engineering, Chungbuk National University, Cheongju, 28644, South Korea;2. Department of Applied Mathematics, Bharathiar University, Coimbatore, 641046, India;3. Department of Mathematics, Sungkyunkwan University, Suwon 440-746, South Korea;1. School of Information Science and Technology, and Key Laboratory of Complex Systems and Intelligent Computing in Universities of Shandong, Linyi University, Linyi 276005, PR China;2. College of Mathematics and System Sciences, Xinjiang University, Urumqi 830000, China;3. School of Mathematics, Southeast University, Nanjing 210096, China;4. Yonsei Frontier Lab, Yonsei University, Seoul 03722, South Korea;1. School of Automation Science and Engineering, South China University of Technology, Guangzhou 510640, China;2. School of Mathematical Sciences, Anhui University, Hefei 230601, China |
| |
| Abstract: | In most of existing literature, it is assumed that all of the sensors can work normally. However in some situations, several sensors occur abnormal behavior or stuck at faults such that prior diagnosable decisions may not hold. By this regard, we address the problem of robustly distributed failure diagnosis of discrete-event systems with observation losses in this paper. In order to ensure diagnosability, the notion of robustly diagnosability is proposed in the distributed framework. Motivated by earlier works, new communication models and dilation operators are constructed, based on which the robustly distributed diagnosis problem is converted to a distributed diagnosis problem. One algorithm for the verification of robustly distributed diagnosis is proposed. Followed by it, a necessary and sufficient condition for the robustly diagnosability is presented. Finally, a part of Alipay transaction systems as an application is used to illustrate the construction of some automata and the verification algorithm. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
