托普库，乌福；内克米耶·奥扎伊；刘军；理查德·默里（Richard M.Murray）。 模型不确定性下鲁棒离散控制器的综合。 （英语） Zbl 1362.68190号 第15届ACM混合系统国际会议论文集：计算与控制，2012年HSCC，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1220-2）。85-94 (2012). 引用于9文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 03B44号 时间逻辑 68T40型 机器人人工智能 91A80型 博弈论的应用 93A30型 系统数学建模（MSC2010） 93亿B50 合成问题 关键词：离散控制器综合；稳健性；时序逻辑 PDF格式BibTeX公司 XML格式引用 \textit{U.Topcu}等人，in：第15届ACM混合系统国际会议论文集：计算与控制，HSCC 2012，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）。85-94（2012；Zbl 1362.68190） 全文： 内政部