罗比·马利克;萨哈尔·莫哈杰拉尼;马丁·费比安 监督控制中用于验证和综合的组合算法综述。 (英语) Zbl 1522.93014号 离散事件动态。系统。 33,编号3,279-340(2023).MSC公司:93甲13 93B30型 93元65角 93-02 PDF格式BibTeX公司 XML格式引用 \textit{R.Malik}等人,离散事件动态。系统。33,编号3,279--340(2023;Zbl 1522.93014) 全文: 内政部 OA许可证
罗比·马利克;马塞洛·特谢拉 离散事件系统的最优模块化控制,具有区分器和逼近器。 (英语) Zbl 1480.93267号 离散事件动态。系统。 31,4号,659-691(2021).MSC公司:93元65角 PDF格式BibTeX公司 XML格式引用 \textit{R.Malik}和\textit{M.Teixeira},离散事件动态。系统。31,第4号,659--691(2021;Zbl 1480.93267) 全文: 内政部
罗比·马利克;西蒙·沃尔 关于组合非阻塞验证中反例的计算。 (英语) Zbl 1448.93205号 离散事件动态。系统。 30,第2期,301-334(2020).MSC公司:93元65角 93-08 PDF格式BibTeX公司 XML格式引用 \textit{R.Malik}和\textit{S.Ware},离散事件动态。系统。30,第2号,301--334(2020;Zbl 1448.93205) 全文: 内政部 链接
罗比·马利克;马塞洛·泰西拉 具有变量抽象的扩展有限状态机的最小限制可控监督的综合。 (英语) Zbl 1448.93204号 离散事件动态。系统。 30,第2期,211-241(2020).MSC公司:93元65角 93-10 PDF格式BibTeX公司 XML格式引用 \textit{R.Malik}和\textit{M.Teixeira},离散事件动态。系统。30,第2号,211--241(2020;Zbl 1448.93204) 全文: 内政部 链接
萨哈尔·莫哈杰拉尼;罗比·马利克;马丁·费比安 以状态机和状态图的形式对监控器进行合成。 (英语) Zbl 1352.93074号 Automatica公司 76, 277-281 (2017).MSC公司:93元65角 93亿B50 93甲13 93立方厘米 93B40码 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{S.Mohajerani}等人,自动化76,277--281(2017;Zbl 1352.93074) 全文: 内政部 链接
萨哈尔·莫哈杰拉尼;罗比·马利克;马丁·费比安 扩展有限状态机的组合非阻塞验证框架。 (英语) 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) 全文: 内政部 链接
罗比·马利克;莱杜克·莱恩 使用离散事件系统和冲突预订单对制造系统进行分层建模。 (英语) Zbl 1328.93012号 离散事件动态。系统。 25,第1-2号,177-201(2015).MSC公司:93甲13 93A30型 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{R.Malik}和\textit{R.Leduc},离散事件动态。系统。25,编号1--2,177-201(2015;Zbl 1328.93012) 全文: 内政部 链接
西蒙·沃尔;罗比·马利克 使用注释自动机的离散事件系统的冲突保护抽象。 (英语) 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 1125.93018号 离散事件动态。系统。 17,第4期,475-504(2007).MSC公司:93亿B50 93C55美元 93个B05 PDF格式BibTeX公司 XML格式引用 \textit{H.Flordal}等人,离散事件Dyn。系统。17,第4号,475--504(2007;Zbl 1125.93018) 全文: 内政部 链接
罗比·马利克;大卫·斯特雷德;史蒂夫·里夫斯 冲突和公平测试。 (英语) Zbl 1096.68109号 发现的国际期刊。计算。科学。 17,第4期,797-813(2006年).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Malik}等人,《国际法学杂志》发现。计算。科学。17,第4号,797--813(2006;Zbl 1096.68109) 全文: 内政部