努什·迈赫迪波尔;马蒂亚斯·阿尔霍夫;Radboud Duintjer特本斯;卡林·贝尔塔 在自动驾驶中遵守道路规则的正式方法:最新技术和重大挑战。 (英语) Zbl 1519.93159号 Automatica公司 152,文章ID 110692,15 p.(2023).MSC公司:93C85号 93个B03 03B44号 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{N.Mehdipur}等人,Automatica 152,文章ID 110692,第15页(2023;Zbl 1519.93159) 全文: 内政部
佐丹奴·波罗;托马索·马斯库利;埃琳娜·德·桑提斯;迪·贝内代托,玛丽亚·多梅尼卡 具有正则语言规范的抽象系统的数据驱动控制器综合。 (英语) Zbl 1478.93188号 Automatica公司 134,文章ID 109903,8 p.(2021).MSC公司:93亿B50 92 C50 PDF格式BibTeX公司 XML格式引用 \textit{G.Pola}等人,Automatica 134,文章ID 109903,8 p.(2021;Zbl 1478.93188) 全文: 内政部
吴波;张晓斌;林,海 主管通过自动机学习合成POMDP。 (英语) Zbl 1478.93191号 Automatica公司 129,文章ID 109654,8 p.(2021).MSC公司:93亿B50 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{B.Wu}等人,Automatica 129,文章ID 109654,8 p.(2021;Zbl 1478.93191) 全文: 内政部
林德曼,拉尔斯;迪马罗戈纳斯,迪莫斯五世。 信号时序逻辑任务片段下多智能体系统的反馈控制策略。 (英语) Zbl 1429.93117号 Automatica公司 106, 284-293 (2019).MSC公司:93B52号 93甲16 03B44号 93B35型 93立方 PDF格式BibTeX公司 XML格式引用 \textit{L.Lindemann}和\textit{D.V.Dimarogonas},Automatica 106,284--293(2019;Zbl 1429.93117) 全文: 内政部 链接
林德曼,拉尔斯;迪马罗戈纳斯,迪莫斯五世。 使用离散平均空间鲁棒性的信号时序逻辑规范鲁棒控制。 (英语) Zbl 1415.93092号 Automatica公司 101, 377-387 (2019).MSC公司:93B35型 03B44号 90C25型 93磅40 93C85号 93-04 PDF格式BibTeX公司 XML格式引用 \textit{L.Lindemann}和\textit{D.V.Dimarogonas},自动化101,377--387(2019;Zbl 1415.93092) 全文: 内政部 arXiv公司
艾丁·戈尔(Ebru Aydin Gol);米尔恰·拉扎尔;卡林·贝尔塔 时序逻辑模型预测控制。 (英语) Zbl 1323.93031号 Automatica公司 56, 78-85 (2015).MSC公司:93磅40 93C55美元 93二氧化碳 90C25型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{E.Aydin Gol}等人,Automatica 56,78-85(2015;Zbl 1323.93031) 全文: 内政部
丁旭初;米尔恰·拉扎尔;卡林·贝尔塔 有限确定性系统的LTL滚动时域控制。 (英语) Zbl 1364.49052号 Automatica公司 50,第2期,399-408(2014).MSC公司:49N90型 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{X.Ding}等人,Automatica 50,No.2,399--408(2014;Zbl 1364.49052) 全文: 内政部 arXiv公司 链接
约翰·N·梅登斯。;沙哈卜·卡纳玛;伊恩·米切尔(Ian M.Mitchell)。;Meeko M.K.Oishi。;盖·杜蒙特(Guy A.Dumont)。 高维系统生存核近似的拉格朗日方法。 (英语) Zbl 1364.93057号 Automatica公司 49,第7期,2017-2029(2013).MSC公司:93个B03 93磅40 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Maidens}等人,Automatica 49,第7期,2017--2029(2013;Zbl 1364.93057) 全文: 内政部