zbMATH参考文献（36篇文章引用）

1. Tsachouridis，Vassilios A.；Giantamidis，Georgios；Basagiannis，Stylianos；Kouramas，Kostas:Schulz矩阵反演算法的形式分析：通用矩阵流求解器的计算机辅助验证范式（2020）
2. Dreossi，Tommaso:Sapo:多项式动力系统的可达性计算和参数综合（2017）
3. Sankaranarayanan，Sriram:非线性混合系统的基础抽象变化（2016）
4. Prabhakar，Pavithra；Duggirala，Parasara Sridhar；Mitra，Sayan；Viswanathan，Mahesh：基于混合自动机的矩形混合系统CEGAR（2015）
5. Liberzon，Daniel:切换和混合线性系统的有限数据速率反馈镇定（2014）
6. Beneregetti，Massimo；Faella，Marco；Minopoli，Stefano:线性混合系统开关控制器的自动综合：安全控制（2013）
7. Prabhakar，Pavithra；Duggirala，Parasara Sridhar；Mitra，Sayan；Viswanathan，Mahesh：基于混合自动机的矩形混合系统CEGAR（2013）
8. Damm，Werner；Dierks，Henning；Disch，Stefan；Hagemann，Willem；Pigorsch，Florian；Scholl，Christoph；Waldmann，Uwe；Wirtz，Boris:具有大离散状态空间的线性混合自动机的精确和完全符号验证（2012）
9. Althoff，Matthias；Le Guernic，Colas；Krogh，Bruce H.：不确定时变线性系统的可达集计算（2011）
10. 卜磊；赵建华；李宣东：一类非线性混合自动机的凸规划路径可达性验证（2010）
11. Campagna，Dario；Piazza，Carla:混合自动机、可达性和系统生物学（2010）
12. 2009年《Bahttad与Bahttac混合系统的验证》（the verification of the hybrid systems of the Lawrence，Bahtextc；2009年）
13. Bartocci，E.；Corradini，F.；Di Berardini，M.R.；Entcheva，E.；Smolka，S.A.；Grosu，R.：使用混合I/O自动机对心脏组织进行建模和仿真（2009年）
14. Campagna，Dario；Piazza，Carla:系统生物学中的混合自动机：我们能走多远？（2009年）
15. 卡萨格兰德，阿尔伯托；皮亚扎，卡拉；波利克里蒂，阿尔伯托：混合自动机的离散语义。避免系统生物学中的误导性假设（2009）
16. Plaku，Erion；Kavraki，Lydia E.；Vardi，Moshe Y.：混合系统：通过结合运动规划和离散搜索从验证到证伪（2009）
17. Bartocci，Ezio；Corradini，Flavio；Di Berardini，Maria Rita；Entcheva，Emilia；Grosu，Radu；Smolka，Scott A.：用于模拟可兴奋组织的混合I/O自动机的空间网络（2008）
18. Bhatia，Amit；Frazzoli，Emilio:线性系统安全证伪的基于采样的解析完整算法（2008）
19. Hamadeh，Abdullah；Goncalves，Jorge:连续时间分段仿射系统的可达性分析（2008）
20. Sankaranarayanan，Sriram；Dang，Thao；Ivančić，Franjo:使用模板多面体对混合系统进行符号模型检查（2008）