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

1. Suenaga，Kohei；Ishizawa，Takuya:混合动力系统的广义属性导向可达性（2020）
2. Jovanović，Aleksandra；Lime，Didier；Roux，Olivier H.：实时系统参数控制的博弈方法（2019）
3. Júlvez，Jorge；Oliver，Stephen G.：通过防护柔性网络对混合系统进行建模、分析和控制（2019年）
4. 塞萨尔桑切斯；施耐德，杰拉多；阿伦特，沃尔夫冈；巴托奇，埃齐奥；比安库利，多梅尼科；科伦坡，克里斯蒂安；法尔科内，伊莱；弗朗卡兰扎，阿德里安；克尔斯蒂奇，斯里安；卢伦索，若昂；尼科维奇，德扬；佩斯，戈登J；鲁菲诺，何塞；西诺尔，朱利安；特劳特尔，德米特里；韦斯，Alexander:来自高级应用领域（超越软件）的运行时验证挑战调查（2019）
5. Doyen，Laurent；Frehse，Goran；Pappas，George J.；Platzer，André：混合动力系统验证（2018）
6. Majumdar，Rupak；Raskin，Jean François:非布尔域中的符号模型检查（2018）
7. Nasti，Lucia；Milazzo，Paolo：社交网络成瘾的混合自动机模型（2018）
8. 张辉；吴金钊：MPSoC数据动态的形式化验证与量化度量（2018）
9. Bak，Stanley；Bogomolov，Sergiy；Althoff，Matthias:混合自动机可达性分析的时间触发保护转换（2017）
10. Dreossi，Tommaso:Sapo:多项式动力系统的可达性计算和参数综合（2017）
11. Dreossi，Tommaso；Dang，Thao；Piazza，Carla:多项式动力系统的可达性计算（2017）
12. Letichevsky，A.A.；Letychevskyi，O.O.；Skobelev，V.G.；Volkov，V.A.：网络物理系统（2017）
13. Baştuí，Mert；Petreczky，Mihály；Wisniewski，Rafael；Leth，John:具有约束交换的线性交换系统的可达性和可观测性缩减（2016）
14. Colvin，Robert J.：使用混合过程代数建模和分析神经网络（2016）
15. Papadopoulos，Alessandro Vittorio；Prandini，Maria:交换仿射系统的模型简化（2016）
16. Sankaranarayanan，Sriram:非线性混合系统的基础抽象变化（2016）
17. Simon Wimmer:形式化时间自动机（2016）
18. Aréchiga，Nikos；Kapinski，James；Deshmukh，Jyotirmoy V.；Platzer，André；Krogh，Bruce：《动力总成控制系统的数值辅助演绎安全证明》（2015）
19. 布雷索林，戴维德；格雷蒂，卢卡；穆拉多，里卡多；菲奥里尼，保罗；维拉，蒂齐亚诺：正式验证应用于机器人手术（2015）
20. Bresolin，Davide；Geretti，Luca；Villa，Tiziano；Collins，Pieter:使用\textscAriadne验证混合动力系统的介绍（2015）