×
斯塔夫罗斯·特里帕基斯

常规语言分散观察和控制的不确定问题。 （英语） 兹比尔1178.68327

信息处理。莱特。 90，第1期，21-28（2004）.
摘要：我们引入了一个分散观测问题，其中被观测系统被建模为有限字母表（Sigma）上的正则语言（L）和模型分布观测点的子集。正则语言（K\subseteq L）为一组不同的行为建模，例如系统的正确行为。目的是检查一个函数的存在性，该函数在给定与一个行为相对应的\（\ rho\ in L\）的\（n\）观察值的情况下，决定\（\rho\）是否在\（K\）中。我们证明了检查这样一个函数的存在性是不可判定的。然后，我们利用这个结果证明了离散事件系统框架中分散监督控制问题的不可判定性。

引用于20文件

MSC公司：

65年第68季度 形式语言和自动机

关键词：

作者分布式系统;观察;控制;合成;不可判定性
PDF格式BibTeX公司 XML格式引用
\textit{S.Tripakis}，Inf.过程。莱特。90，第1号，21--28（2004；Zbl 1178.68327）
全文： 内政部

参考文献：

[1] Berstel，J.，《转导与上下文无关语言》（1979），特布纳：特布纳-威斯巴登·兹比尔0424.68040
[2] 布隆德尔，V.D。；Tsitsiklis，J.N.，《系统和控制中计算复杂性结果的调查》，Automatica，36，9，1249-1274（2000）·Zbl 0989.93006号
[3] Cieslak，R。；Desclaux，C。；Fawaz，A。；Varaiya，P.，带部分观测的离散事件过程的监督控制，IEEE Trans。自动化。控制，33，249-260（1988）·兹伯利0639.93041
[4] Debouk，R。；Lafortune，S。；Teneketzis，D.，《离散事件系统故障诊断的协调分散协议》（IEEE决策与控制会议，1998年12月）·Zbl 0959.93039号
[5] Garey，M。；Johnson，D.，《计算机与难处理性：NP-完全性理论指南》（1979），弗里曼：弗里曼旧金山，加利福尼亚州·Zbl 0411.68039号
[6] 库马尔，R。；Shayman，M.A.，部分观测下非确定性系统的集中和分散监督控制，SIAM J.控制优化。，35, 2, 363-383 (1997) ·Zbl 0898.93002号
[7] 库普夫曼，O。；Vardi，M.，《综合分布式系统》，（第16届计算机科学逻辑年度研讨会（2001年））
[8] 拉穆奇，H。；Thistle，J.，部分观测下DES的有效控制综合，（IEEE决策与控制会议（2000））·Zbl 1282.93178号
[9] 林，F。；Mortazavian，H.，离散事件系统分散控制的正规性定理，IEEE Trans。自动化。控制，39，5（1994）·Zbl 0816.93006号
[10] 林，F。；Wonham，W.，离散事件系统的分散监督控制，Inform。科学。，44, 199-224 (1988) ·Zbl 0679.68042号
[11] Madhusudan，P。；Thiagarajan，P.S.，局部规范的分布式控制器合成，（希腊克里特岛第28 ICALP，希腊克里特，第28 ICELP，计算机科学讲义，第2076卷（2001），施普林格：施普林格柏林），396-407·Zbl 0986.68079号
[12] Madhusudan，P。；Thiagarajan，P.S.，异步分布式控制器的可判定类（CONCUR’02）。CONCUR’02，计算机科学讲稿，第2421卷（2002），施普林格：施普林格柏林），145-160·Zbl 1012.68118号
[13] 普努利，A。；Rosner，R.，《分布式反应系统难以合成》，（第31届IEEE计算机科学基础研讨会论文集（1990年），746-757
[14] （Caillaud，B.；Darondeau，P.；Lavagno，L.；Xie，X.，《离散事件系统的合成与控制》（2002），Kluwer学术：Kluwer-Academic Dordrecht）·Zbl 1054.93038号
[15] 拉马奇，P。；Wonham，W.，一类离散事件过程的监督控制，SIAM J.控制优化。，25, 1 (1987) ·Zbl 0618.93033号
[16] Rudie，K。；Willems，J.C.，分散离散事件控制问题的计算复杂性，IEEE Trans。自动化。控制，40，7（1995）·Zbl 0833.93007号
[17] Rudie，K。；Wonham，W.，《全球思考，本地行动：分散监督控制》，IEEE Trans。自动化。控制，37（1992）·Zbl 0778.93002号
[18] Tripakis，S.，分散观测和控制的不可判定问题，（IEEE决策和控制会议（CDC’01）（2001））·兹比尔1178.68327
[19] Tripakis，S.，《具有有界或无界延迟通信的离散事件系统的分散控制》，（第六届离散事件系统国际研讨会（WODES’02）（2002），IEEE CS出版社）·Zbl 1365.93022号
[20] Tsitsiklis，J.N.，《关于离散事件动力系统的控制》，数学。控制信号系统，2，2（1989）·Zbl 0677.93045号
[21] 齐齐克利斯，J.N。；Athans，M.，《关于分散决策和检测问题的复杂性》，IEEE Trans。自动化。控制，30，5（1985）·Zbl 0556.90036号
[22] 威尔纳，Y。；Heymann，M.，《关于并发离散事件系统的监督控制》，国际。J.Control，54，5（1991）·Zbl 0752.93043号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。