State Observer for DES Under Partial Observation with Time Petri Nets

被引:30
作者
Ghazel, Mohamed [1 ]
Toguyeni, Armand [2 ]
Yim, Pascal [2 ]
机构
[1] INRETS, ESTAS, French Natl Inst Transport & Safety Res, F-59666 Villeneuve Dascq, France
[2] Ecole Cent Lille, LAGIS, F-59651 Villeneuve Dascq, France
来源
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS | 2009年 / 19卷 / 02期
关键词
Discrete event systems; State observer; Monitoring; Diagnosis; Time Petri net; Partial observability;
D O I
10.1007/s10626-009-0060-0
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper deals with a state observation approach for Discrete Event Systems with a known behavior. The system behavior is modeled using a Time Petri Net model. The proposed approach exploits temporal constraints to assess the system state and therefore detect and determine faults given partial observability of events. The goal here is to track the system state and to identify the event scenarios which occur on the system. Our approach uses the class graph of the Time Petri Net which models the complete system behavior to develop a state observer which is a base to perform online fault detection and diagnosing.
引用
收藏
页码:137 / 165
页数:29
相关论文
共 16 条
  • [11] Merlin P. M., 1974, A study of the recoverability of computing systems
  • [12] Template languages for fault monitoring of timed discrete event processes
    Pandalai, DN
    Holloway, LE
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2000, 45 (05) : 868 - 882
  • [13] PRADIN B, 2001, JOURN FORM ACT CONC, P123
  • [14] Failure diagnosis using discrete-event models
    Sampath, M
    Sengupta, R
    Lafortune, S
    Sinnamohideen, K
    Teneketzis, DC
    [J]. IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 1996, 4 (02) : 105 - 124
  • [15] Toguyeni A. K. A., 1997, P 15 IMACS WORLD C S, V6, P709
  • [16] Ushio T, 1998, IEEE SYS MAN CYBERN, P113, DOI 10.1109/ICSMC.1998.725394