桑德·瑟斯曼;米歇尔·雷尼尔斯 更正为:“演化系统的转型主管综合”。 (英语) Zbl 07823708号 离散事件动态。系统。 33,第4号,509-513(2023).MSC公司:93元65角 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Thuijsman}和\textit{M.Reniers},离散事件动态。系统。33,编号4,509--513(2023;Zbl 07823708) 全文: 内政部 OA许可证
阿尔伯特·本文尼斯特;Jean-Baptiste Raclet女士 混合非确定性概率自动机:将图形概率模型与非确定性混合。 (英语) Zbl 07823706号 离散事件动态。系统。 33,第4期,455-505(2023年).MSC公司:93元65角 93E03型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Benveniste}和\textit{J.-B.Raclet},离散事件动态。系统。33,编号4,455--505(2023;Zbl 07823706) 全文: 内政部 arXiv公司
林、李勇;泰、若晨;朱玉婷;苏荣 观察辅助的启发式合成隐蔽攻击者对抗未知监督员。 (英语) Zbl 1500.93068号 离散事件动态。系统。 32,编号3,495-520(2022).MSC公司:93元65角 93B70型 93C83号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Lin}等人,离散事件动态。系统。32,第3号,495--520(2022;Zbl 1500.93068) 全文: 内政部 arXiv公司
张奎泽 幺半群上标记加权自动机的可检测性。 (英语) Zbl 1524.68180号 离散事件动态。系统。 32,第3期,435-494(2022年).MSC公司:65年第68季度 65年第68季度 68问题85 90立方厘米 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{K.Zhang},离散事件动态。系统。32,编号3,435--494(2022;Zbl 1524.68180) 全文: 内政部 arXiv公司
桑德·瑟斯曼;米歇尔·雷尼尔斯 演化系统的转型主管综合。 (英语) Zbl 1492.93116号 离散事件动态。系统。 32,第2号,317-358(2022); 更正同上,33,第4号,509-513(2023)。MSC公司:93元65角 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Thuijsman}和\textit{M.Reniers},离散事件动态。系统。32,第2号,317--358(2022;Zbl 1492.93116) 全文: 内政部
安德鲁·温滕伯格;马修·布利斯克;圣菲拉福顿;内克米耶·奥扎伊 一个通用的基于语言的框架,用于指定和验证不透明的概念。 (英语) Zbl 1492.93118号 离散事件动态。系统。 32,编号2,253-289(2022).MSC公司:93元65角 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Wintenberg}等人,离散事件动态。系统。32,第2号,253--289(2022;Zbl 1492.93118) 全文: 内政部 arXiv公司
郑焕飞;王,岳 时序逻辑规范下异构多机器人任务和运动规划的并行分解与并发满足。 (英语) Zbl 1492.93017号 离散事件动态。系统。 32,第2期,195-230(2022).MSC公司:93甲16 93C85号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Zheng}和\textit{Y.Wang},离散事件动力学。系统。32,第2号,195--230(2022;Zbl 1492.93017) 全文: 内政部
卢卡斯·特里斯卡;托马斯·摩尔 开环竞争策略语义下时间Petri网的行为等价max-plus自动机。 (英语) Zbl 1480.93273号 离散事件动态。系统。 31,第4号,583-607(2021).MSC公司:93元65角 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Triska}和\textit{T.Moor},离散事件动力学。系统。31,第4号,583--607(2021;Zbl 1480.93273) 全文: 内政部
吉·巴伦;汤马斯·马斯托普斯 比较离散事件系统的不透明度概念。 (英语) Zbl 1480.93256号 离散事件动态。系统。 31,4号,553-582(2021).MSC公司:93元65角 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Balun}和\textit{T.Masopust},离散事件动态。系统。31,第4号,553--582(2021;Zbl 1480.93256) 全文: 内政部 arXiv公司
Martijn A.古登。;马丁·费比安;范·德·莫特尔·弗朗恰克(van de Mortel-Fronczak),乔安娜·M·。;米歇尔·雷尼尔斯(Michel A.Reniers)。;万·J·福克金。;雅各布斯·E·罗达。 扩展有限自动机的合成协调器综合。 (英语) Zbl 1478.93186号 离散事件动态。系统。 31,第3号,317-348(2021).MSC公司:93亿B50 65年第68季度 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Goorden}等人,离散事件动态。系统。31,第3号,317--348(2021;Zbl 1478.93186) 全文: 内政部 链接
杰恩·卢克·贝切内克;莱姆,迪迪埃;奥利维尔·H·鲁克斯。 并发DES的逻辑时间控制。 (英语) Zbl 1478.93185号 离散事件动态。系统。 185-217年第2号第31页(2021年).MSC公司:93亿B50 93个B03 65年第68季度 91A05型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.-L.Béchennec}等人,离散事件动力学。系统。31,第2号,185--217(2021;Zbl 1478.93185) 全文: 内政部 哈尔
阿卜杜拉·布西夫;穆罕默德·加泽尔;乔·卡洛斯·巴西利奥 离散事件系统的间歇性故障可诊断性:基于自动机方法的概述。 (英语) Zbl 1478.93382号 离散事件动态。系统。 第1号第31页,第59-102页(2021).MSC公司:93元65角 93个B07 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Boussif}等人,离散事件动态。系统。31,编号1,59--102(2021;Zbl 1478.93382) 全文: 内政部 哈尔
费迪·莱恩(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立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.F.H.Reijnen}等人,离散事件动态。系统。30,第3号,499--532(2020;Zbl 1448.93088) 全文: 内政部
张奎泽;亚历山德罗·朱阿 关于标记Petri网和有限自动机的可检测性。 (英语) Zbl 1448.93038号 离散事件动态。系统。 30,第3期,465-497(2020年).MSC公司:93个B07 93元65角 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Zhang}和\textit{A.Giua},离散事件动态。系统。30,第3号,465--497(2020;Zbl 1448.93038) 全文: 内政部 arXiv公司
塞巴斯蒂安·拉哈耶;赖爱文;简·科门达;Jean-Louis Boimond 对max-plus自动机确定的贡献。 (英语) Zbl 1435.68177号 离散事件动态。系统。 第1期第30页,第155-174页(2020年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lahaye}等人,《离散事件动力学》。系统。30,第1号,155--174(2020;Zbl 1435.68177) 全文: 内政部
施穆克,安妮·凯瑟琳;托马斯·摩尔;鲁帕克·马朱姆达尔 关于反应合成与非终止过程监控之间的关系。 (英语) Zbl 1441.93173号 离散事件动态。系统。 30,编号1,81-124(2020).MSC公司:93元62角 93元65角 93亿B50 65年第68季度 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{A.-K.Schmuck}等人,离散事件动态。系统。30,第1号,81-124(2020;Zbl 1441.93173) 全文: 内政部
弗雷德里克·哈杰布林;本特·伦纳特森 使用组合优化的大规模系统系统的时间最优控制。 (英语) 兹比尔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,第3号,411--443(2019;Zbl 1441.93010) 全文: 内政部
马科斯·莫雷拉五世。;Jean-Jacques Lesage女士 以故障检测为目的的离散事件系统辨识。 (英语) Zbl 1430.93047号 离散事件动态。系统。 29,第2期,191-209(2019).MSC公司:93B30型 93元65角 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.V.Moreira}和\textit{J.-J.Lesage},离散事件动力学。系统。29,第2号,191--209(2019;Zbl 1430.93047) 全文: 内政部 哈尔
蔡凯;张仁元;W.M.沃纳姆。 上界相对可观察子语言的特征描述和有效计算。 (英语) Zbl 1398.93213号 离散事件动态。系统。 28,第2号,269-287(2018).MSC公司:93元65角 93个B07 65年第68季度 93甲13 PDF格式BibTeX公司 XML格式引用 \textit{K.Cai}等人,离散事件Dyn。系统。28,第2号,269--287(2018;Zbl 1398.93213) 全文: 内政部 arXiv公司
卡洛斯·E·V·努斯。;马科斯·莫雷拉五世。;马科斯·V·S·阿尔维斯。;Lilian K·卡瓦略。;乔·卡洛斯·巴西利奥 受通信延迟和间歇性观测损失影响的网络离散事件系统的可协同诊断性。 (英语) Zbl 1398.93219号 离散事件动态。系统。 28,第2期,215-246(2018).MSC公司:93元65角 93个B07 65年第68季度 93-04 PDF格式BibTeX公司 XML格式引用 \textit{C.E.V.Nunes}等人,《离散事件动力学》。系统。28,第2号,215--246(2018;Zbl 1398.93219) 全文: 内政部
埃里克·法布雷;洛依茨海露;恩格尔·勒福丘;埃尔文·马尔坎德 可修复故障的可诊断性。 (英语) Zbl 1398.93214号 离散事件动态。系统。 28,第2期,183-213(2018).MSC公司:93元65角 93个B07 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Fabre}等人,离散事件动态。系统。28,第2号,183--213(2018;Zbl 1398.93214) 全文: 内政部 哈尔
童,尹;李志武;卡拉·西特祖;亚历山德罗·朱阿 在不可比观测下离散事件系统中的当前状态不透明度强制。 (英语) 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) 全文: 内政部
Ngo,Quang Ha村;Seow,Kiam Tian先生 用于实时监控的分层一致性框架。 (英语) Zbl 1398.93008号 离散事件动态。系统。 28,第3期,375-426(2018).MSC公司:93甲13 93元65角 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{Q.H.Ngo}和\textit{K.T.Seow},离散事件Dyn。系统。28,第3号,375--426(2018;Zbl 1398.93008) 全文: 内政部 链接
施穆克,安妮·凯瑟琳;斯文·施奈德;约格·莱斯;乌韦·内斯特曼 确定性上下文无关规范语言的监控综合。以最不受限制的方式执行可控性。 (英语) Zbl 1332.93006号 离散事件动态。系统。 26,第1号,5-32(2016).MSC公司:93甲13 65年第68季度 93个B05 PDF格式BibTeX公司 XML格式引用 \textit{A.-K.Schmuck}等人,离散事件动态。系统。26,第1号,第5--32号(2016;Zbl 1332.93006) 全文: 内政部
菲利普·达伦多;埃尔文·马尔坎德;劳丽·瑞克 在模态转换系统上强制规则谓词的不透明性。 (英语) Zbl 1320.68126号 离散事件动态。系统。 25,编号1-2,251-270(2015).MSC公司:68问题85 65年第68季度 93甲13 93A30型 93个B07 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{P.Darondeau}等人,离散事件动力学。系统。25,编号1--2,251--270(2015;Zbl 1320.68126) 全文: 内政部 哈尔
克里斯汀·拜尔;托马斯·摩尔 用于顺序行为的分层模块化控制体系结构。 (英语) 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) 全文: 内政部
艾哈迈德·纳齐姆;脊柱侧凸,Spyros 具有R/W锁的资源分配系统的最大允许死锁避免。 (英语) Zbl 1320.68127号 离散事件动态。系统。 25号1-2、31-63(2015).MSC公司:68问题85 65年第68季度 68宽10 90比99 93甲13 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{A.Nazeem}和\textit{S.Reveliotis},离散事件动态。系统。25,编号1--2,31-63(2015;Zbl 1320.68127) 全文: 内政部
彼得·巴赫霍尔茨;彼得·坎佩尔 一类加权自动机的模型检验。 (英语) Zbl 1206.68186号 离散事件动态。系统。 20,第1期,103-137(2010).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Buchholz}和\textit{P.Kemper},离散事件动态。系统。20,第1号,第103--137条(2010;Zbl 1206.68186) 全文: 内政部 arXiv公司
安托万·吉拉德;Julius,A.阿贡;乔治·帕帕斯。 混合系统的近似仿真关系。 (英语) Zbl 1395.93113号 离散事件动态。系统。 18,第2号,163-179(2008).MSC公司:93个B03 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Girard}等人,离散事件动态。系统。18,第2号,163--179(2008;Zbl 1395.93113) 全文: 内政部
斯蒂芬妮·盖斯特;德米特里·格罗莫夫;约格·莱斯 具有连续输出的并行生产线的时间离散事件控制。 (英语) 兹比尔1395.90146 离散事件动态。系统。 18,第2期,241-262(2008).MSC公司:90B35型 65年第68季度 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{S.Geist}等人,离散事件动态。系统。18,第2421-262号(2008年;兹bl 1395.90146) 全文: 内政部
库尔特·罗洛夫。;萨米尔·库勒;盖·科茨 近似监测控制的最小传感器选择。 (英语) 兹比尔1103.93019 离散事件动态。系统。 16,第1期,143-170(2006).MSC公司:93B17号机组 68周25 93亿B50 65年第68季度 93B40码 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Rohloff}等人,《离散事件动力学》。系统。16,第1号,143--170(2006;Zbl 1103.93019) 全文: 内政部
王,K.C。;W.M.沃纳姆。 离散事件系统中观测器的计算。 (英语) Zbl 1035.93049号 离散事件动态。系统。 14,第1期,55-107(2004).MSC公司:93元65角 93B40码 93个B07 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.C.Wong}和\textit{W.M.Wonham},离散事件动态。系统。14,第1号,第55--107条(2004;Zbl 1035.93049) 全文: 内政部
苏·R。;W.M.沃纳姆。 离散通风系统的主管减少。 (英语) Zbl 1035.93048号 离散事件动态。系统。 14,第1期,31-53(2004).MSC公司:93元65角 93B11号机组 93甲13 65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Su}和\textit{W.M.Wonham},离散事件动态。系统。14,第1号,31-53(2004年;兹bl 1035.93048) 全文: 内政部
彼得·巴赫霍尔茨;彼得·坎佩尔 组合自动机大可达集的高效计算和表示。 (英语) Zbl 1048.93065号 离散事件动态。系统。 12,第3期,265-286(2002).MSC公司:93元65角 93个B03 93甲15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Buchholz}和\textit{P.Kemper},离散事件动态。系统。12,第3号,265--286(2002;Zbl 1048.93065) 全文: 内政部
J·伦泽。;J·施罗德。 随机自动机描述的离散事件系统的状态观察与诊断。 (英语) Zbl 1055.93056号 离散事件动态。系统。 11,第4期,319-369(2001). 审核人:Alex V.Kolnogorov(诺夫哥罗德) MSC公司:93元65角 93个B07 90秒25 93E03型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Lunze}和\textit{J.Schröder},离散事件动态。系统。11,第4号,319--369(2001;Zbl 1055.93056) 全文: 内政部
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) 全文: 内政部
乔治·巴雷特;圣菲拉福顿 有限状态机的互模拟、监控问题和强模型匹配。 (英语) Zbl 0919.93005号 离散事件动态。系统。 8,第4期,377-429(1998). 审核人:托马斯·利布林(洛桑) MSC公司:93甲13 93立方 93个B05 93A30型 93A99型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Barrett}和\textit{S.Lafortune},离散事件动态。系统。8,第4号,377--429(1998;Zbl 0919.93005) 全文: 内政部
王,K.C。;W.M.沃纳姆。 离散事件系统的分级控制。 (英语) Zbl 0898.93005号 离散事件动态。系统。 6,第3期,241-273(1996). 审核人:Markos Papageorgiou(慕尼黑) MSC公司:93甲13 93立方 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{K.C.Wong}和\textit{W.M.Wonham},离散事件动态。系统。6,第3号,241--273(1996;Zbl 0898.93005) 全文: 内政部
西蒙·斯特雷尔索夫;皮鲁兹·瓦基利 均匀马尔可夫链并行复制仿真的方差减少算法。 (英语) Zbl 0848.68119号 离散事件动态。系统。 6,第2期,159-180(1996).MSC公司:68岁20岁 65年第68季度 60公里30 PDF格式BibTeX公司 XML格式引用 \textit{S.Streltsov}和\textit{P.Vakili},离散事件动态。系统。6,第2号,159--180(1996;Zbl 0848.68119) 全文: 内政部
凯文·帕西诺。;凯文·伯吉斯。;安东尼·米歇尔。 离散事件系统的拉格朗日稳定性和有界性。 (英语) Zbl 0849.93051号 离散事件动态。系统。 5,第4期,383-403(1995). 审核人:E.De Santis(拉奎拉) MSC公司:93D05型 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.M.Passino}等人,离散事件Dyn。系统。5,第4号,383--403(1995;Zbl 0849.93051) 全文: 内政部
蒂斯特尔,J.G。 关于被建模为确定性拉宾自动机的系统的控制。 (英语) Zbl 0853.93008号 离散事件动态。系统。 5,第4期,357-381(1995). 审核人:E.De Santis(拉奎拉) MSC公司:93A10号 93个B05 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Thistle},离散事件动态。系统。5,第4号,357--381(1995;Zbl 0853.93008) 全文: 内政部
Park,Yongseok公园;Edwin K.P.Chong。 定时离散事件系统中的分布式反演。 (英语) Zbl 0832.93001号 离散事件动态。系统。 5,第2-3号,219-241(1995).MSC公司:93A99型 93个B07 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Park}和\textit{E.K.P.Chong},离散事件动力学。系统。5,编号2--3,219--241(1995;Zbl 0832.93001) 全文: 内政部
凯末·伊南 关于一类可简化为有限状态自动机的定时器混合系统。 (英语) 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) 全文: 内政部
高井,Shigemasa;Ushio、Toshimitsu;Kodama、Shinzo 离散事件系统状态反馈控制中的镇定与阻塞。 (英语) Zbl 0820.93031号 离散事件动态。系统。 5,第1期,33-57(1995). 审核人:K.M.Ramachandran(坦帕) MSC公司:93B52号 93A10号 93D15号 93个B03 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Takai}等人,离散事件动态。系统。5,编号1,33-57(1995;Zbl 0820.93031) 全文: 内政部
Jeremy Gunawardena Min-max功能。 (英语) Zbl 0841.93029号 离散事件动态。系统。 4,第4期,377-407(1994).MSC公司:93立方 93A10号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Gunawardena},离散事件动态。系统。4,第4号,377--407(1994;Zbl 0841.93029) 全文: 内政部