蒂亚戈·图西(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) 全文: 内政部
马吕斯·克劳泽;克里斯蒂安·马胡利亚 基于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) 全文: 内政部
Kazumune桥本;迪马罗戈纳斯,迪莫斯五世。 时序逻辑规范下的资源软件网络控制系统。 (英语) Zbl 1441.93102号 离散事件动态。系统。 29,第4号,473-499(2019).MSC公司:93B70型 93立方65 03B44号 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{K.Hashimoto}和\textit{D.V.Dimarogonas},离散事件动态。系统。29,第4号,473--499(2019;Zbl 1441.93102) 全文: 内政部
布莱克·罗林斯。;Ydstie,B.埃里克 混合控制系统中组合不变性和可达性规范的伪造。 (英语) Zbl 1379.93003号 离散事件动态。系统。 27,第2期,463-479(2017).MSC公司:93甲13 93立方 93个B03 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.C.Rawlings}和\textit{B.E.Ydstie},离散事件动态。系统。27,第2号,463--479(2017;Zbl 1379.93003) 全文: 内政部
马吉德·扎马尼;伊利亚·特卡切夫;亚历山德罗·阿巴特 面向随机控制系统的可扩展综合。 (英语) Zbl 1379.93087号 离散事件动态。系统。 27,第2期,341-369(2017).MSC公司:93E03型 93亿B50 60 H10型 93E15型 93二氧化碳 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Zamani}等人,离散事件动力学。系统。27,第2号,341--369(2017;Zbl 1379.93087) 全文: 内政部 arXiv公司 链接
彼得·尼尔森;内克米耶·奥扎伊;刘军 作为控制综合抽象的增广有限过渡系统。 (英语) Zbl 1379.93050号 离散事件动态。系统。 27,第2期,301-340(2017).MSC公司:93亿B50 93立方 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Nilsson}等人,离散事件动态。系统。27,第2号,301-340(2017;Zbl 1379.93050) 全文: 内政部
施穆克,安妮·凯瑟琳;鲁帕克·马朱姆达尔;阿德里安·莱瓦 动态分层反应控制器综合。 (英语) Zbl 1379.93048号 离散事件动态。系统。 27,第2期,261-299(2017).MSC公司:93B40码 93甲15 93甲13 93亿B50 91年65日 93C85号 94C15号机组 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.-K.Schmuck}等人,离散事件动态。系统。27,第2号,261--299(2017;Zbl 1379.93048) 全文: 内政部 arXiv公司
沙乌尔·阿尔马戈;奥尔纳·库普弗曼 噪声输入下的格型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) 全文: 内政部
杰弗里·阿什利;劳伦斯·霍洛韦(Lawrence E.Holloway)。 条件序列的等效CTL公式。 (英语) Zbl 1101.93048号 离散事件动态。系统。 15,第4期,333-348(2005).MSC公司:93立方65 PDF格式BibTeX公司 XML格式引用 \textit{J.Ashley}和\textit{L.E.Holloway},离散事件动力学。系统。15,第4号,333--348(2005;Zbl 1101.93048) 全文: 内政部