刘军 控制综合的鲁棒抽象：通过线性时间特性的鲁棒性实现完整性。 （英语） Zbl 1369.93195号 2017年4月18日至20日，美国宾夕法尼亚州匹兹堡，2017年HSCC，第20届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4590-3）。101-110 (2017). 引用于4文件 MSC公司： 93亿B50 合成问题 93B35型 灵敏度（稳健性） 93立方厘米 信息不完整的控制/观测系统 93立方厘米 控制理论中的非线性系统 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：抽象；完整性；计算控制理论；计算机辅助控制设计；可判定性；线性时序逻辑；线性时间特性；稳健性 软件：斯科特 PDF格式BibTeX公司 XML格式引用 \textit{J.Liu}，in：第20届ACM混合系统国际会议论文集：计算与控制，HSCC 2017，匹兹堡，宾夕法尼亚州，美国，2017年4月18-20日。纽约州纽约市：计算机协会（ACM）。101-110（2017年；兹比尔1369.93195） 全文： 内政部 arXiv公司