Fault diagnosis of discrete-event systems under a general architecture
Journal of Ambient Intelligence and Humanized Computing - Trang 1-19 - 2021
Tóm tắt
Diagnosability is an important characteristic indicator to determine whether the system is stable and reliable. In this paper, the general architecture of event-state-combination diagnosability is investigated. The contributions are threefold. First, the notion of event-state-combination diagnosability is formalized. Roughly speaking, an event-state-combination diagnosable system means that not only each combined fault can be detected, but also the system can determine whether it will work permanently in the failure states after the combined fault occurs. Then, an automaton with new information structure, called event-state-combination verifier, is constructed, which can be used for the verification of the event-state-combination diagnosability. Finally, the necessary and sufficient conditions for verifying whether the system is event-state-combination diagnosable is presented, that is, the event-state-combination verifier does not have any failure confused cycle.
Tài liệu tham khảo
Banu M, Ahamed M, Manivannan M et al (2017) Detecting spammers on social networks. Int J Eng Comput Sci 6(2)
Bhattacharyya S, Kumar R, Huang Z (2011) A discrete event systems approach to network fault management: detection and diagnosis of faults. Asian J Control 13:471–479
Cabasino MP, Giua A, Possi M, Seatzu C (2011) Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems. Control Eng Pract 19(9):989–1001
Cassandras CG, Lafortune S (2008) Introduction to discrete event systems, 2nd edn. Springer, New York
Contant O, Lafortune S, Teneketzis D (2006) Diagnosability of discrete event systems with modular structure. Discrete Event Dyn Syst 16(1):9–37
Cormen TH, Leiserson CE, Rivest RL (1990) Introduction to algorithms Cambridge. MIT Press, Massachusetts
Deng W, Qiu D (2016) State-based fault diagnosis of discrete-event systems. Control and Decision Conference IEEE, pp 5470–5475
Genc S, Lafortune S (2009) Predictability of event occurrences in partially-observed discrete-event systems. Automatica 45:301–311
Guo W, Li J, Chen G, Niu Y, Chen C (2015) A PSO-optimized real-time fault-tolerant task allocation algorithm in wireless sensor networks. IEEE Trans Parallel Distrib Syst 26:3236–3249
Lafortune S, Lin F, Hadjicostis CN (2018) On the history of diagnosability and opacity in discrete event systems. Annu Rev Control 45:257–266
Lin F (1994) Diagnosability of discrete event systems and its applications. Discrete Event Dyn Syst Theory Appl 4(1):197–212
Lin F, Wang LY, Chen W, Chen Han L, Shen B (2017) N-diagnosability for active on-line diagnosis in discrete event systems. Automatica 83:220–225
Liu F (2015) Safe diagnosability of fuzzy discrete-event systems and a polynomial-time verification. IEEE Trans Fuzzy Syst 23(5):1534–1544
Liu F, Lin H (2013) Reliable decentralized supervisors for discrete-event systems under communication delays: existence and verification. Asian J Control 15:1346–1355
Liu F, Qiu D (2008) Safe diagnosability of stochastic discrete event systems. IEEE Trans Automat Control 53(5):1291–1296
Liu F, Zhao R, Zhang Q, Tan T (2016) Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence. Asian J Control 18:1679–1687
Ma T, Liu Q, Cao J, Tian Y, Abdullah AD, Mznah AR (2020) LGIEM: global and local node influence based community detection. Future Gener Comput Syst 105:533–546
Moreira MV, Jesus TC, Basilio JC (2011) Polynomial time verification of decentralized diagnosability of discrete event systems. IEEE Trans Automat Control 56(7):1679–1684
Paoli A, Lafortune S (2005) Safe diagnosability for fault-tolerant supervision of discrete event systems. Automatica 41:1335–1347
Pencole Y, Cordier M (2005) A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artif Intell 164:121–170
Qiu W, Kumar R (2006) Decentralized failure diagnosis of discrete event systems. IEEE Trans Syst Man Cybern 36(2):384–395
Ran N, Wang S, Su H, Wang C (2017) Fault diagnosis for discrete event systems modeled by bounded Petri nets. Asian J Control 19:1532–1541
Roze L, Cordier M (2002) Diagnosis discrete-event systems: extending the diagnoser approach to deal with telecommunication networks. Discrete Event Dyn Syst 12:43–81
Saeidi V, Afzalian A, Gharavian D (2019) Optimal non-blocking decentralized supervisory control with unobservable controllable events. Asian J Control 21:800–808
Sampath M, Lafortune S, Teneketzis D (1998) Active diagnosis of discrete-event systems. IEEE Trans Autom Control 43(7):908–929
Sampath M, Sengupta R, Sinnamohideen K, Lafortune S, Teneketzis D (1995) Diagnosability of discrete event systems. IEEE Trans Automat Control 40(9):1555–1575
Sayed M, Philippot A, Carre V (2008) Decentralized diagnosis by boolean discrete event system model: application on manufacturing systems. Int J Prod Res 46:5469–5490
Shu S, Lin F (2019) Detectability measure for state estimation of discrete event systems. IEEE Trans Autom Control 64(1):433–439
Shu S, Lin F, Ying H (2007) Detectability of discrete event systems. IEEE Trans Autom Control 52(12):2356–2359
Su R, Wonham WM (2005) Global and local consistencies in distributed fault diagnosis for discrete-event systems. IEEE Trans Automat Control 50(12):1923–1935
Wang J, Zhang X, Lin Y, Ge X, Han Q (2018) Event-triggered dissipative control for networked stochastic systems under non-uniform sampling. Inf Sci. S0020025518301749
Wang Y, Yoo TS, Lafortune S (2007) Diagnosis of discrete event systems using decentralized architectures. Discrete Event Dyn Syst 17(2):233–263
White A, Karimoddini A, Su R (2019) Fault diagnosis of discrete event systems under unknown initial conditions. IEEE Trans Autom Control 64(12):5246–5252
Yoo TS, Lafortune S (2002) Polynomial-time verification of diagnosability of partially observed discrete-event systems. IEEE Trans Autom Control 47(9):1491–1495
Yu Z, Yu Z, Chen Y (2016) Multi-hop mobility prediction. Mobile Netw Appl 21:367–374
Zad SH, Kwong RH, Wonham WM (2003) Fault diagnosis in discrete-event systems: framework and model reduction. IEEE Trans Autom Control 48(7):1199–1212
Zaytoon J, Lafortune S (2013) Overview of fault diagnosis methods for discrete event systems. Annu Rev Control 37(2):308–320
Zheng X, Zhang X, Yu Y, Kechadi T, Rong C (2016) ELM-based spammer detection in social networks. J Supercomput 72:2991–3005