×

使用Petri网的离散事件系统不可观测行为的模型识别。 (英语) Zbl 1416.93132号

摘要:本文讨论了从系统动态演化的知识中识别一个对系统不可观察行为建模的Petri网的问题。我们假设给出了一个表示系统可观察行为的部分Petri网模型,其中所有转换都是可观察的。标识符监控系统演变并记录观察到的转换顺序(以及可能的相应标记)。通过建立和求解整数线性规划问题,从转换序列中识别出一些建模未知系统行为的不可观测转换。这些识别出的不可观察跃迁以及给定的部分Petri网模型描述了整个系统的特征,包括可观察和不可观察的行为。考虑了两种不同的情况。首先,我们假设没有可以观察到的地方。在这种情况下,只有在系统演化过程中才能观察到转换序列。其次,我们假设一个地方子集是可观察的;也就是说,观察结果不仅包含过渡序列,还包含相应的标记。因此,应根据观察到的标记对相关编程问题中的不可观察过渡施加额外的约束,以便找到更真实的不可观测过渡。

MSC公司:

93立方65 离散事件控制/观测系统
93个B07 可观察性
93B30型 系统标识
第68季度85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)

软件:

UMDES公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 卡桑德拉斯,C.G。;Lafortune,S.,《离散事件系统导论》(2008),美国纽约州纽约市:美国纽约州斯普林格·Zbl 1165.93001号 ·doi:10.1007/978-0-387-68612-7
[2] Chen,Y.F。;Li,Z.W.,《柔性制造系统最优管理者的结构极小化》,Automatica,48,10,2647-2656(2012)·Zbl 1271.93102号 ·doi:10.1016/j.automatica.2012.06.068
[3] 陈,Y。;李,Z。;巴考伊,K。;Giua,A.,关于Petri网上一类非线性约束的实施,Automatica,55,116-124(2015)·兹比尔1378.93082 ·doi:10.1016/j.automatica.2015.02.014
[4] 巴兹利,F。;Chiacchio,P。;de Tommasi,G.,《离散事件系统在线诊断的有效方法》,IEEE自动控制事务,54,4,748-759(2009)·兹比尔1367.93358 ·doi:10.1109/tac.2009.2014932
[5] 卡巴西诺,M.P。;A.Giua。;Seatzu,C.,《使用具有不可观测转换的Petri网对离散事件系统进行故障检测》,Automatica,46,9,1531-1539(2010)·兹比尔1201.93074 ·doi:10.1016/j.automatica.2010.06.013
[6] 多托利,M。;范蒂,M.P。;Mangini,A.M。;Ukovich,W.,《用Petri网和整数线性规划在离散事件系统中进行在线故障检测》,Automatica,45,11,2665-2672(2009)·Zbl 1180.93066号 ·doi:10.1016/j.automatica.2009.07.021
[7] Ru,Y。;Hadjicostis,C.N.,用部分观察petri网建模的离散事件系统的故障诊断,离散事件动态系统,19,4,551-575(2009)·Zbl 1180.93069号 ·doi:10.1007/s10626-009-0074-7
[8] Gold,E.M.,从给定数据识别自动机的复杂性,信息与控制,37,3,302-320(1978)·Zbl 0376.68041号 ·doi:10.1016/S0019-9958(78)90562-4
[9] Angluin,D.,《可逆语言的推断》,《ACM杂志》,29,3,741-765(1982)·Zbl 0485.68066号 ·数字对象标识代码:10.1145/322326.32234
[10] A.Giua。;Seatzu,C.,通过整数规划识别自由标记Petri网,第44届IEEE决策与控制会议论文集,IEEE
[11] 卡巴西诺,M.P。;A.Giua。;Seatzu,C.,从语言知识识别Petri网,离散事件动态系统,17,4,447-474(2007)·Zbl 1125.93332号 ·doi:10.1007/s10626-007-0025-0
[12] 卡巴西诺,M.P。;A.Giua。;Hadjicostis,C.N。;Seatzu,C.,Petri网中的故障模型识别和合成,离散事件动态系统,25,3,419-440(2015)·Zbl 1328.93163号 ·doi:10.1007/s10626-014-0190-x
[13] 多托利,M。;范蒂,M.P。;Mangini,A.M.,《Petri网识别的优化方法》,第八届离散事件系统国际研讨会论文集,WODES’06,IEEE
[14] 多托利,M。;范蒂,M.P。;Mangini,A.,使用Petri网的离散事件系统的实时识别,Automatica,44,5,1209-1219(2008)·Zbl 1283.93187号 ·doi:10.1016/j.automatica.2007.10.14
[15] 多托利,M。;Pia Fanti,M。;曼吉尼,A.M。;Ukovich,W.,用Petri网识别工业自动化系统的不可观察行为,控制工程实践,19,9,958-966(2011)·doi:10.1016/j.connengprac.2010.09.004
[16] Hiraishi,K.,通过呈现发射序列构建一类安全Petri网,Petri网应用和理论国际会议论文集
[17] Meda,M.E。;A.拉米雷斯。;Malo,A.,离散事件系统中的识别,IEEE系统、人与控制论国际会议论文集,IEEE
[18] Meda-Campaña,M。;López-Mellado,E.,使用Petri网识别并发离散事件系统,第17届IMACS计算与应用数学世界大会论文集
[19] Bekrar,R。;北梅赛。;埃松布利,N。;Hamzaoui,A。;Riera,B.,使用安全Petri网对一类离散事件系统进行离线识别,IFAC论文集,39,17,221-226(2006)
[20] Sampath,M。;Sengupta,R。;Lafortune,S。;Sinnamohideen,K。;Teneketzis,D.,离散事件系统的可诊断性,IEEE自动控制汇刊,40,9,1555-1575(1995)·Zbl 0839.93072号 ·doi:10.1109/9.412626
[21] 扎伊顿,J。;Lafortune,S.,《离散事件系统故障诊断方法概述》,《控制年度回顾》,37,2,308-320(2013)·doi:10.1016/j.arcontrol.2013.09.009
[22] Murata,T.,《Petri网:特性、分析和应用》,《IEEE学报》,77,4,541-580(1989)·数字对象标识代码:10.1109/5.24143
[23] Bemporad,A。;Morari,M.,《集成逻辑、动力学和约束的系统控制》,Automatica,35,3,407-427(1999)·Zbl 1049.93514号 ·doi:10.1016/S0005-1098(98)00178-2
[24] LPSOLVE公司,https://sourceforge.net/projects/lpsolve/
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。