Design of Supervisors for Active Diagnosis in Discrete Event Systems

被引:45
作者
Hu, Yihui [1 ]
Ma, Ziyue [1 ]
Li, Zhiwu [1 ,2 ]
机构
[1] Xidian Univ, Sch Electromech Engn, Xian 710071, Peoples R China
[2] Macau Univ Sci & Technol, Inst Syst Engn, Taipa, Macau, Peoples R China
基金
国家重点研发计划; 中国国家自然科学基金;
关键词
Automata; Sensors; Closed loop systems; Fault diagnosis; Discrete-event systems; Complexity theory; Computational modeling; Automation; diagnosability; discrete event system (DES); fault diagnosis; POLYNOMIAL-TIME VERIFICATION; LABELED PETRI NETS; FAULT-DIAGNOSIS; DIAGNOSABILITY;
D O I
10.1109/TAC.2020.2970011
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In this article, we present an active diagnosis method to enhance diagnosability of a plant modeled by a finite-state automaton. Some properties of active diagnosis and silent blocking are studied. To avoid silent blocking, the notion of stop-free event set is proposed, and a stop-free control policy that does not introduce silent blocking is formulated. We develop a heuristic method based on the verifier of the plant to compute a feasible stop-free event set that guarantees the existence of a valid control policy. With the stop-free event set, the set of disabled edges is computed, and an online control policy that is based on the current diagnostic state is computed, which guarantees that the closed-loop system is diagnosable. The structural complexity of the proposed control structure is polynomial with respect to the number of states of the plant.
引用
收藏
页码:5159 / 5172
页数:14
相关论文
共 35 条
[1]  
[Anonymous], 2013, LIPICS
[2]  
Bertrand N, 2014, LECT NOTES COMPUT SC, V8412, P29
[3]  
Böhm S, 2015, IEEE DECIS CONTR P, P1663, DOI 10.1109/CDC.2015.7402449
[4]   Diagnosability of Discrete-Event Systems Using Labeled Petri Nets [J].
Cabasino, Maria Paola ;
Giua, Alessandro ;
Seatzu, Carla .
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2014, 11 (01) :144-153
[5]   Optimal sensor selection for ensuring diagnosability in labeled Petri nets [J].
Cabasino, Maria Paola ;
Lafortune, Stephane ;
Seatzu, Carla .
AUTOMATICA, 2013, 49 (08) :2373-2383
[6]   Diagnosis Using Labeled Petri Nets With Silent or Undistinguishable Fault Events [J].
Cabasino, Maria Paola ;
Giua, Alessandro ;
Seatzu, Carla .
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (02) :345-355
[7]   A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets [J].
Cabasino, Maria Paola ;
Giua, Alessandro ;
Lafortune, Stephane ;
Seatzu, Carla .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2012, 57 (12) :3104-3117
[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]   Robust diagnosis of discrete event systems against intermittent loss of observations [J].
Carvalho, Lilian K. ;
Basilio, Joao C. ;
Moreira, Marcos V. .
AUTOMATICA, 2012, 48 (09) :2068-2078
[10]  
Cassandras C.G., 2008, INTRO DISCRETE EVENT