艾丁·戈尔(Ebru Aydin Gol);米尔恰·拉扎尔;加利福尼亚州贝尔塔 时序逻辑模型预测控制。 (英语) Zbl 1323.93031号 Automatica公司 56, 78-85 (2015).MSC公司:93B40码 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公司 链接