Fault prognosis of timed stochastic discrete event systems with bounded estimation error

被引:23
作者
Ammour, Rabah [1 ]
Leclercq, Edouard [1 ]
Sanlaville, Eric [2 ]
Lefebvre, Dimitri [1 ]
机构
[1] Normandie Univ, UNIHAVRE, GREAH, F-76600 Le Havre, France
[2] Normandie Univ, UNIHAVRE, LITIS, F-76600 Le Havre, France
关键词
Discrete-event systems; Fault prognosis; Stochastic Petri nets;
D O I
10.1016/j.automatica.2017.04.028
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This article deals with the problem of fault prognosis in timed stochastic discrete event systems. For that purpose, partially observed stochastic Petri nets are considered to model the system with its sensors. The model represents both healthy and faulty behaviors of the system. Using a timed measurement sequence issued from the sensors, an approach denoted (rho, delta)-prognosis is proposed to estimate the probability of a future fault occurrence. The method is based on two input parameters: the error bound rho and the prognosis horizon delta. The main contribution is to bound the estimation error by rho when the prognosis horizon does not exceed delta. An example is presented to illustrate the results. (C) 2017 Elsevier Ltd. All rights reserved.
引用
收藏
页码:35 / 41
页数:7
相关论文
共 18 条
[1]   Closed-form expressions for distribution of sum of exponential random variables [J].
Amari, SV ;
Misra, RB .
IEEE TRANSACTIONS ON RELIABILITY, 1997, 46 (04) :519-522
[2]   State Estimation for DES according to Partially Observed Stochastic Petri Nets [J].
Ammour, R. ;
Leclercq, E. ;
Sanlaville, E. ;
Lefebvre, D. .
IFAC PAPERSONLINE, 2016, 49 (12) :390-395
[3]  
Ammour R, 2016, INT WORKS DISCRETE, P472, DOI 10.1109/WODES.2016.7497890
[4]  
Cassandras C. G., 2008, INTRO DISCRETE EVENT
[5]  
Cassez Franck, 2013, Formal Modeling and Analysis of Timed Systems. Proceedings of 11th International Conference (FORMATS 2013): LNCS 8053, P62, DOI 10.1007/978-3-642-40229-6_5
[6]   Stochastic Failure Prognosability of Discrete Event Systems [J].
Chen, Jun ;
Kumar, Ratnesh .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2015, 60 (06) :1570-1581
[7]   Predictability of event occurrences in partially-observed discrete-event systems [J].
Genc, Sahika ;
Lafortune, Stephane .
AUTOMATICA, 2009, 45 (02) :301-311
[8]  
Jeron T., 2008, IFAC P, V41, P537
[9]   Decentralized Prognosis of Failures in Discrete Event Systems [J].
Kumar, Ratnesh ;
Takai, Shigemasa .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2010, 55 (01) :48-59
[10]   Fault diagnosis and prognosis with partially observed stochastic Petri nets [J].
Lefebvre, Dimitri .
PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART O-JOURNAL OF RISK AND RELIABILITY, 2014, 228 (04) :382-396