Design of indicators for the detection of time shift failures in (max, plus )-linear systems

被引：3

作者：

Sahuguede, Alexandre ^{[1
]}

Le Corronc, Euriell ^{[1
]}

Pencole, Yannick ^{[1
]}

机构：

[1] Univ Toulouse, CNRS, UPS, LAAS, Toulouse, France

来源：

IFAC PAPERSONLINE | 2017年 / 50卷 / 01期

关键词：

Fault detection; Fault diagnosis; Modelling; (max; plus )-Linear Systems; Monitoring; Algebraic approaches;

D O I：

10.1016/j.ifacol.2017.08.1200

中图分类号：

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

学科分类号：

0812 ;

摘要：

In this paper, we address the problem of failure detection in a timed discrete event system (TDES). We first introduce the problem of detecting time shift failures in a TDES modeled as a (max, +)-linear system. Then we propose the definition of an indicator that relies on the (max, +) algebraic framework and show how it can detect time shift failures in the case of a single output system. Finally, an extension is proposed to deal with multiple outputs. (C) 2017, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.

引用

页码：6813 / 6818

页数：6

共 14 条

[1] Baccelli F., 1992, Synchronization and Linearity
[2] Bouyer P, 2005, LECT NOTES COMPUT SC, V3441, P219
[3] ALGEBRAIC TOOLS FOR THE PERFORMANCE EVALUATION OF DISCRETE EVENT SYSTEMS
COHEN, G
MOLLER, P
QUADRAT, JP
VIOT, M
[J]. PROCEEDINGS OF THE IEEE, 1989, 77 (01) : 39 - 58
[4] Cottenceau B, 2000, 5 INT WORKSH DISCR E
[5] Dousson C, 1999, IJCAI-99: PROCEEDINGS OF THE SIXTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 & 2, P620
[6] State Observer for DES Under Partial Observation with Time Petri Nets
Ghazel, Mohamed
Toguyeni, Armand
Yim, Pascal
[J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2009, 19 (02): : 137 - 165
[7] Jiroveanu G., 2013, CHAPTER ON LINE DIAG
[8] Liu B., 2014, IFAC P, V47, P1784
[9] MaxPlus, 1991, 30 IEEE C DEC CONTR
[10] Pencolé Y, 2009, J UNIVERS COMPUT SCI, V15, P3246

← 1 2 →