@收款{zbMATH05147968，作者={Podelski，Andreas and Wagner，Silke}，标题＝{混合系统的模型检查：{从}可达性到稳定性}，BookTitle={混合系统：计算与控制。第九届国际研讨会，2006年HSCC，美国加利福尼亚州圣巴巴拉，2006年3月29日至31日。会议记录。}，国际标准图书编号={3-540-33170-0}，页码={507--521}，年份={2006}，出版商＝{柏林：施普林格}，语言={英语}，DOI={10.1007/11730637}，关键词={93C30,68Q60}，zbMATH={5147968}，Zbl={1178.93077}}