摘要
R.Alur、C.Courcoubetis、N.Halbwachs、T.A.Henzinger、P.H.Ho、X.Nicollin、A.Olivero、J.Sifakis和S.Yovine。 混合系统的算法分析。 西奥。 计算。 科学。， 138（1）：3--341995年2月。 谷歌学者 
数字图书馆 
R.Alur和D.L.Dill。 时间自动机理论。 西奥。 计算。 科学。， 126（2）:183--2351994年4月。 谷歌学者 数字图书馆 F.布兰奇尼。 设置控件中的不变性。 Automatica，35（11）：1747-17671999年11月。 谷歌学者 数字图书馆 C.W.Brown。 QEPCAD B：使用CAD计算半代数集的程序。 SIGSAM公牛。， 2003年12月37:97--108。 谷歌学者 数字图书馆 E·M·克拉克、E·A·爱默生和A·P·西斯特拉。 使用时态逻辑规范对有限状态并发系统进行自动验证。 ACM事务处理。 程序。 语言系统。， 1986年4月8时244分至263分。 谷歌学者 数字图书馆 D.Cox、J.Little和D.O'Shea。 理想、变种和算法：计算代数几何和交换代数导论。 施普林格，第二版，1997年。 谷歌学者 J.H.Davenport和J.Heintz。 实量词消除是双指数的。 J.塞姆。 计算。， 5(1-2):29--35, 1988. 谷歌学者 数字图书馆 A.Dolzmann、A.Seidl和T.Sturm。 Redlog用户手册，3.1版，Redlog 3.06版（Reduce 3.8），2006年11月。 http://redlog.dolzmann.de/downloads/。 谷歌学者 S.Gulwani和A.Tiwari。基于约束的混合系统分析方法。 在CAV’08中，LNCS第5123卷，第190-203页。 施普林格，2008年。 谷歌学者 数字图书馆 J.何。 从CSP到混合系统。 《在一个经典的头脑中，纪念C.A.R.霍尔的论文》，第171-189页。 普伦蒂斯·霍尔国际（英国）有限公司，1994年。 谷歌学者 数字图书馆 T.A.Henzinger、P.W.Kopke、A.Puri和P.Varaiya。 混合自动机的决定因素是什么？ 在STOC’95中，第373--382页。 ACM，1995年。 谷歌学者 数字图书馆 H.K.Khalil。 非线性系统。 普伦蒂斯·霍尔，第三版，2001年12月。 谷歌学者 S.Krantz和H.Parks。 实分析函数入门。 Birkh“auser Boston，第二版，2002年6月。 谷歌学者 G.Lafferiere、G.J.Pappas和S.Yovine。 线性向量场族的符号可达性计算。 J.塞姆。 计算。， 2001年9月32:231--253。 谷歌学者 数字图书馆 J.Liu、J.Lv、Z.Quan、N.Zhan、H.Zhao、C.Zhou和L.Zou。 混合CSP的微积分。 在APLAS’10，LNCS第6461卷，第1-15页。 施普林格，2010年。 谷歌学者 数字图书馆 J.Liu、N.Zhan和H.Zhao。 多项式动力系统的半代数不变量的计算。 ArXiv电子版，2011年2月。 http://arxiv.org/abs/102.0705。 谷歌学者 A.普拉泽。 微分代数程序的微分代数动态逻辑。 J.日志。 和计算。， 20（1）:309--3522010年2月。 谷歌学者 数字图书馆 A.Platzer和E.M.Clarke。计算混合系统的微分不变量作为定点。 在CAV’08中，LNCS第5123卷，第176-189页。 施普林格，2008年。 谷歌学者 数字图书馆 A.Platzer和E.M.Clarke。弯曲飞行避碰机动的形式验证：案例研究。 在FM'09中，LNCS第5850卷，第547-562页。 施普林格，2009年。 谷歌学者 数字图书馆 S.Prajna和A.Jadbabaie。 使用屏障证书对混合系统进行安全验证。 在HSCC’04，LNCS第2993卷，第477--492页。 斯普林格，2004年。 谷歌学者 S.Prajna、A.Jadbabaie和G.J.Pappas。 使用屏障证书进行最坏情况和随机安全验证的框架。 IEEE传输。 自动。 对照，52（8）：1415--14282007年8月。 谷歌学者 交叉引用 
A.Puri和P.Varaiya。 具有矩形微分包含的混杂系统的可判定性。 在CAV’94中，LNCS第818卷，第95-104页。 斯普林格，1994年。 谷歌学者 数字图书馆 J.-P.奎尔和J.西法基斯。 CESAR中并发系统的规范和验证。 程序中。 第五届国际程序设计研讨会，第337-351页。 斯普林格·弗拉格，1982年。 谷歌学者 数字图书馆 E.Rodríguez-Carbonell和A.Tiwari。为混合系统生成多项式不变量。 在2005年HSCC中，LNCS第3414卷，第590-605页。 施普林格，2005年。 谷歌学者 数字图书馆 圣卡拉纳拉亚南。 利用理想不动点自动生成混合系统的不变量。 HSCC’10，第221--230页。 ACM，2010年。 谷歌学者 数字图书馆 S.Sankaranarayanan、H.B.Sipma和Z.Manna。 构造混合系统的不变量。 在HSCC’04中，LNCS第2993卷，第539-554页。 斯普林格，2004年。 谷歌学者 A.Taly、S.Gulwani和A.Tiwari。使用约束求解合成开关逻辑。 在VMCAI’09，LNCS第5403卷，第305-319页。 施普林格，2009年。 谷歌学者 数字图书馆 A.Taly和A.Tiwari。连续动力系统的演绎验证。 在FSTTCS’09，LIPIcs第4卷，第383-394页，2009年。 谷歌学者 A.塔斯基。 初等代数和几何的一种决策方法。 加利福尼亚大学出版社，伯克利，1951年5月。 谷歌学者 M.特南鲍姆和H.波拉德。 常微分方程。 多佛出版社，1985年10月。 谷歌学者 B.夏。 DISCOVER：求解半代数系统的工具。 ACM通信。 计算。 《代数》，41:102-1032007年9月。 谷歌学者 数字图书馆 L.Yang、C.Zhou、N.Zhan和B.Xia。 通过计算机代数进行程序验证的最新进展。 中国计算机科学前沿，2010年4月1日至16日。 谷歌学者 交叉引用 S.Zhang。 中国列车控制系统三级通用技术解决方案（CTCS-3）。 中国铁道出版社，2008年。 中文。 谷歌学者 C.Zhou、J.Wang和A.Ravn。 混合系统的正式描述。 在混合系统III中，LNCS第1066卷，第511-530页。 施普林格，1996年。 谷歌学者 数字图书馆
