@收款{zbMATH07300843，作者={Kochdumper，Niklas and Althoff，Matthias}，Title={具有非线性保护集的混合系统的可达性分析}，BookTitle={第23届ACM混合系统国际会议论文集：计算和控制，HSCC 2020，悉尼，澳大利亚和虚拟，2020年4月21日至24日}，国际标准图书编号={978-1-4503-7018-9}，页码={10}，注={Id/No 2}，年份={2020年}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/3365365.3382194}，关键词={68Q45,68Q60,93C30}，URL={mediatum.ub.tum.de/1591470}，zbMATH={7300843}}