尹、向;圣菲拉福顿 模块离散事件系统一类观测性质的验证复杂性。 (英语) Zbl 1373.93220号 Automatica公司 83, 199-205 (2017).MSC公司:93元65角 93个B07 93B40码 65年20月 PDF格式BibTeX公司 XML格式引用 \textit{X.Yin}和\textit{S.Lafortune},Automatica 83,199--205(2017;Zbl 1373.93220) 全文: DOI程序
克里斯汀·拜尔;托马斯·摩尔 用于顺序行为的分层模块化控制体系结构。 (英语) Zbl 1320.93060号 离散事件动态。系统。 25,编号1-2,95-124(2015).MSC公司:93元65角 05C90年 65年第68季度 93甲13 93个B03 93个B05 93亿B51 93B52号 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}和\textit{T.Moor},离散事件动态。系统。25,编号1--2,95-124(2015;Zbl 1320.93060) 全文: DOI程序
理查德·希尔(Richard C.Hill)。;道恩·M·蒂尔伯里。;拉福,Stéphane 基于等价抽象和基于覆盖的冲突解决的模块化监督控制。 (英语) Zbl 1195.93021号 离散事件动态。系统。 20,第1期,139-185(2010).MSC公司:93A30型 93元65角 93B11号机组 94C15号机组 PDF格式BibTeX公司 XML格式引用 \textit{R.C.Hill}等人,离散事件动力学。系统。20,第1号,139--185(2010;Zbl 1195.93021) 全文: DOI程序
J.科门达。;范·舒彭(J.H.van Schuppen)。;高丁,B。;H·马尔坎德。 使用全球规范语言对模块化系统进行监控。 (英语) Zbl 1283.93011号 Automatica公司 44,第4期,1127-1134(2008).MSC公司:93甲13 93元65角 93个B05 PDF格式BibTeX公司 XML格式引用 \textit{J.Komenda}等人,Automatica 44,No.4,1127--1134(2008;Zbl 1283.93011) 全文: DOI程序
库尔特·罗洛夫;圣菲拉福顿 PSPACE-模块化监控问题的完整性。 (英语) Zbl 1059.93092号 离散事件动态。系统。 15,第2期,145-167(2005).MSC公司:93元65角 93甲13 2017年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Rohloff}和\textit{S.Lafortune},离散事件动态。系统。15,第2号,145--167(2005;Zbl 1059.93092) 全文: DOI程序 链接
约翰·雷格尔;克劳斯·施密特 用于有限状态自动机建模、分析和控制的有限域框架。 (英语) Zbl 1175.93151号 数学。计算。模型。动态。系统。 10,编号3-4,253-285(2004).MSC公司:93元65角 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Reger}和\textit{K.Schmidt},数学。计算。模型。动态。系统。10,编号3--4,253--285(2004;Zbl 1175.93151) 全文: DOI程序 链接
陈文德 DEDS的模块化维度和可达级别。 (中文。英文摘要) Zbl 0941.93039号 J.系统。科学。数学。科学。 第3期第18页,第291-296页(1998年). 审核人:S.Shih(天津) MSC公司:93元65角 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{W.Chen},J.Syst(系统)。科学。数学。科学。18,第3号,291--296(1998;Zbl 0941.93039)
Ushio、Toshimitsu 具有任意控制模式的离散事件系统的反馈逻辑。 (英语) Zbl 0699.93055号 国际J.控制 52,第1期,159-174(1990).MSC公司:93C55美元 93亿B50 93D15号 PDF格式BibTeX公司 XML格式引用 \textit{T.Ushio},国际期刊控制52,第1期,159--174(1990;Zbl 0699.93055) 全文: DOI程序
P.J.拉马奇。;W.M.沃纳姆。 离散事件系统的模块化监督控制。 (英语) Zbl 0595.93047号 系统分析和优化,Proc。第七届国际会议,Antibes/France 1986,Lect。票据控制信息科学。83, 202-214 (1986). 审核人:S.帕塔里斯基 MSC公司:93C99号 68N25号 93亿B50 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式