@收款{zbMATH07300856，作者={Majumdar、Rupak和Ozay、Necmiye和Schmuck、Anne-Kathrin}，标题＝{关于具有输出反馈的基于抽象的控制器设计}，BookTitle={第23届ACM混合系统国际会议论文集：计算和控制，HSCC 2020，悉尼，澳大利亚和虚拟，2020年4月21日至24日}，国际标准图书编号={978-1-4503-7018-9}，页码={11}，注={Id/No 15}，年份={2020年}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/3365365.3382219}，关键词={68Q45,68Q60,93C30}，zbMATH={7300856}}