zbMATH中的参考文献（参考文献37篇文章)

1. Tsachouridis，瓦西里奥斯A。；吉安塔米迪斯，乔治亚；巴萨吉安尼斯，Stylianos；Kouramas，Kostas:Schulz矩阵反演算法的形式分析：通用矩阵流求解器的计算机辅助验证范例（2020）
2. Drechsler，Rolf（编辑）：正式系统验证。最新技术和未来趋势（2018）
3. Dreossi，Tommaso:Sapo:多项式动力系统的可达性计算和参数综合（2017）
4. Sankaranarayanan，Sriram:非线性混合系统的基础抽象变化（2016）
5. 普拉巴卡尔，帕维斯特拉；Duggirala，Parasara Sridhar；密特拉，萨扬；Viswanathan，Mahesh:基于混合自动机的矩形混合系统CEGAR（2015）
6. Liberzon，Daniel:切换和混合线性系统的有限数据速率反馈镇定（2014）
7. 贝内雷凯蒂，马西莫；费拉，马可；Minopoli，Stefano:线性混合系统开关控制器的自动综合：安全控制（2013）
8. 普拉巴卡尔，帕维斯特拉；Duggirala，Parasara Sridhar；密特拉，萨扬；Viswanathan，Mahesh:基于混合自动机的矩形混合系统CEGAR（2013）
9. 达姆，沃纳；迪尔克斯，亨宁；迪斯科，斯特凡；哈格曼，威廉；弗洛里安皮戈尔什；斯科尔，克里斯托夫；沃尔德曼，Uwe；Wirtz，Boris:具有大离散状态空间的线性混合自动机的精确和完全符号验证（2012）
10. 阿尔托夫，马提亚斯；勒格尔尼奇，科拉斯；Krogh，Bruce H.：不确定时变线性系统的可达集计算（2011）
11. 不，雷；赵建华；李宣东：基于凸规划的一类非线性混合自动机的路径可达性验证（2010）
12. 坎帕尼亚，达里奥；Piazza，Carla:混合自动机，可达性和系统生物学（2010）
13. 阿克巴普尔，贝沙德；Paulson，Lawrence C.：\texttmetitarski在控制和混合动力系统验证中的应用（2009）
14. 巴托奇E。；科拉迪尼，F。；迪贝拉迪尼，M。R、 。；恩切瓦，E。；斯莫尔卡，S。A、 。；Grosu，R.：使用混合I/O自动机建模和模拟心脏组织（2009）
15. 坎帕尼亚，达里奥；Piazza，Carla:系统生物学中的混合自动机：我们能走多远(2009年）
16. 阿尔伯托卡萨格兰德；广场，卡拉；Policriti，Alberto:混合自动机的离散语义。避免系统生物学中的误导性假设（2009）
17. 广场，埃利昂；卡夫拉基，莉迪亚·E。；Vardi，Moshe Y.：混合系统：通过结合运动规划和离散搜索从验证到证伪（2009）
18. 巴托奇、埃齐奥；弗拉维奥，科拉迪尼；迪贝拉迪尼，玛丽亚丽塔；恩切瓦，埃米利娅；格罗苏，拉杜；Smolka，Scott A.：用于模拟可兴奋组织的混合I/O自动机的空间网络（2008）
19. 巴蒂亚，阿米特；Frazzoli，Emilio:线性系统安全证伪的基于采样的分辨率完整算法（2008）
20. 哈马德、阿卜杜拉；Goncalves，Jorge:连续时间分段仿射系统的可达性分析（2008）