塞巴斯蒂安·拉哈耶;赖爱文;简·科门达;Jean-Louis Boimond 对max-plus自动机确定的贡献。 (英语) Zbl 1435.68177号 离散事件动态。系统。 30,第1期,155-174(2020).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lahaye}等人,《离散事件动力学》。系统。30,第1号,155--174(2020;Zbl 1435.68177) 全文: DOI程序
陈锐;克里斯托斯·卡桑德拉斯。 具有延迟、阻塞的随机流模型及其在多交叉口红绿灯控制中的应用。 (英语) Zbl 1441.93290号 离散事件动态。系统。 30,第1期,125-153(2020年).MSC公司:93E03型 93立方 93元65角 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Chen}和\textit{C.G.Cassandras},离散事件动力学。系统。30,编号1,125--153(2020;Zbl 1441.93290) 全文: DOI程序 arXiv公司
安妮·凯瑟琳·施穆克;托马斯·摩尔;鲁帕克·马朱姆达尔 关于反应合成与非终止过程监控之间的关系。 (英语) 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) 全文: DOI程序
马吕斯·克劳泽;克里斯蒂安·马胡利亚 基于LTL规范和Petri网模型的机器人团队路径规划。 (英语) Zbl 1441.93194号 离散事件动态。系统。 30,第1期,55-79页(2020年).MSC公司:93C85号 68问题85 03B44号 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Kloetzer}和\textit{C.Mahulea},离散事件动力学。系统。30,编号1,55--79(2020;Zbl 1441.93194) 全文: DOI程序
巴特·德·舒特;van den Boom,吨;徐,贾;萨米拉·法拉哈尼。 最大值线性离散事件系统的分析与控制:简介。 (英语) 兹比尔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) 全文: DOI程序
迪米特里·博伦德;斯特凡·科瓦列夫斯基 利用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},离散事件Dyn。系统。30,第1号,1-24(2020;Zbl 1435.68190) 全文: DOI程序