×
艾丁·戈尔，埃布鲁;米尔恰·拉扎尔;卡林·贝尔塔

离散时间线性系统的语言制导控制器综合。 （英语） Zbl 1361.68114号

第15届ACM混合系统国际会议论文集：计算与控制，2012年HSCC，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1220-2）。95-104 (2012).

引用于4文件

MSC公司：

65年第68季度 形式语言和自动机
60年第68季度 规范和验证（程序逻辑、模型检查等）
93亿B50 合成问题
93二氧化碳 控制理论中的线性系统
93C55美元 离散时间控制/观测系统
93天30分 李亚普诺夫函数和存储函数

关键词：

自动机理论;约束控制;线性时序逻辑;多面体Lyapunov函数;多点对多点控制

软件：

Matlab公司;LTL康
PDF格式BibTeX公司 XML格式引用
\textit{E.Aydin Gol}等人，in：第15届ACM混合系统国际会议论文集：计算与控制，HSCC 2012，中国北京，2012年4月17-19日。纽约州纽约市：计算机协会（ACM）。95-104（2012；Zbl 1361.68114）
全文： 内政部