×
拉巴·阿穆尔;爱德华·勒克莱尔;埃里克·桑拉维尔;迪米特里·列斐伏尔

使用部分观测随机Petri网进行故障预测：一种增量方法。 （英语） Zbl 1398.93211号

离散事件动态。系统。 28，第2期，247-267（2018）.
摘要：本文研究随机离散事件系统的故障预测问题。为此，考虑使用部分可观测的随机Petri网对系统及其传感器进行建模。该模型代表了系统的健康和错误行为。我们的目标是，基于传感器发出的定时测量轨迹，计算未来时间间隔内发生故障的概率。为此，提出了一种基于增量算法的程序来计算系统的一致行为集。基于测量数据，评估一致轨迹的概率，并由此获得状态估计。从可能的电流状态及其概率集合出发，利用概率模型开发了一种评估未来故障概率的方法。给出了一个例子来说明结果。

引用于4文件

理学硕士：

93元65角 离散事件控制/观测系统
93E03型 控制理论中的随机系统（一般）
93个B07 可观察性
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
93-04 系统和控制理论相关问题的软件、源代码等

关键词：

离散事件系统;故障预测;随机Petri网

软件：

UMDES公司
PDF格式BibTeX公司 XML格式引用
\textit{R.Ammour}等人，离散事件动态。系统。28，第2号，247--267（2018；Zbl 1398.93211）
全文： 内政部

参考文献：

[1] SV阿玛里；Misra，RB，指数随机变量和分布的闭式表达式，IEEE Trans-Relib，46，519-522，（1997）·doi:10.1009/24.693785
[2] Ammour R，Leclercq E，Sanlaville E，Lefebvre D（2016）使用部分观测随机Petri网进行断层预测。致：第十三届离散事件系统国际研讨会，中国西安，第472-477页
[3] 鲍比奥，A；普利亚菲托，A；Telek，M；Trivedi，K，随机Petri网的最新发展，循环系统计算杂志，8119-158，（1998）·doi:10.1142/S0218126698000067
[4] Cassandras C，Lafortune S（2008）《离散事件系统导论》，第2版。纽约州施普林格·Zbl 1165.93001号 ·doi:10.1007/978-0-387-68612-7
[5] Cassez F，Grastien A（2013），时间系统中事件发生的可预测性。In：时间系统的形式化建模和分析，第62-76页·Zbl 1390.68383号
[6] Diaz M（2013）Petri网：基本模型、验证和应用。威利·Zbl 1183.68398号
[7] 陈，J；Kumar，R，离散事件系统的随机故障可预测性，IEEE Trans-Auto Control，601570-1581，（2015）·Zbl 1360.68228号 ·doi:10.1109/TAC.2014.2381437
[8] Finkel A（1993）Petri网的最小覆盖图。摘自：Petri网的进展，第210-243页
[9] 基因，S；Lafortune，S，部分观测离散事件系统中事件发生的可预测性，Automatica，45301-311，（2009）·Zbl 1158.93366号 ·doi:10.1016/j.automatica.2008.06.022
[10] Haddad S，Moreaux P（2009），随机Petri网，第9章。在：Petri网：基本模型和应用。威利
[11] Jéron T，Marchand H，Genc S，Lafortune S（2008）离散事件系统中序列模式的可预测性。摘自：第17届国际会计师联合会世界大会会议记录。韩国首尔，第537-543页
[12] 库姆西，A；Chakib，H，离散事件系统故障分散预测的连接和析取架构，IEEE Trans-Autom Sci Eng，9，412-417，（2012）·Zbl 1252.93083号 ·doi:10.1109/TASE.2012.2189563
[13] 库马尔，R；Takai，S，离散事件系统故障的分散预测，IEEE Trans-Autom Control，55，48-59，（2010）·兹比尔1368.93379 ·doi:10.1109/TAC.2009.2034216
[14] Lefebvre，D，《利用部分观测随机Petri网进行故障诊断和预测》，Proc IMechE Part O:J Risk Reliab，228382-396，（2014）·doi:10.1177/1350650113511960
[15] Marsan MA，Balbo CG，Donatelli S，Franceschinis G（1994），广义随机Petri网建模。并行计算中的威利级数。威利
[16] Miner AS，Ciardo G（1999）使用决策图高效生成和存储可达集。参加：Petri网应用和理论国际会议。柏林-海德堡施普林格出版社，第6-25页
[17] Molloy，M，使用随机Petri网进行性能分析，IEEE Trans-Comput，100913-917，（1982）·doi:10.10109/TC.182.1676110
[18] Nouioua F，Dague P，Ye L（2014）离散事件系统可预测性的概率分析。参加：第25届诊断原理国际研讨会（DX'14），法国巴黎
[19] 普洛塞，H；Kam，M；Kwatny，HG，部分观测离散事件系统的在线监督合成，IEEE Trans-Autom Control，43，1630-1634，（1998）·Zbl 0981.93044号 ·doi:10.1109/9.728885
[20] Ross SM（2010）《概率模型导论》，第10版。爱思唯尔学院出版社·邮编：1184.60002
[21] Ru、Y；Hadjiscotis，CN，用部分观察Petri网建模的离散事件系统的故障诊断，离散事件动态系统，19551-575，（2009）·兹比尔1180.93069 ·doi:10.1007/s10626-009-0074-7
[22] 桑帕斯，M；等。，离散事件系统的可诊断性，IEEE Trans-Autmatic Control，40，1555-1575，（1995）·Zbl 0839.93072号 ·doi:10.1109/9.412626
[23] Takai，S，一组部分观测离散事件系统的鲁棒可预测性，Automatica，51，123-130，（2015）·Zbl 1309.93105号 ·doi:10.1016/j.automatica.2014.10.104
[24] 阴，X；Li，Z，具有保证性能界的离散事件系统的分散故障预测，Automatica，69，375-379，（2016）·Zbl 1338.93240号 ·doi:10.1016/j.automatica.2016.03.015
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。