布莱克·罗林斯。;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) 全文: 内政部
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}等人,离散事件动态。系统。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) 全文: 内政部
乔纳森·德·卡斯特罗;吕迪格·埃勒斯;马蒂亚斯·伦格;阿伊萨巴尔干;Kress-Gazit,哈达斯 为高级控制自动生成基于动态的运行时证书。 (英语) Zbl 1379.93049号 离散事件动态。系统。 27,第2期,371-405(2017).MSC公司:93亿B50 93立方厘米 93立方厘米 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{J.De Castro}等人,离散事件动态。系统。27,第2号,371--405(2017;Zbl 1379.93049) 全文: 内政部
马吉德·扎马尼;伊利亚·特卡切夫;亚历山德罗·阿巴特 随机控制系统的可扩展综合。 (英语) Zbl 1379.93087号 离散事件动态。系统。 27,第2期,341-369(2017).MSC公司:93E03型 93亿B50 60小时10分 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 91A65型 93C85号 94C15号机组 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.-K.Schmuck}等人,离散事件动态。系统。27,第2号,261--299(2017;Zbl 1379.93048) 全文: 内政部 arXiv公司
吕迪格·埃勒斯;圣菲拉福顿;斯塔夫罗斯·特里帕基斯;莫舍·瓦尔迪。 监督控制和反应合成:比较介绍。 (英语) Zbl 1379.93068号 离散事件动态。系统。 27,编号209-260(2017).MSC公司:93元65角 93亿B50 93甲13 PDF格式BibTeX公司 XML格式引用 \textit{R.Ehlers}等人,《离散事件动力学》。系统。27,第2号,209--260(2017;Zbl 1379.93068) 全文: 内政部
内克米耶·奥扎伊(编辑);保罗·塔布阿达(编辑) 客座评论:关于控制中的正式方法的特刊。 (英语) Zbl 1384.00081号 离散事件动态。系统。 27,第2期,205-208(2017).MSC公司:00B15号机组 93-06 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{N.Ozay}(编辑)和\textit{P.Tabuada}(主编),离散事件动力学。系统。27,第2号,205--208(2017;Zbl 1384.00081) 全文: 内政部