A Communication Protocol for Decentralized Fault Diagnosis of Discrete Event Systems

被引:1
作者
Khaleghi, Milad [1 ]
Barkhordari Yazdi, Mojtaba [1 ]
Karimoddini, Ali [2 ]
Farsangi, M. M. [1 ]
机构
[1] Shahid Bahonar Univ Kerman, Dept Elect Engn, Kerman 76175133, Iran
[2] North Carolina Agr & Tech State Univ, Dept Elect & Comp Engn, Greensboro, NC USA
关键词
Discrete event systems (DESs); Most permissive observer (MPO); Diagnosability; Decentralized diagnoser; Dynamic diagnoser; DYNAMIC SENSOR ACTIVATION; FAILURE DIAGNOSIS; MODEL;
D O I
10.1007/s40998-021-00457-2
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
In this paper, a decentralized MPO-based diagnosis technique is developed. The proposed decentralized structure consists of a set of local diagnosers that each diagnoser has a most permissive observer (MPO) whose role is to turn on/off the sensors dynamically and observe the occurrence of events. The local diagnosers send their diagnosis information to a coordinator by a communication link. The responsibility of the coordinator is to infer the received data and make decision about the fault occurrence in the system. We developed a communication protocol to coordinate the local diagnosers. Also, an analyzing algorithm is developed whose role is to analyze the received data from the local MPOs and make accurate decision about the fault occurrence. We proved that the proposed decentralized MPO-based structure has less computation cost than a centralized MPO-based diagnoser.
引用
收藏
页码:589 / 600
页数:12
相关论文
共 25 条
[1]   Intrusion Detection System for PS-Poll DoS Attack in 802.11 Networks Using Real Time Discrete Event System [J].
Agarwal, Mayank ;
Purwar, Sanketh ;
Biswas, Santosh ;
Nandi, Sukumar .
IEEE-CAA JOURNAL OF AUTOMATICA SINICA, 2017, 4 (04) :792-808
[2]   State Estimation and Detectability of Networked Discrete Event Systems with Multi-Channel Communication Networks [J].
Alves, Marcos V. S. ;
Basilio, Joao C. .
2019 AMERICAN CONTROL CONFERENCE (ACC), 2019, :5602-5607
[3]   Event-tree analysis using binary decision diagrams [J].
Andrews, JD ;
Dunnett, SJ .
IEEE TRANSACTIONS ON RELIABILITY, 2000, 49 (02) :230-238
[4]   Optimal Information Release for Mixed Opacity in Discrete-Event Systems [J].
Behinaein, Behnam ;
Lin, Feng ;
Rudie, Karen .
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2019, 16 (04) :1960-1970
[5]  
Cassez F, 2008, FUND INFORM, V88, P497
[6]   Model checking time-dependent system specifications using Time Stream Petri Nets and UPPAAL [J].
Cicirelli, Franco ;
Furfaro, Angelo ;
Nigro, Libero .
APPLIED MATHEMATICS AND COMPUTATION, 2012, 218 (16) :8160-8186
[7]   On Most Permissive Observers in Dynamic Sensor Activation Problems [J].
Dallal, Eric ;
Lafortune, Stephane .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2014, 59 (04) :966-981
[8]   Coordinated decentralized protocols for failure diagnosis of discrete event systems [J].
Debouk, R ;
Lafortune, S ;
Teneketzis, D .
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2000, 10 (1-2) :33-86
[9]  
Erol S., 2016, Internantional Conference on Competitive Manufacturing, P495
[10]   A novel automata and neural network based fault diagnosis system for PLC controlled manufacturing systems [J].
Ghosh, Arup ;
Wang, Gi-Nam ;
Lee, Jooyeoun .
COMPUTERS & INDUSTRIAL ENGINEERING, 2020, 139