×
萨希卡将军;拉福，Stéphane

部分观测到的离散事件系统中事件发生的可预测性。 （英语） Zbl 1158.93366号

Automatica公司 45，第2期，301-311（2009）.
摘要：本文研究了部分观测离散事件系统中重大事件发生的预测问题。系统中事件发生的可预测性是在形式语言的上下文中定义的。语言的可预测性是比语言的可诊断性更强的条件。给出了用正则语言建模的系统中事件发生的可预测性的两个充要条件。这两个条件都可以通过算法进行测试。第一种情况需要诊断人员。第二个条件使用验证器并产生多项式时间（状态数）复杂性测试，以验证可预测性。当可预测性成立时，可以在线使用诊断仪来预测重大事件。

引用于1审查
引用于20文件

MSC公司：

93元65角 离散事件控制/观测系统
93个B07 可观察性

关键词：

离散通风系统;预测;诊断

软件：

GIDDES公司;DESUMA公司;UMDES公司
PDF格式BibTeX公司 XML格式引用
\textit{S.Genc}和\textit{S.Lafortune}，Automatica 45，第2期，301-311（2009；Zbl 1158.93366）
全文： 内政部

参考文献：

[1] 巴斯，S.R。；Papadimitriou，C。；Tsitsiklis，J.，《耦合自动机的可预测性：关于混沌的寓言，复杂系统》，第5525-539页（1991年）·Zbl 0760.68031号
[2] Cao，X.，离散事件系统的可预测性，IEEE自动控制汇刊，34，11，1168-1171（1989）·Zbl 0691.68082号
[3] Chase，C.和Ramadge，P.J.（1990年）。一类一维监督系统的可预测性。在第五届IEEE智能控制国际研讨会论文集; Chase，C.和Ramadge，P.J.（1990年）。一类一维监督系统的可预测性。在第五届IEEE智能控制国际研讨会论文集
[4] Das，S.K。；Sarkar，F。；巴苏，K。；Madhavapeddy，S.，《星型网络中的并行离散事件模拟及其在电信中的应用》，（MASCOTS’95：第三届计算机和电信系统建模、分析和仿真国际研讨会论文集（1995），IEEE计算机学会：IEEE计算机协会，美国华盛顿特区），66-71
[5] Declerck，P.（1998）。时间偏差图的可预测性和控制综合。在离散通风系统研讨会; Declerck，P.（1998）。时间偏差图中的可预测性和控制综合。在离散通风系统研讨会
[6] Fadel，H.K.和Holloway，L.E.（1999）。在离散事件制造系统中使用SPC和模板监控方法进行故障检测和预测。在1999年IEEE智能控制/智能系统和符号学国际研讨会论文集; Fadel，H.K.和Holloway，L.E.（1999）。在离散事件制造系统中使用SPC和模板监控方法进行故障检测和预测。在1999年IEEE智能控制/智能系统和符号学国际研讨会论文集
[7] Feiler，P.H.、Lewis，B.和Vestal，S.（2000年）。提高嵌入式实时系统的可预测性；Feiler，P.H.、Lewis，B.和Vestal，S.（2000年）。提高嵌入式实时系统的可预测性
[8] Genc，S.（2006）。关于部分观测到的离散事件系统的诊断和可预测性。博士论文; Genc，S.（2006）。关于部分观测离散事件系统的诊断和可预测性。博士论文
[9] Genc，S.（2008）。Windows NT攻击入侵检测的形式化方法。在第三届信息保障年会（ASIA08）和第十一届纽约网络安全年会; Genc，S.（2008）。Windows NT攻击入侵检测的形式化方法。在第三届信息保障年会（ASIA08）和第十一届纽约网络安全年会
[10] Genc，S.和Lafortune，S.（2006年a）。部分观察到的离散通风系统的模式诊断。在第45届IEEE决策与控制会议; Genc，S.和Lafortune，S.（2006年a）。部分观察到的离散通风系统的模式诊断。在第45届IEEE决策与控制会议·Zbl 1158.93366号
[11] Genc，S.和Lafortune，S.（2006年b）。部分观测下离散事件系统的可预测性。在第六届IFAC技术过程故障检测、监督和安全研讨会; Genc，S.和Lafortune，S.（2006年b）。部分观测下离散事件系统的可预测性。在第六届IFAC技术过程故障检测、监督和安全研讨会
[12] He，Q.、Ammar，M、Riley，G.和Fujimoto，R.（2002年）。利用tcp稳态行为的可预测性加快网络模拟。在第十届IEEE计算机和电信系统建模、分析和仿真国际研讨会; He，Q.，Ammar，M，Riley，G.，&Fujimoto，R.（2002）。利用tcp稳态行为的可预测性加快网络模拟。在第十届IEEE计算机和电信系统建模、分析和仿真国际研讨会
[13] Jeron，T.、Marchand，H、Genc，S.和Lafortune，S.（2008年）。离散事件系统中序列模式的可预测性。在第17届IFAC世界大会; Jeron，T.、Marchand，H、Genc，S.和Lafortune，S.（2008年）。离散事件系统中序列模式的可预测性。在第17届IFAC世界大会
[14] King，S.T。；Chen，P.M.，回溯入侵，计算机系统ACM事务，23，1，51-76（2005）
[15] Lafortune，S.Umdes-lib软件库。2006年4月检索。http://www.eecs.umich.edu/umdes/toolboxes.html; Lafortune，S.Umdes-lib软件库。2006年4月检索。http://www.eecs.umich.edu/umdes/toolboxes.html
[16] Musolesi，M.和Mascolo，C.（2006年）。评估自主通信的上下文信息可预测性。在美国控制会议; Musolesi，M.和Mascolo，C.（2006年）。评估自主通信的上下文信息可预测性。在美国控制会议
[17] Ricker，L.、Lafortune，S.和Genc，S.（2006年）。Desuma：集成GIDDES和UMDES的工具。在第八届离散事件系统国际研讨会软件工具; Ricker，L.、Lafortune，S.和Genc，S.（2006年）。Desuma：集成GIDDES和UMDES的工具。在第八届离散事件系统国际研讨会软件工具
[18] Sampath，M。；Lafortune，S。；Teneketzis，D.，离散事件系统的主动诊断，IEEE自动控制汇刊，43，7，908-929（1998）·Zbl 0949.90025号
[19] Sampath，M。；Sengupta，R。；Lafortune，S。；Sinnamohideen，K。；Teneketzis，D.，离散事件系统的可诊断性，IEEE自动控制汇刊，40，9，1555-1575（1995）·Zbl 0839.93072号
[20] Sampath，M。；Sengupta，R。；Lafortune，S。；Sinnamohideen，K。；Teneketzis，D.，使用离散事件模型进行故障诊断，IEEE控制系统技术汇刊，4，2，105-124（1996）
[21] 盛兵，J。；Kumar，R.，《具有线性时间时序逻辑规范的离散事件系统的故障诊断》，IEEE自动控制汇刊，49，6，934-945（2004）·Zbl 1365.93294号
[22] Yoo，T。；Lafortune，S.，部分观测离散事件系统可诊断性的多项式时间验证，IEEE自动控制汇刊，47，9，1491-1495（2002）·Zbl 1364.93176号
[23] 赵，F。；Koutsoukos，X。；Haussecker，H。；Reich，J。；Cheung，P.，混合系统的监测和故障诊断，IEEE系统汇刊，人与控制论，B部分，35，6，1225-1240（2005）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。