@收款{zbMATH06713989，作者={鲍耶、帕特里夏和法伦伯格、乌利和拉森、金·G和马基、尼古拉斯}，Title={能量约束下带观测器的时间自动机}，BookTitle={第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，斯德哥尔摩，瑞典，2010年4月12-16日}，国际标准图书编号={978-1-60558-955-8}，Pages＝{61-70}，年份={2010}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/1755952.1755963}，关键词={68Q60,68Q45}，zbMATH={6713989}，Zbl={1361.68135}}