Safe diagnosability of timed discrete-event systems

被引：0

作者：

Liu F.-C. ^{[1
]}

Cai J.-D. ^{[1
]}

机构：

[1] School of Computers, Guangdong University of Technology, Guangzhou

来源：

Kongzhi yu Juece/Control and Decision | 2017年 / 32卷 / 11期

关键词：

Fault diagnosis; Safe diagnoser; Safe diagnosis; Time discrete-event systems;

D O I：

10.13195/j.kzyjc.2016.1054

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

An approach for safe diagnosis of timed discrete-event systems(TDESs) is proposed. Firstly, the notion of safe diagnosability of TDESs is formalized. Then by constructing the recognizer of illegal language, the sequences of the forbidden unsafe operations are identified, and the safe diagnoser is constructed to perform the safe diagnosis. In particular, a necessary and sufficient condition for safe diagnosability is deduced, and the safe diagnosis of TDES is realized. © 2017, Editorial Office of Control and Decision. All right reserved.

引用

页码：2081 / 2084

页数：3

共 11 条

[1]

Sampath M., Sengupta R., Lafortune S., Et al., Diagnosability of discrete-event systems, IEEE Trans on Automatic Control, 40, 9, pp. 1555-1575, (1995)

[2]

Qiu W., Kumar R., Decentralized failure diagnosis of discrete event systems, IEEE Trans on Systems, Man, and Cybernetics - Part A, 36, 2, pp. 384-395, (2006)

[3]

Wang X.Y., Ouyang D.T., Zhao J., Discrete-event system diagnosis upon incomplete model, J of Sofware, 23, 3, pp. 465-475, (2012)

[4]

Liu F.C., Qiu D., Xing H., Et al., Decentralized diagnosis of stochastic discrete event systems, IEEE Trans on Automatic Control, 53, 2, pp. 535-546, (2008)

[5]

Liu F.C., Qiu D., Diagnosability of fuzzy discrete-event systems: A fuzzy approach, IEEE Trans on Fuzzy Systems, 17, 2, pp. 372-384, (2009)

[6]

Alur R., Dill D., Automata for modeling real-time systems, Lecture Notes in Computer Science, 17, 43, pp. 322-335, (1990)

[7]

Schafaschek G., Max H., Jose E., Local modular supervisory control of timed discrete-event systems, IEEE Trans on Automatic Control, 47, 2, pp. 271-277, (2014)

[8]

Chen Y.L., Provan G., Modeling and diagnosis of timed discrete-event systems - A factory automation example, American Control Conf, pp. 31-36, (1997)

[9]

Paoli A., Lafortune S., Safe diagnosability for fault-tolerant supervision of discrete-event systems, IEEE Trans on Automatic Control, 41, 8, pp. 1335-1347, (2005)

[10]

Liu F.C., Qiu D., Safe diagnosability of stochastic discrete event systems, IEEE Trans on Automatic Control, 53, 5, pp. 1291-1296, (2008)

← 1 2 →