@收款{zbMATH06741665，作者={Liu，Jun}，Title={用于控制综合的鲁棒抽象：通过线性时间属性的鲁棒性实现完整性}，BookTitle={第20届ACM混合系统国际会议论文集：计算与控制，HSCC 2017，匹兹堡，宾夕法尼亚州，美国，2017年4月18日至20日}，ISBN＝{978-1-4503-4590-3}，Pages＝{101-110}，年份={2017年}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/3049797.3049826}，关键词={93B50,93B35,93C41,93C10,68Q60}，zbMATH={6741665}，Zbl={1369.93195}}