罗比·马利克;萨哈尔·莫哈杰拉尼;马丁·费比安 监督控制中用于验证和综合的组合算法综述。 (英语) Zbl 1522.93014号 离散事件动态。系统。 33,编号3,279-340(2023).MSC公司:93甲13 93立方厘米30 93元65角 93-02 PDF格式BibTeX公司 XML格式引用 \textit{R.Malik}等人,离散事件动态。系统。33,编号3,279--340(2023;Zbl 1522.93014) 全文: 内政部 OA许可证
迪米特里·列斐伏尔;卡拉·西特祖;Hadjicostis,Christopros N。;亚历山德罗·朱阿 标记连续时间Markov模型的概率状态估计及其在攻击检测中的应用。 (英语) Zbl 1489.93121号 离散事件动态。系统。 32,编号1,65-88(2022);更正同上,32,第3号,539-544(2022)。MSC公司:93E10型 93B53号 93B70型 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{D.Lefebvre}等人,离散事件Dyn。系统。32,编号1,65--88(2022;Zbl 1489.93121) 全文: 内政部 链接
杨荣敏;摩尔,托马斯;约格·莱斯 混合系统监控的行为抽象的改进。 (英语) Zbl 1454.93121号 离散事件动态。系统。 30,第3号,533-560(2020). 审核人:米哈伊尔·克拉斯坦诺夫(索非亚) MSC公司:93立方 93元65角 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Yang}等人,离散事件动力学。系统。30,第3号,533--560(2020;Zbl 1454.93121) 全文: 内政部
费迪·莱恩(Ferdie F.H.Reijnen)。;Martijn A.古登。;范·德·莫特尔·弗朗恰克(van de Mortel-Fronczak),乔安娜·M·。;雅各布斯·E·罗达。 主管综合建模——锁桥组合案例研究。 (英语) Zbl 1448.93088号 离散事件动态。系统。 30,第3期,499-532(2020).MSC公司:93亿B50 93元65角 65年第68季度 93立方厘米95 PDF格式BibTeX公司 XML格式引用 \textit{F.F.H.Reijnen}等人,离散事件动态。系统。30,第3号,499--532(2020;Zbl 1448.93088) 全文: 内政部
罗比·马利克;马塞洛·泰西拉 具有变量抽象的扩展有限状态机的最小限制可控监督的综合。 (英语) Zbl 1448.93204号 离散事件动态。系统。 30,第2期,211-241(2020).MSC公司:93元65角 第93页至第10页 PDF格式BibTeX公司 XML格式引用 \textit{R.Malik}和\textit{M.Teixeira},离散事件Dyn。系统。30,第2号,211--241(2020;Zbl 1448.93204) 全文: 内政部 链接
童,尹;李志武;卡拉·西特祖;亚历山德罗·朱阿 在不可比观测下离散事件系统中的当前状态不透明度强制。 (英语) Zbl 1398.93223号 离散事件动态。系统。 28,第2期,161-182(2018).MSC公司:93元65角 93个B07 65年第68季度 93-04 PDF格式BibTeX公司 XML格式引用 \textit{Y.Tong}等人,离散事件动态。系统。28,第2号,161--182(2018;Zbl 1398.93223) 全文: 内政部
萨哈尔·莫哈杰拉尼;罗比·马利克;马丁·费比安 扩展有限状态机的组合非阻塞验证框架。 (英语) Zbl 1333.93169号 离散事件动态。系统。 26,第1期,33-84(2016).MSC公司:93元65角 93甲13 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{S.Mohajerani}等人,离散事件动力学。系统。26,第1号,33--84(2016;Zbl 1333.93169) 全文: 内政部 链接
Ryan J.莱杜克。;王,于;法希姆·艾哈迈德 采样数据监控。 (英语) Zbl 1302.93141号 离散事件动态。系统。 24,第4期,541-579(2014).MSC公司:93元57 93元65角 93甲13 93个B05 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Leduc}等人,离散事件动力学。系统。24,第4号,541--579(2014;Zbl 1302.93141) 全文: 内政部
西蒙·沃尔;罗比·马利克 使用注释自动机的离散事件系统的冲突保护抽象。 (英语) Zbl 1267.93111号 离散事件动态。系统。 22,第4期,451-477(2012).MSC公司:93元65角 94C15号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Ware}和\textit{R.Malik},离散事件动态。系统。22,第4号,451--477(2012;Zbl 1267.93111) 全文: 内政部 链接
安德烈亚·保利;圣菲拉福顿 一类分层状态机的可诊断性分析。 (英语) Zbl 1171.93357号 离散事件动态。系统。 第385-413号第18页(2008年).MSC公司:93元65角 93个B07 90B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Paoli}和\textit{S.Lafortune},离散事件动态。系统。18,编号3,385--413(2008;Zbl 1171.93357) 全文: 内政部
叶夫图申科,尼娜;蒂齐亚诺别墅;罗伯特·K·布雷顿。;亚历克斯·佩特连科;Alberto L.Sangiovanni-Vincentelli。 同步FSM方程的组合渐进解。 (英语) Zbl 1161.93322号 离散事件动态。系统。 第1期第18页,51-89页(2008年).MSC公司:93元65角 93C83号 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{N.Yevtushenko}等人,离散事件Dyn。系统。18,编号1,51--89(2008;Zbl 1161.93322) 全文: 内政部
雨果·弗洛达尔;罗比·马利克;马丁·费比安;克努特·奥凯森 使用监督等价性对最大允许监督进行合成。 (英语) Zbl 1125.93018号 离散事件动态。系统。 17,第4期,475-504(2007).MSC公司:93亿B50 93C55美元 93个B05 PDF格式BibTeX公司 XML格式引用 \textit{H.Flordal}等人,离散事件动力学。系统。17,第4号,475--504(2007;Zbl 1125.93018) 全文: 内政部 链接
本诺伊·高丁;埃尔文·默坎德 并发离散事件系统的有效模块化控制方法:基于语言的方法。 (英语) Zbl 1116.93038号 离散事件动态。系统。 第2179-209号(2007年).MSC公司:93元65角 93B40码 93个B05 PDF格式BibTeX公司 XML格式引用 \textit{B.Gaudin}和\textit{H.Merchand},离散事件动态。系统。17,No.2,179--209(2007;Zbl 1116.93038) 全文: 内政部 链接
Hiraishi、Kunihiko 使用正则语言学习算法合成监督员。 (英语) Zbl 0974.93036号 离散事件动态。系统。 11,第3期,211-234(2001). 审核人:Yousri M.El-Fattah(圣莫尼卡) MSC公司:93元65角 93亿B50 68T05型 93甲13 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Hiraishi},离散事件动态。系统。11,第3号,211--234(2001;Zbl 0974.93036) 全文: 内政部
Di Gennaro,S。;喇叭,C。;库尔卡尼,S.R。;P.J.拉马奇。 减少定时混合系统。 (英语) Zbl 0916.93035号 离散事件动态。系统。 8,第4期,343-351(1998). 审核人:B.F.Šmarda(布尔诺) MSC公司:93立方 93B11号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Di Gennaro}等人,《离散事件动力学》。系统。8,第4号,343--351(1998;Zbl 0916.93035) 全文: 内政部
Toshimitsu Ushio 离散事件系统中使用增强语言的监控。 (英语) Zbl 0790.93007号 离散事件动态。系统。 第4期,第1期,第5-22期(1994年).MSC公司:93A10号 PDF格式BibTeX公司 XML格式引用 \textit{T.Ushio},离散事件动态。系统。4,第1号,第5--22号(1994;Zbl 0790.93007) 全文: 内政部