zbMATH中的参考文献（参考 24篇文章 24篇，1标准件)

1. 杨正峰；吴敏；林，王：不确定非线性混合系统障碍证书生成的有效框架（2020）
2. Doyen，Laurent；Frehse，Goran；Pappas，George J.；Platzer，André：混合动力系统验证（2018）
3. 张辉；吴金钊：MPSoC数据动态的形式化验证与量化度量（2018）
4. 戴丽云；甘、婷；夏、碧灿；詹乃军：重新审查障碍证书（2017年）
5. Bernardeschi，Cinzia；Domenici，Andrea:通过与原型验证系统的交互定理证明验证非线性控制的安全特性（2016）
6. Navarro-López，Eva M.；Carter，Rebekah:混合动力系统中的死亡与如何反驳活性（2016）
7. Dzetkulič，Tomš：切比雪夫基非线性常微分方程的严格积分（2015）
8. Lin，Wang；Wu，Min；Yang，Zhengfeng；Zeng，Zhenbing:使用平方和表示混合动力系统的精确安全性验证（2014）
9. Hahn，Ernst Moritz；Hartmanns，Arnd；Hermanns，Holger；Katoen，Joost Pieter:随机混杂系统的组合建模与分析框架（2013）
10. Hiraishi，Kunihiko；Kobayashi，Koich:实态空间上过渡系统盒抽象的近似算法（2013）
11. 佘志坤；李浩阳；薛，白；郑志明；夏碧康：发现连续动力系统的多项式李雅普诺夫函数（2013）
12. Zhang，Lijun；She，Zhikun；Ratschan，Stefan；Hermanns，Holger；Hahn，Ernst Moritz:概率混合系统的安全验证（2012）
13. Ramdani，Nacim；Nedialkov，Nedialko S.：使用区间约束传播技术计算不确定非线性混合系统的可达集（2011）
14. Geuvers，Herman；Koprowski，Adam；Synek，Dan；van der Weegen，Eelis：自动机器检查混合动力系统安全证明（2010）
15. Ratschan，Stefan；She，Zhikun:通过计算类Lyapunov函数为多项式系统的目标区域提供吸引域（2010）
16. Akbarpour，Behzad；Paulson，Lawrence C.：\texttmetitarski在控制和混合动力系统验证中的应用（2009）
17. Plaku，Erion；Kavraki，Lydia E.；Vardi，Moshe Y.：混合系统：通过结合运动规划和离散搜索从验证到证伪（2009）
18. Sankaranarayanan，Sriram；Dang，Thao；Ivančić，Franjo:使用模板多面体对混合系统进行符号模型检查（2008）
19. 佘志坤；郑志明：线性混合系统验证的可及性约束（2008）
20. Ratschan，Stefan；She，Zhikun:基于约束传播的抽象精化对混合系统的安全性验证。（2007年）ioport公司