@进行中{速度：2006，作者={Gordon Pace和Gerardo Schneider}，TITLE={多边形混合系统状态空间约简的静态分析}，BOOKTITLE={时间系统的形式化建模与分析（FORMATS’06）}，年份={2006年}，SERIES={LNCS（出现）}，地址={法国巴黎}，出版商={Springer-Verlag}}