阿尔伯特·本文尼斯特;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公司
卢卡斯·V·R·阿尔维斯。;古斯塔沃·拉斐尔。;卢卡斯·巴蒂斯塔。;帕蒂西亚·佩纳。 基于监督控制理论和启发式算法的多生产路线制造系统多目标方法。 (英语) Zbl 07823703号 离散事件动态。系统。 33,第4期,373-394(2023).MSC公司:90B30型 90C29型 90 C59 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{L.V.R.Alves}等人,《离散事件动力学》。系统。33,编号4,373--394(2023;Zbl 07823703) 全文: 内政部
Alireza Mohamadkhani;马克·盖伦;杰罗·沃顿;吐温·巴斯滕 具有离散事件反馈的开关型极大值线性系统的建模与分析。 (英语) Zbl 1522.93125号 离散事件动态。系统。 33,第3号,341-372(2023).MSC公司:93元65角 第93页第52页 93立方 93二氧化碳 15A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.Mohamadkhani}等人,离散事件Dyn。系统。33,第3号,341--372(2023;Zbl 1522.93125) 全文: 内政部 OA许可证
罗比·马利克;萨哈尔·莫哈杰拉尼;马丁·费比安 监督控制中用于验证和综合的组合算法综述。 (英语) 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 1519.93141号 离散事件动态。系统。 33,编号1,63-93(2023).MSC公司:93元65角 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{A.Bernabeu}等人,《离散事件动态》。系统。33,编号1,63-93(2023;Zbl 1519.93141) 全文: 内政部 哈尔
张奎泽 幺半群上标记加权自动机的可检测性。 (英语) 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;兹bl 1524.68180) 全文: 内政部 arXiv公司
蒂亚戈·图西(Thiago M.Tuxi)。;Lilian K·卡瓦略。;爱德华多·V·L·努斯。;安东尼奥·库尼亚 使用LTL模型检查进行可诊断性验证。 (英语) Zbl 1500.93071号 离散事件动态。系统。 32,第3号,399-433(2022).MSC公司:93元65角 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.M.Tuxi}等人,离散事件动力学。系统。32,第3号,399--433(2022;Zbl 1500.93071) 全文: 内政部
迪米特里·列斐伏尔;卡拉·西特祖;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) 全文: 内政部 链接
Godary Dejean,卡伦;赫莱内·勒鲁;大卫·安德烈 解释了时间Petri网的同步扩展。定义、语义和形式分析。 (英语) Zbl 1489.93071号 离散事件动态。系统。 32,编号1,27-64(2022).MSC公司:93元65角 92 C50 PDF格式BibTeX公司 XML格式引用 \textit{K.Godary-Dejean}等人,离散事件动态。系统。32,编号1,27--64(2022;Zbl 1489.93071) 全文: 内政部
阿列克桑达尔·斯塔门科维奇;米罗斯拉夫·奇·伊里奇;Dragan Djurdjanović max-plus量子数上矩阵的弱线性系统。 (英语) Zbl 1489.93042号 离散事件动态。系统。 32,编号1,1-25(2022).MSC公司:93二氧化碳 15A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.Stamenković}等人,离散事件动力学。系统。32,编号1,1--25(2022;Zbl 1489.93042) 全文: 内政部
卡米利、马蒂奥;洛伦佐·卡普拉 使用对称网对分散自适应系统进行形式化描述和验证。 (英语) Zbl 1480.93259号 离散事件动态。系统。 31,第4号,609-657(2021).MSC公司:93元65角 93甲14 93C40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Camilli}和\textit{L.Capra},离散事件动态。系统。31,编号4,609--657(2021;Zbl 1480.93259) 全文: 内政部
卢卡斯·特里斯卡;摩尔,托马斯 开环竞争策略语义下时间Petri网的行为等价max-plus自动机。 (英语) Zbl 1480.93273号 离散事件动态。系统。 第4583-607号第31页(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公司
沃尔特·露西娅;朱塞佩·弗朗塞;多梅尼科·法穆拉罗 智能交通管理的后退视野事件驱动控制策略。 (英语) Zbl 1478.93410号 离散事件动态。系统。 31,3号,469-488(2021).MSC公司:93元65角 90B20型 93B45码 93立方 PDF格式BibTeX公司 XML格式引用 \textit{W.Lucia}等人,离散事件动力学。系统。31,第3号,469--488(2021;Zbl 1478.93410) 全文: 内政部
杰恩·卢克·贝切内克;莱姆,迪迪埃;奥利维尔·H·鲁克斯。 并发DES的逻辑时间控制。 (英语) Zbl 1478.93185号 离散事件动态。系统。 31,第2期,185-217(2021).MSC公司:93亿B50 93个B03 65年第68季度 91A05型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.-L.Béchennec}等人,离散事件动力学。系统。31,编号2185-217(2021;兹bl 1478.93185) 全文: 内政部 哈尔
van Putten,Berend Jan Christiaan;范德桑登,布拉姆;米歇尔·雷尼尔斯;杰罗·沃顿;拉蒙·希夫勒 部分可控制制造系统的监督合成和吞吐量优化。 (英语) Zbl 1478.93190号 离散事件动态。系统。 31,编号1,103-135(2021).MSC公司:93亿B50 93个B05 49纳米90 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{B.J.C.van Putten}等人,离散事件动力学。系统。31,编号1,103--135(2021;Zbl 1478.93190) 全文: 内政部
吴侃;沈一池 多类排队网络的路径稳定性。 (英语) Zbl 1479.90049号 离散事件动态。系统。 31,第1号,5-23(2021).MSC公司:90B10型 90B22型 PDF格式BibTeX公司 XML格式引用 \textit{K.Wu}和\textit{Y.Shen},离散事件动力学。系统。31、编号1、5--23(2021;Zbl 1479.90049) 全文: 内政部
Saddem-yagoubi,环;奥利维尔·瑙德;凯伦·戈达里·德杰恩;迪迪埃·克雷斯塔尼 模型检验精准农业物流:差异收获的案例。 (英语) Zbl 1456.91067号 离散事件动态。系统。 30,第4号,579-604(2020).MSC公司:91B76号 93亿B50 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Saddem-yagoubi}等人,离散事件动力学。系统。30,第4号,579--604(2020;Zbl 1456.91067) 全文: 内政部
林、李勇;朱玉婷;苏荣 免费合成隐蔽执行器攻击者。 (英语) Zbl 1458.93073号 离散事件动态。系统。 30,第4期,561-577(2020年).MSC公司:93亿B50 93B70型 93C83号 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{L.Lin}等人,离散事件动态。系统。30,第4号,561--577(2020;Zbl 1458.93073) 全文: 内政部 arXiv公司
张奎泽;亚历山德罗·朱阿 关于标记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公司
罗比·马利克;西蒙·沃尔 关于组合非阻塞验证中反例的计算。 (英语) 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},离散事件Dyn。系统。30,第2号,211--241(2020;Zbl 1448.93204) 全文: 内政部 链接
塞巴斯蒂安·拉哈耶;赖爱文;简·科门达;Jean-Louis Boimond 对max-plus自动机确定的贡献。 (英语) 兹比尔1435.68177 离散事件动态。系统。 30,第1期,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) 全文: 内政部
巴特·德·舒特;van den Boom,吨;徐,贾;萨米拉·法拉哈尼。 最大值线性离散事件系统的分析与控制:简介。 (英语) Zbl 1441.93174号 离散事件动态。系统。 30,第1号,25-54(2020年).MSC公司:93元65角 93B45码 93二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{B.De Schutter}等人,离散事件动态。系统。30,第1号,第25-54号(2020年;Zbl 1441.93174) 全文: 内政部
萨米·阿贝斯 并发系统的马尔科夫动力学。 (英语) Zbl 1435.68210号 离散事件动态。系统。 29,第4期,527-566(2019).MSC公司:68问题85 60J20型 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{S.Abbes},离散事件Dyn。系统。29,第4号,527--566(2019;Zbl 1435.68210) 全文: 内政部 arXiv公司
弗雷德里克·哈杰布林;本特·伦纳特森 使用组合优化的大规模系统系统的时间最优控制。 (英语) 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,第3号,411--443(2019;Zbl 1441.93010) 全文: 内政部
豪尔赫·Jülvez;斯蒂芬·奥利弗。 柔性网络:具有不确定参数的动态系统的建模形式。 (英语) Zbl 1441.93159号 离散事件动态。系统。 29,第3期,367-392(2019).MSC公司:第93页第41页 93B70型 93个B07 68问题85 93-10 PDF格式BibTeX公司 XML格式引用 \textit{J.Jülvez}和\textit{S.G.Oliver},离散事件动力学。系统。29,第3号,367--392(2019;Zbl 1441.93159) 全文: 内政部
何,周;刘、苗;马自悦;李志武;亚历山德罗·朱阿 一种改进的时间加权标记图的标记优化方法。 (英语) Zbl 1439.90072号 离散事件动态。系统。 29,第2期,127-143(2019).MSC公司:90立方厘米 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{Z.He}等人,离散事件动力学。系统。29,第2号,127--143(2019;Zbl 1439.90072) 全文: 内政部
西蒙娜·伯纳迪;克里斯蒂安·马胡利亚;豪尔赫·阿尔巴雷达 用于临床路径评估的决策支持系统。 (英语) Zbl 1426.91059号 离散事件动态。系统。 29,第1号,91-125(2019).MSC公司:91B06型 92 C50 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Bernardi}等人,离散事件动态。系统。29,第1号,91-125(2019年;Zbl 1426.91059) 全文: 内政部 链接
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},离散事件动态。系统。28,第3号,375--426(2018;Zbl 1398.93008) 全文: 内政部 链接
贝拉德,贝特里奇;奥尔加·库什纳伦科;约翰·马林斯;马修·萨索拉斯 线性约束马尔可夫链的不透明度。 (英语) Zbl 1384.93137号 离散事件动态。系统。 28,第1期,83-108(2018).MSC公司:93E03型 60 H10型 93二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,《离散事件动力学》。系统。28,编号1,83--108(2018;Zbl 1384.93137) 全文: 内政部 哈尔
Tran,Hoang-Dung村;阮、滦越;项伟明;泰勒·T·约翰逊。 用于高维线性系统安全验证的降阶抽象。 (英语) Zbl 1379.93026号 离散事件动态。系统。 27,第2期,443-461(2017).MSC公司:93B11号机组 93甲15 93二氧化碳 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{H.-D.Tran}等人,离散事件Dyn。系统。27,第2号,443--461(2017;Zbl 1379.93026) 全文: 内政部 arXiv公司
Waez,Md Tawhid Bin;安德烈·索夫斯基;朱尔根·丁格尔;鲁迪、凯伦 基于时间自动机的动态分层实时对象控制器综合。 (英语) Zbl 1379.93051号 离散事件动态。系统。 27,第2期,407-441(2017).MSC公司:93亿B50 93甲13 93B35型 37B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.T.B.Waez}等人,离散事件动态。系统。27,第2号,407--441(2017;Zbl 1379.93051) 全文: 内政部
安妮·凯瑟琳·施穆克;鲁帕克·马朱姆达尔;阿德里安·莱瓦 动态分层反应控制器综合。 (英语) Zbl 1379.93048号 离散事件动态。系统。 27,第2期,261-299(2017).MSC公司:93B40码 93甲15 93甲13 93亿B50 91A65型 93C85号 94C15号机组 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.-K.Schmuck}等人,离散事件动态。系统。27,第2号,261--299(2017;Zbl 1379.93048) 全文: 内政部 arXiv公司
吕迪格·埃勒斯;圣菲拉福顿;斯塔夫罗斯·特里帕基斯;莫舍·瓦尔迪。 监督控制和反应合成:比较介绍。 (英语) Zbl 1379.93068号 离散事件动态。系统。 27,第2期,209-260(2017).MSC公司:93元65角 93亿B50 93甲13 PDF格式BibTeX公司 XML格式引用 \textit{R.Ehlers}等人,《离散事件动力学》。系统。27,第2号,209--260(2017;Zbl 1379.93068) 全文: 内政部
莱昂纳多·贝梅·克拉维乔;乔昂·C·巴西利奥。 可诊断性分析中诊断者和验证者规模的实证研究。 (英语) Zbl 1386.93194号 离散事件动态。系统。 27,第4号,701-739(2017).MSC公司:93元65角 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{L.B.Clavijo}和\textit{J.C.Basilio},离散事件动力学。系统。27,编号4,701-739(2017;兹bl 1386.93194) 全文: 内政部
沙乌尔·阿尔马戈;奥尔纳·库普弗曼 在存在噪声输入的情况下的格点LTL合成。 (英语) Zbl 1374.93029号 离散事件动态。系统。 27,第3期,547-572(2017).MSC公司:93A30型 93亿B50 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Almagor}和\textit{O.Kupferman},离散事件动态。系统。27,第3号,547--572(2017;Zbl 1374.93029) 全文: 内政部
范·赫斯特,A.C。;Reniers,医学硕士。;W.J.福克金。 非确定性和模态逻辑的最大允许受控系统综合。 (英语) Zbl 1356.93030号 离散事件动态。系统。 27,第1号,109-142(2017).MSC公司:93亿B50 03B45 93个B05 65年第68季度 93立方厘米95 PDF格式BibTeX公司 XML格式引用 \textit{A.C.van Hulst}等人,《离散事件动力学》。系统。27,第1号,109--142(2017;Zbl 1356.93030) 全文: 内政部
Subiono公司;穆罕默德·赛义法·穆菲德;迪基·阿兹基亚 二部系统中拉丁方的特征问题。 (英语) Zbl 1357.93063号 离散事件动态。系统。 26,第4期,657-668(2016).MSC公司:93元65角 93B60型 PDF格式BibTeX公司 XML格式引用 \textit{Subiono}等人,离散事件动态。系统。26,第4号,657--668(2016;Zbl 1357.93063) 全文: 内政部
菲利普·德克勒克 具有由P-时间事件图定义的规范的定时事件图的预测控制的折衷方法。 (英语) Zbl 1357.93062号 离散事件动态。系统。 26,第4号,611-632(2016).MSC公司:93元65角 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{P.Declerck},离散事件动态。系统。26,编号4611-632(2016;兹bl 1357.93062) 全文: 内政部
吉尔赫梅·戈麦斯·达席尔瓦;卡洛斯·安德烈(Carlos Andrey Maia) 具有输入约束的时间事件图的实时控制:半模方法。 (英语) Zbl 1353.93074号 离散事件动态。系统。 26,第2期,351-366(2016).MSC公司:93元65角 15A80型 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{G.G.da-Silva}和\textit{C.A.Maia},离散事件动态。系统。26,第2号,351--366(2016;Zbl 1353.93074) 全文: 内政部
大卫·西尔斯;鲁迪、凯伦 在离散事件系统中,传感器激活最少,通信最少。 (英语) Zbl 1353.93071号 离散事件动态。系统。 26,第2期,295-349(2016).MSC公司:93元65角 93甲14 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{D.Sears}和\textit{K.Rudie},离散事件动态。系统。26,第2号,295--349(2016;Zbl 1353.93071) 全文: 内政部
简·科门达;塞巴斯蒂安·拉哈耶;Jean-Louis Boimond 定时Petri网行为的确定。 (英语) Zbl 1346.93252号 离散事件动态。系统。 26,第3期,413-437(2016).MSC公司:93元65角 93甲13 15A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Komenda}等人,离散事件动力学。系统。26,第3号,413--437(2016;Zbl 1346.93252) 全文: 内政部
塞巴斯蒂安·拉哈耶;简·科门达;Jean-Louis Boimond (max,+)自动机的组成。 (英语) Zbl 1328.93168号 离散事件动态。系统。 25,编号1-2323-344(2015).MSC公司:93元65角 15A80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Lahaye}等人,《离散事件动力学》。系统。25,编号1--2,323--344(2015;Zbl 1328.93168) 全文: 内政部
拉巴·布克拉;塞巴斯蒂安·拉哈耶;Jean-Louis Boimond (max,+)自动机的新表示法,用于离散事件系统的性能评估和控制。 (英语) Zbl 1328.93162号 离散事件动态。系统。 25,编号1-2,295-322(2015).MSC公司:93元65角 15A80型 PDF格式BibTeX公司 XML格式引用 \textit{R.Boukra}等人,离散事件动力学。系统。25,编号1--2,295--322(2015;Zbl 1328.93162) 全文: 内政部
罗比·马利克;莱杜克·莱恩 使用离散事件系统和冲突预订单对制造系统进行分层建模。 (英语) 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) 全文: 内政部 链接
艾哈迈德·纳齐姆;脊柱侧凸,Spyros 具有R/W锁的资源分配系统的最大允许死锁避免。 (英语) Zbl 1320.68127号 离散事件动态。系统。 25号1-2、31-63(2015).MSC公司:68问题85 65年第68季度 68宽10 90B99型 93甲13 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{A.Nazeem}和\textit{S.Reveliotis},离散事件动态。系统。25,编号1--2,31-63(2015;兹bl 1320.68127) 全文: 内政部
洛依茨海露;埃尔文·马尔坎德;布莱斯·基内斯特;托马斯·加扎涅尔 根据场景进行诊断。 (英语) Zbl 1302.93147号 离散事件动态。系统。 24,第4期,353-415(2014).MSC公司:93元65角 93个B07 93B40码 94C15号机组 PDF格式BibTeX公司 XML格式引用 \textit{L.Hélouét}等人,《离散事件动力学》。系统。24,第4号,353--415(2014;Zbl 1302.93147) 全文: 内政部 哈尔
圣埃芬·高伯特;谢尔盖·谢尔盖夫 双边max-plus特征值问题的水平集方法。 (英语) Zbl 1279.15024号 离散事件动态。系统。 23,第2期,105-134(2013). 审核人:王庆文(上海) MSC公司:15A80型 15A22号机组 91A46型 93元65角 15甲18 PDF格式BibTeX公司 XML格式引用 \textit{S.Gaubert}和\textit{S.Sergeev},离散事件动力学。系统。23,第2号,第105--134条(2013;Zbl 1279.15024) 全文: 内政部 arXiv公司
Bochmann,Gregor v。 使用逻辑解决子模块构造问题。 (英语) Zbl 1266.93095号 离散事件动态。系统。 23,第1期,27-59(2013).MSC公司:93元65角 93B40码 PDF格式BibTeX公司 XML格式引用 \textit{G.v.Bochmann},离散事件动力学。系统。23,编号1,27-59(2013;兹bl 1266.93095) 全文: 内政部
维拉·潘特利克;马克·劳福德 概率离散事件系统监督控制中的伪度量。 (英语) Zbl 1267.93109号 离散事件动态。系统。 22,第4期,479-510(2012).MSC公司:93元65角 93E03型 93甲13 PDF格式BibTeX公司 XML格式引用 \textit{V.Pantelic}和\textit{M.Lawford},离散事件动态。系统。22,第4号,479--510(2012;Zbl 1267.93109) 全文: 内政部
西蒙·沃尔;罗比·马利克 使用注释自动机的离散事件系统的冲突保护抽象。 (英语) 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 1267.93108号 离散事件动态。系统。 22,第4期,383-402(2012).MSC公司:93元65角 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{S.Haar},离散事件动态。系统。22,第4号,383--402(2012;Zbl 1267.93108) 全文: 内政部 链接
希查姆查基布;艾哈迈德·库姆西 多决策诊断:分散式架构协同诊断离散事件系统中的故障。 (英语) Zbl 1252.93083号 离散事件动态。系统。 22,第3期,333-380(2012).MSC公司:93元65角 93甲14 90B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Chakib}和\textit{A.Khoumsi},离散事件动态。系统。22,第3号,333--380(2012;Zbl 1252.93083) 全文: 内政部
曼纽尔·席尔瓦;豪尔赫·Jülvez;克里斯蒂安·马胡利亚;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) 全文: 内政部
弗洛伦特·佩雷斯;伯纳德·伯托米厄;弗朗索瓦·沃纳达特 关于时间Petri网的构成。 (英语) Zbl 1238.68101号 离散事件动态。系统。 21,第3期,395-424(2011). 审核人:Maciej Koutny(泰恩河畔纽卡斯尔) MSC公司:68问题85 60年第68季度 68问题55 68甲19 68号30 64岁以下 68米15 PDF格式BibTeX公司 XML格式引用 \textit{F.Peres}等人,离散事件动态。系统。21,第3号,395--424(2011;Zbl 1238.68101) 全文: 内政部
哈尼法布切尼布;卡梅尔·巴考伊 用于构建时间Petri网可达性图的相关时序表/时钟向量。 (英语) Zbl 1231.05255号 离散事件动态。系统。 21,第2期,171-204(2011). 审核人:I.M.Erusalimskiy(顿河畔罗斯托夫) MSC公司:05C90年 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Boucheneb}和\textit{K.Barkaoui},离散事件Dyn。系统。21,第2号,171--204(2011;Zbl 1231.05255) 全文: 内政部
理查德·希尔(Richard C.Hill)。;道恩·M·蒂尔伯里。;圣菲拉福顿 基于等价抽象和基于覆盖的冲突解决的模块化监督控制。 (英语) 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) 全文: 内政部
彼得·巴赫霍尔茨;彼得·坎佩尔 一类加权自动机的模型检验。 (英语) 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公司
安德烈亚斯·鲍尔;苏菲·平奇纳特 (ω)语言对*语言诊断的预后:一个拓扑观点。 (英语) Zbl 1180.93064号 离散事件动态。系统。 第451-470号第19页(2009年).MSC公司:93元65角 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Bauer}和\textit{S.Pinchinat},离散事件动态。系统。19,第4号,451--470(2009;Zbl 1180.93064) 全文: 内政部
简·科门达;塞巴斯蒂安·拉哈耶;Jean-Louis Boimond (max,+)自动机的监督控制:一种行为方法。 (英语) Zbl 1180.93068号 离散事件动态。系统。 19,第4期,525-549(2009).MSC公司:93元65角 93甲13 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{J.Komenda}等人,离散事件动力学。系统。19,编号4255-549(2009年;兹bl 1180.93068) 全文: 内政部
阿尔贝托·卡萨格兰德;卡拉广场;阿尔贝托,Policriti 混合自动机的离散语义。避免系统生物学中的误导性假设。 (英语) Zbl 1180.93071号 离散事件动态。系统。 19,第4期,471-493(2009).MSC公司:93C85号 68问题80 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{A.Casagrande}等人,《离散事件动态》。系统。19,第4号,471--493(2009;Zbl 1180.93071) 全文: 内政部
克里斯蒂安·马胡利亚;回忆,劳拉;曼纽尔·席尔瓦 连续Petri网的基本服务器语义和性能单调性。 (英语) Zbl 1169.93367号 离散事件动态。系统。 19,第2期,189-212(2009).MSC公司:93元65角 PDF格式BibTeX公司 XML格式引用 \textit{C.Mahulea}等人,离散事件动力学。系统。19,第2号,189--212(2009;Zbl 1169.93367) 全文: 内政部
Thu-Ha道缇;Jean Mairesse女士 零自动网络。 (英语) Zbl 1198.90090号 离散事件动态。系统。 18,第4号,499-536(2008). 审核人:拉兹洛·拉卡托斯(布达佩斯) MSC公司:90B22型 60千克25 PDF格式BibTeX公司 XML格式引用 \textit{T.-H.Dao-Thi}和\textit{J.Mairesse},离散事件动态。系统。18,第4号,499--536(2008;Zbl 1198.90090) 全文: 内政部
叶夫图申科,尼娜;蒂齐亚诺别墅;罗伯特·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 1395.65004号 离散事件动态。系统。 18,第2期,211-240(2008).MSC公司:65立方厘米 60公里30 93E03型 PDF格式BibTeX公司 XML格式引用 \textit{B.Gaujal}等人,离散事件动态。系统。18,第2号,211-240(2008;Zbl 1395.65004) 全文: 内政部 哈尔
安托万·吉拉德;A.Agung朱利叶斯;乔治·帕帕斯。 混合系统的近似仿真关系。 (英语) 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) 全文: 内政部
斯蒂芬妮·盖斯特;德米特里·格罗莫夫;约格·莱斯 具有连续输出的并行生产线的时间离散事件控制。 (英语) Zbl 1395.90146号 离散事件动态。系统。 18,第2期,241-262(2008).MSC公司:90B35型 65年第68季度 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{S.Geist}等人,离散事件Dyn。系统。18,第2号,241--262(2008;Zbl 1395.90146) 全文: 内政部
埃里克·法布尔;阿尔伯特·本文尼斯特 分布式离散事件系统的偏序技术:为什么不能避免使用它们。 (英语) Zbl 1128.93036号 离散事件动态。系统。 17,第3期,355-403(2007).MSC公司:93元65角 93甲14 93个B07 93个B05 90B18号机组 PDF格式BibTeX公司 XML格式引用 \textit{E.Fabre}和\textit{A.Benveniste},离散事件动态。系统。17,第3号,355--403(2007;Zbl 1128.93036) 全文: 内政部
埃里克·法布雷 网格进程:并发系统运行的紧凑表示。 (英语) Zbl 1128.93367号 离散事件动态。系统。 17,第3期,267-306(2007).MSC公司:93元65角 93甲15 93B10型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Fabre},离散事件动态。系统。17,第3号,267--306(2007;Zbl 1128.93367) 全文: 内政部 链接
雨果·弗洛达尔;罗比·马利克;马丁·费比安;克努特·奥凯森 使用监督等价性对最大允许监督进行合成。 (英语) 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) 全文: 内政部 链接
纪尧姆·费伊莱德;苏菲·平奇纳特 离散事件系统控制理论的模态规范。 (英语) 兹伯利1116.93037 离散事件动态。系统。 17,第2期,211-232(2007).MSC公司:93元65角 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{G.Feuillade}和\textit{S.Pinchinat},离散事件动态。系统。17,第2号,211--232(2007;Zbl 1116.93037) 全文: 内政部
伯纳德·伯托米厄;莱姆,迪迪埃;奥利维尔·H·鲁克斯。;弗朗索瓦·沃纳达特 带秒表的时间Petri网的可达性问题和抽象状态空间。 (英语) Zbl 1134.93369号 离散事件动态。系统。 17,第2期,133-158(2007).MSC公司:93元65角 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{B.Berthomieu}等人,离散事件动力学。系统。17,No.2,133--158(2007;Zbl 1134.93369) 全文: 内政部
X·布莱恩德。 事件不可区分的动态控制。 (英语) Zbl 1306.93054号 离散事件动态。系统。 16,第3期,353-384(2006).MSC公司:93元65角 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{X.Briand},离散事件动态。系统。16,第3号,353--384(2006;Zbl 1306.93054) 全文: 内政部
安妮·布伊拉德;布鲁诺·高哈尔;Jean Mairesse女士 自由选择网络的吞吐量极高。 (英语) Zbl 1306.93053号 离散事件动态。系统。 16,第3期,327-352(2006).MSC公司:93元65角 94C15号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouillard}等人,离散事件Dyn。系统。16,第3号,327--352(2006;Zbl 1306.93053) 全文: 内政部 哈尔
你,泰西;圣菲拉福顿 部分观测下集中监控的可解性。 (英语) Zbl 1103.93015号 离散事件动态。系统。 16,第4期,527-553(2006).MSC公司:93个B05 93C55美元 93个B07 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{T.-S.Yoo}和\textit{S.Lafortune},离散事件动态。系统。16,第4号,527--553(2006;Zbl 1103.93015) 全文: 内政部
布鲁诺·高哈尔;伊曼纽尔,玄;阿兰·珍妮·马利 服务时间为指数的两平行队列中的最优路由。 (英语) Zbl 1121.90035号 离散事件动态。系统。 16,第1期,71-107(2006).MSC公司:90B22型 60千克25 PDF格式BibTeX公司 XML格式引用 \textit{B.Gaujal}等人,离散事件动态。系统。16,第1号,第71--107条(2006;Zbl 1121.90035) 全文: 内政部 链接
艾哈迈德·库姆西 一种监督控制方法,用于确保实时离散事件系统的一致性。 (英语) Zbl 1101.93049号 离散事件动态。系统。 15,第4期,397-431(2005).MSC公司:93元65角 PDF格式BibTeX公司 XML格式引用 \textit{A.Khoumsi},离散事件动态。系统。15,第4号,397--431(2005;Zbl 1101.93049) 全文: 内政部
简·科门达;van Schuppen,Jan H。 利用余代数和共缩聚对具有部分观测的离散事件系统进行控制。 (英语) Zbl 1101.93050号 离散事件动态。系统。 15,第3期,257-315(2005).MSC公司:93元65角 93B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Komenda}和\textit{J.H.van Schuppen},离散事件动力学。系统。15,第3号,257--315(2005;Zbl 1101.93050) 全文: 内政部
库尔特·罗洛夫;圣菲拉福顿 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) 全文: 内政部 链接
埃里克·法布尔;阿尔伯特·本文尼斯特;斯特凡·哈尔;克洛德·贾德 并发和异步系统的分布式监视。 (英语) 兹比尔1077.68059 离散事件动态。系统。 15,第1期,33-84(2005).MSC公司:68问题85 93个B07 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{E.Fabre}等人,离散事件动态。系统。15,第1号,33--84(2005;Zbl 1077.68059) 全文: 内政部 链接
穆罕默德·塔哈;谢勒·朱·斯蒂德姆。 随机离散事件系统的样本路径分析。 (英语) Zbl 0801.93056号 离散事件动态。系统。 3,第4期,325-346(1993). 审核人:B.Mathiszik(哈雷) MSC公司:93E03型 60G55型 PDF格式BibTeX公司 XML格式引用 \textit{M.El-Taha}和\textit{S.Stidham jun.},离散事件动态。系统。3,第4号,325--346(1993;Zbl 0801.93056) 全文: 内政部
威廉·H·桑德斯。;罗伯托·弗雷尔。 分层随机活动网络模型的有效模拟。 (英语) Zbl 0776.68127号 离散事件动态。系统。 3,编号2-3,271-299(1993).MSC公司:68岁20岁 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Sanders}和\textit{R.S.Freire},离散事件动态。系统。3,编号2--3,271--299(1993;Zbl 0776.68127) 全文: 内政部