Determination of Timed Transitions in Identified Discrete-Event Models for Fault Detection

被引：0

作者：

Schneider, Stefan ^{[1
]}

Litz, Lothar ^{[1
]}

Lesage, Jean-Jacques ^{[2
]}

机构：

[1] Univ Kaiserslautern, Inst Automat Control, D-67653 Kaiserslautern, Germany

[2] Univ Recherche Prod Automat, Ecole Normale Super, Lesage Lab, F-94235 Cachan, France

来源：

2012 IEEE 51ST ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC) | 2012年

关键词：

DIAGNOSIS;

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

Model-based fault detection compares modeled and observed behavior to decide whether a system operates properly or not. The key issue in this paper is to model large-scale Discrete Event Systems (DESs) with little a-priori knowledge. For this class of systems a new approach to black-box determination of timed transitions for timed automata is proposed. The method identifies a set of time guards leading to an advantageous trade-off between the fault detection errors: false alarms and missed detections. A real industrial system is applied for evaluation of time guard determination. It is shown that applying the proposed method results in a better trade-off between the fault detection errors than using common methods (e.g. Min/Max, Normal Distribution).

引用

页码：5816 / 5821

页数：6