Resilient Fault Diagnosis Under Imperfect Observations–A Need for Industry 4.0 Era

被引:4
作者
Alejandro White [1 ,2 ]
Ali Karimoddini [1 ,3 ]
Mohammad Karimadini [4 ]
机构
[1] IEEE
[2] Vehicle Technology Directorate, CCDC Army Research Laboratory, Aberdeen Proving Ground
[3] the Department of Electrical and Computer Engineering, North Carolina Agricultural and Technical State University
[4] the Department of Electrical Engineering, Arak University of Technology
关键词
Cyber-physical systems; discrete event systems; fault diagnosis; imperfect communication; imperfect observation; Industry; 4.0; resilience;
D O I
暂无
中图分类号
TP277 [监视、报警、故障诊断系统]; F403 [工业建设与发展];
学科分类号
0804 ; 080401 ; 080402 ; 020205 ; 0202 ;
摘要
In smart industrial systems, in many cases, a fault can be captured as an event to represent the distinct nature of subsequent changes. Event-based fault diagnosis techniques are capable model-based methods for diagnosing faults from a sequence of observable events executed by the system under diagnosis. Most event-based diagnosis techniques rely on perfect observations of observable events. However, in practice, it is common to miss an observable event due to a problem in sensorreadings or communication/transmission channels. This paper develops a fault diagnosis tool, referred to as diagnoser, which can robustly detect, locate, and isolate occurred faults. The developed diagnoser is resilient against missed observations. A missed observation is detected from its successive sequence of events.Upon detecting a missed observation, the developed diagnoser automatically resets and then, asynchronously resumes the diagnosis process. This is achieved solely based on postreset/activation observations and without interrupting the performance of the system under diagnosis. New concepts of asynchronous detectability and asynchronous diagnosability are introduced. It is shown that if asynchronous detectability and asynchronous diagnosability hold, the proposed diagnoser is capable of diagnosing occurred faults under imperfect observations. The proposed technique is applied to diagnose faults in a manufacturing process. Illustrative examples are provided to explain the details of the proposed algorithm. The result paves the way towards fostering resilient cyber-physical systems in Industry4.0 context.
引用
收藏
页码:1279 / 1288
页数:10
相关论文
共 18 条
[1]  
An Online Fault Detection Model and Strategies Based on SVM-Grid in Clouds[J]. Pei Yun Zhang,Sheng Shu,Meng Chu Zhou.IEEE/CAA Journal of Automatica Sinica. 2018(02)
[2]   Intrusion Detection System for PS-Poll DoS Attack in 802.11 Networks Using Real Time Discrete Event System [J].
Mayank Agarwal ;
Sanketh Purwar ;
Santosh Biswas ;
Sukumar Nandi .
IEEE/CAA Journal of Automatica Sinica, 2017, 4 (04) :792-808
[3]  
An Improved Approach to Test Diagnosability of Bounded Petri Nets[J]. Ning Ran,Hongye Su,Shouguang Wang.IEEE/CAA Journal of Automatica Sinica. 2017(02)
[4]  
Data Fusion and Machine Learning for Industrial Prognosis: Trends and Perspectives towards Industry 4.0[J] . Alberto Diez-Olivan,Javier Del Ser,Diego Galar,Basilio Sierra.Information Fusion . 2018
[5]   Overview of fault-tolerant control methods for discrete event systems [J].
Fritz, Raphael ;
Zhang, Ping .
IFAC PAPERSONLINE, 2018, 51 (24) :88-95
[6]  
Diagnosability of intermittent sensor faults in discrete event systems[J] . Lilian K. Carvalho,Marcos V. Moreira,Jo?o Carlos Basilio.Automatica . 2017
[7]   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
[8]   Fault detection for discrete event systems using Petri nets with unobservable transitions [J].
Cabasino, Maria Paola ;
Giua, Alessandro ;
Seatzu, Carla .
AUTOMATICA, 2010, 46 (09) :1531-1539
[9]  
Fault diagnosis for discrete event systems: Modelling and verification[J] . Zineb Simeu-Abazi,Maria Di Mascolo,Michal Knotek.Reliability Engineering and System Safety . 2009 (4)
[10]   Fault detection and isolation based on fuzzy automata [J].
Rigatos, Gerasimos G. .
INFORMATION SCIENCES, 2009, 179 (12) :1893-1902