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

1. Goyal，Manish；Duggirala，Parasara Sridhar:提取线性混合动力系统中安全违规引发的反例（2020年）
2. Tsachouridis，Vassilios A.；Giantamidis，Georgios；Basagiannis，Stylianos；Kouramas，Kostas:Schulz矩阵反演算法的形式分析：通用矩阵流求解器的计算机辅助验证范式（2020）
3. 杨正峰；吴敏；林，王：不确定非线性混合系统障碍证书生成的有效框架（2020）
4. Doyen，Laurent；Frehse，Goran；Pappas，George J.；Platzer，André：混合动力系统验证（2018）
5. 张辉；吴金钊：MPSoC数据动态的形式化验证与量化度量（2018）
6. 戴丽云；甘、婷；夏、碧灿；詹乃军：重新审查障碍证书（2017年）
7. Bernardeschi，Cinzia；Domenici，Andrea:通过与原型验证系统的交互定理证明验证非线性控制的安全特性（2016）
8. Navarro-López，Eva M.；Carter，Rebekah:混合动力系统中的死亡与如何反驳活性（2016）
9. 布雷索林，戴维德；格雷蒂，卢卡；穆拉多，里卡多；菲奥里尼，保罗；维拉，蒂齐亚诺：正式验证应用于机器人手术（2015）
10. Bresolin，Davide；Geretti，Luca；Villa，Tiziano；Collins，Pieter:使用\textscAriadne验证混合动力系统的介绍（2015）
11. 严格的非线性微分方程基础（Tom-Chedzli，2015）
12. Prabhakar，Pavithra；Duggirala，Parasara Sridhar；Mitra，Sayan；Viswanathan，Mahesh：基于混合自动机的矩形混合系统CEGAR（2015）
13. Luca Benvenuti；Bresolin，Davide；Collins，Pieter；Ferrari，Alberto；Geretti，Luca；Villa，Tiziano：采用ARIADNE对非线性混合动力系统进行保证验证（2014）
14. Hahn，Ernst Moritz；Hartmanns，Arnd；Hermanns，Holger；Katoen，Joost Pieter:随机混杂系统的组合建模与分析框架（2013）
15. Hiraishi，Kunihiko；Kobayashi，Koich:实态空间上过渡系统盒抽象的近似算法（2013）
16. 佘志坤；李浩阳；薛，白；郑志明；夏碧康：发现连续动力系统的多项式李雅普诺夫函数（2013）
17. 詹乃军；王淑玲；赵恒军：混合动力系统的形式化建模、分析与验证（2013）
18. Zhang，Lijun；She，Zhikun；Ratschan，Stefan；Hermanns，Holger；Hahn，Ernst Moritz:概率混合系统的安全验证（2012）
19. Dzetkulič，Tomš；Ratschan，Stefan:混合系统简洁抽象的增量计算（2011）
20. Daniel Nedialo，2011年《改进模块化系统》；Daniel Nedialo2011年版