马利克,罗比;萨哈尔·莫哈杰拉尼;马丁·费比安 监督控制中用于验证和综合的组合算法综述。 (英语) 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},离散事件Dyn。系统。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) 全文: 内政部 链接
迪米特里·博伦德;斯特凡·科瓦列夫斯基 利用Horn子句解决PLC软件的成分验证。 (英语) Zbl 1435.68190号 离散事件动态。系统。 30,编号1,1-24(2020)。MSC公司:60年第68季度 68纳米30 68问题55 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bohlender}和\textit{S.Kowalewski},离散事件动态。系统。30,第1号,1-24(2020;Zbl 1435.68190) 全文: 内政部
弗雷德里克·哈杰布林;本特·伦纳特森 使用组合优化的大规模系统系统的时间最优控制。 (英语) Zbl 1441.93010号 离散事件动态。系统。 29,第3期,411-443(2019)。MSC公司:93甲15 93立方65 65年第68季度 2017年第68季度 90C26型 PDF格式BibTeX公司 XML格式引用 \textit{F.Hagebring}和\textit{B.Lennartson},离散事件动态。系统。29,编号3411-443(2019;兹bl 1441.93010) 全文: 内政部
萨哈尔·莫哈杰拉尼;马利克,罗比;马丁·费比安 扩展有限状态机的组合非阻塞验证框架。 (英语) 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) 全文: 内政部 链接
Bochmann,Gregor诉。 使用逻辑来解决子模块的构造问题。 (英语) Zbl 1266.93095号 离散事件动态。系统。 23,第1期,27-59(2013)。MSC公司:93立方65 93B40码 PDF格式BibTeX公司 XML格式引用 \textit{G.v.Bochmann},离散事件动力学。系统。23、第1号、第27-59号(2013;Zbl 1266.93095) 全文: 内政部
西蒙·沃尔;马利克,罗比 使用注释自动机的离散事件系统的冲突保护抽象。 (英语) Zbl 1267.93111号 离散事件动态。系统。 第451-477号第22页(2012年)。MSC公司:93立方65 94C15号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Ware}和\textit{R.Malik},离散事件动态。系统。22,第4号,451--477(2012;Zbl 1267.93111) 全文: 内政部 链接
曼纽尔·席尔瓦;豪尔赫·茹尔韦兹;克里斯蒂安·马胡利亚;Vázquez,C.雷纳托 离散事件模型流化:连续Petri网的观察和控制。 (英语) Zbl 1235.93154号 离散事件动态。系统。 21,第4期,427-497(2011)。MSC公司:93立方65 93个B05 93-02 PDF格式BibTeX公司 XML格式引用 \textit{M.Silva}等人,离散事件动态。系统。21,第4号,427--497(2011;Zbl 1235.93154) 全文: 内政部
雨果·弗洛达尔;马利克,罗比;马丁·费比安;克努特·奥凯森 使用监督等价性对最大允许监督进行合成。 (英语) 兹比尔1125.93018 离散事件动态。系统。 第475-504号第17页(2007年)。MSC公司:93亿B50 93C55美元 93个B05 PDF格式BibTeX公司 XML格式引用 \textit{H.Flordal}等人,离散事件动力学。系统。17,第4号,475--504(2007;Zbl 1125.93018) 全文: 内政部 链接
凯末·伊南 关于一类可简化为有限状态自动机的定时器混合系统。 (英语) Zbl 0819.93002号 离散事件动态。系统。 第5期,第1期,第83-96页(1995年)。MSC公司:93A10号 93A30型 93B11号机组 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Inan},离散事件动态。系统。5,编号1,83--96(1995;Zbl 0819.93002) 全文: 内政部
盛路钟;圣菲拉福顿;林,冯 使用可变前瞻策略进行监督控制。 (英语) Zbl 0808.93001号 离散事件动态。系统。 4,第3期,237-268(1994年)。MSC公司:93甲13 93A10号 93B40码 PDF格式BibTeX公司 XML格式引用 \textit{S.-L.Chung}等人,离散事件动态。系统。4,第3号,237--268(1994;Zbl 0808.93001) 全文: 内政部
Boudewijn R.哈维尔科特。;特里维迪,基索S。 马尔可夫报酬模型的规范技术。 (英语) Zbl 0777.68029号 离散事件动态。系统。 3,编号2-3,219-247(1993)。 审核人:B.R.哈沃科特 MSC公司:68平方米 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{B.R.Haverport}和\textit{K.S.Trivedi},离散事件Dyn。系统。3、编号2--3、219--247(1993;Zbl 0777.68029) 全文: 内政部
雷恩·斯梅丁加 锁定离散事件系统:如何建模和如何解锁。 (英语) Zbl 0769.93004号 离散事件动态。系统。 2,编号3-4,265-297(1993)。MSC公司:93A10号 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{R.Smedinga},离散事件动态。系统。2,编号3--4,265--297(1993;Zbl 0769.93004) 全文: 内政部