×
J.科门达。;范舒彭，J.H。;戈丁，B。;H·马尔坎德。

使用全球规范语言对模块化系统进行监控。 （英语） 兹比尔1283.93011

Automatica公司 44，第4期，1127-1134（2008）.
摘要：给出了模块（监督）控制综合等于全局控制综合的充分条件。在模块化控制合成中，每个模块分别合成一个监控，监控由模块化监控的并行组成。规范的一般情况是不可分解的，不一定包含在植物语言中，这在实践中经常发生。通过引入两个新的结构条件，放松了所有共享事件都可控的通常假设。作为充分结构条件的新概念是强全局互控性。主要结果使用了一个较弱的条件，称为全局互控性和规范的局部一致性。一个例子说明了这种方法。

引用于14文件

MSC公司：

93甲13 层次系统
93元65角 离散事件控制/观测系统
93个B05 可控性

关键词：

离散通风系统的模块化控制;部分可控性;全局相互可控性;上控子语言

软件：

UMDES公司
PDF格式BibTeX公司 XML格式引用
\textit{J.Komenda}等人，Automatica 44，No.4，1127--1134（2008；Zbl 1283.93011）
全文： 内政部

参考文献：

[1] 勃兰特·R·D。；Garg，V.K。；库马尔，R。；林，F。；马库斯，S.I。；Wonham，W.M.，计算最高和正常子语言的公式，系统和控制字母，15，8，111-117（1990）·Zbl 0715.93044号
[2] 卡桑德拉斯，S.G。；Lafortune，S.，《离散事件系统导论》（1999），Kluwer学术出版社：Kluwer-学术出版社Dordrecht·Zbl 0934.93001号
[3] Gaudin，B.和Marchand，H.（2004）。一类并发离散事件系统的模块化监督控制。在WODES’04会议记录离散通风系统讲习班; Gaudin，B.和Marchand，H.（2004）。一类并发离散事件系统的模块化监督控制。在WODES’04会议记录离散通风系统讲习班·兹比尔1293.93037
[4] Komenda，J.和van Schuppen，J.H.（2004）。大型分布式离散事件系统的最高正常子语言。在离散通风系统研讨会; Komenda，J.和van Schuppen，J.H.（2004年）。大型分布式离散事件系统的最高正常子语言。在离散通风系统研讨会
[5] Komenda，J。；van Schuppen，J.H.，使用余代数和共聚控制部分观测的离散事件系统，离散事件动力系统：理论与应用，15，3，257-315（2005）·Zbl 1101.93050号
[6] Komenda，J.和van Schuppen，J.H.（2007）。并发DES的结构控制。在2007年MSR会议记录系统活动模式; Komenda，J.和van Schuppen，J.H.（2007）。并发DES的结构控制。在2007年MSR会议记录系统活动模式·Zbl 1143.68053号
[7] Komenda，J.、van Schuppen，J.H.、Gaudin，B.和Marchand，H.（2005）。具有通用不可分解规范语言的模块化监控。在第44届IEEE决策与控制联合会议和欧洲控制会议记录; Komenda，J.、van Schuppen，J.H.、Gaudin，B.和Marchand，H.（2005）。具有通用不可分解规范语言的模块化监控。在第44届IEEE决策与控制联合会议和欧洲控制会议记录·Zbl 1283.93011号
[8] Ramadge，P.J。；Wonham，W.M.，离散事件系统的控制，IEEE会议记录，77，81-98（1989）·Zbl 0595.93047号
[9] Rohloff，K.和Lafortune，S.（2002年）。模块化离散事件系统验证的计算复杂性。在第41届IEEE决策与控制会议记录; Rohloff，K.和Lafortune，S.（2002年）。模块化离散事件系统验证的计算复杂性。在第41届IEEE决策与控制会议记录·Zbl 1109.93032号
[10] Rutten，J.J.M.M.（1999）。Coalgebra公司并发和控制; Rutten，J.J.M.M.（1999）。Coalgebra公司并发和控制·Zbl 1017.93064号
[11] Willner，Y。；Heymann，M.，并发离散事件系统的监督控制，国际控制杂志，541143-1166（1991）·Zbl 0752.93043号
[12] Wong，K.C。；Lee，S.，并发离散事件系统的结构分散控制，《欧洲控制杂志》，8477-491（2002）·Zbl 1293.93524号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。