zbMATH中的参考文献（参考文献25条,1标准件)

1. 赵恒军；曾、夏；陈韬略；刘志明；伍德考克，吉姆：学习安全神经网络控制器与障碍证书（2021年）
2. 杨正峰；吴敏；林，王：不确定非线性混合系统障碍证书生成的有效框架（2020）
3. 多恩，劳伦特；弗雷希，戈兰；帕帕斯，乔治J。；Platzer，André：混合动力系统验证（2018）
4. 张辉；吴金钊：MPSoC数据动态的形式化验证与量化度量（2018）
5. 戴丽云；甘、婷；夏碧灿；詹乃俊：重审障碍证书（2017年）
6. 贝尔纳德斯基，辛齐亚；Domenici，Andrea:通过与原型验证系统的交互定理证明验证非线性控制的安全特性（2016）
7. 纳瓦罗-洛佩斯，伊娃·M。；Carter，Rebekah:混合动力系统中的死亡与如何反驳活性（2016）
8. Dzetkulič，Tomš：切比雪夫基非线性常微分方程的严格积分（2015）
9. 林，王；吴敏；杨正峰；曾振兵：用平方和表示混合动力系统的精确安全性验证（2014）
10. 哈恩，恩斯特莫里茨；哈特曼，阿恩德；赫尔曼，霍尔格；Katoen，Joost Pieter:随机混杂系统的组合建模与分析框架（2013）
11. 平井静子；Kobayashi，Koich:实态空间上过渡系统盒抽象的近似算法（2013）
12. 她，志坤；李浩阳；薛、白；郑志明；夏比康：发现连续动力系统的多项式Lyapunov函数（2013）
13. 张丽君；她，志坤；拉斯坎，斯特凡；赫尔曼，霍尔格；Hahn，Ernst Moritz:概率混合系统的安全验证（2012）
14. 拉姆达尼，纳西姆；Nedialkov，Nedialko S.：使用区间约束传播技术计算不确定非线性混合系统的可达集（2011）
15. 格韦尔斯，赫尔曼；科普罗夫斯基，亚当；西内克，丹；van der Weegen，Eelis:自动机器检查混合动力系统安全证明（2010）
16. 拉斯坎，斯特凡；佘志坤：通过Lyapunov类函数的计算为多项式系统的目标区域提供吸引域（2010）
17. 阿克巴普尔，贝沙德；Paulson，Lawrence C.：\texttmetitarski在控制和混合动力系统验证中的应用（2009）
18. 广场，埃利昂；卡夫拉基，莉迪亚·E。；Vardi，Moshe Y.：混合系统：通过结合运动规划和离散搜索从验证到证伪（2009）
19. 斯里拉姆Sankaranarayanan；当，曹；Ivančić，Franjo:使用模板多面体对混合系统进行符号模型检查（2008）
20. 她，志坤；郑志明：线性混合系统验证的可及性约束（2008）