@第{zbMATH06312577条，作者={Bulychev，Peter and David，Alexandre and Larsen，Kim G.and Li，Guangyuan}，标题={{（\mathrm片段的有效控制器综合{MTL}_{0，\infty}\）}}}，FJournal={信息学报}，日志={Acta Inf.}，ISSN={0001-5903}，体积={51}，数字={3-4}，页码={165--192}，年份={2014}，语言={英语}，DOI={10.1007/s00236-013-0189-z}，关键词={68Q60,68Q45}，zbMATH={6312577}，Zbl={1360.68578}}