HSolver公司

HSolver是一个基于约束求解器RSOLVER的混合系统验证程序。与其他包不同,它的正确性不依赖于浮点舍入错误。它可以处理非线性常微分方程,但没有针对更简单的连续动力学进行优化。


zbMATH中的参考文献(参考文献43条)

显示第1到第20个结果,共43个。
按年份排序(引用)
  1. 赵恒军;曾、夏;陈韬略;刘志明;伍德考克,吉姆:学习安全神经网络控制器与障碍证书(2021年)
  2. 戈亚尔,马尼什;Duggirala,Parasara Sridhar:提取线性混合动力系统中安全违规引发的反例(2020)
  3. Tsachouridis,瓦西里奥斯A。;吉安塔米迪斯,乔治亚;巴萨吉安尼斯,Stylianos;Kouramas,Kostas:Schulz矩阵反演算法的形式分析:通用矩阵流求解器的计算机辅助验证范例(2020)
  4. 杨正峰;吴敏;林,王:不确定非线性混合系统障碍证书生成的有效框架(2020)
  5. 多恩,劳伦特;弗雷希,戈兰;帕帕斯,乔治J。;Platzer,André:混合动力系统验证(2018)
  6. 张辉;吴金钊:MPSoC数据动态的形式化验证与量化度量(2018)
  7. 戴丽云;甘、婷;夏碧灿;詹乃俊:重审障碍证书(2017年)
  8. 贝尔纳德斯基,辛齐亚;Domenici,Andrea:通过与原型验证系统的交互定理证明验证非线性控制的安全特性(2016)
  9. 纳瓦罗-洛佩斯,伊娃·M。;Carter,Rebekah:混合动力系统中的死亡与如何反驳活性(2016)
  10. 戴维德,布雷索林;格雷蒂,卢卡;米拉多,里卡多;菲奥里尼,保罗;Villa,Tiziano:正式验证应用于机器人手术(2015)
  11. 戴维德,布雷索林;格雷蒂,卢卡;提兹亚诺别墅;Collins,Pieter:使用\textscAriadne验证混合动力系统的介绍(2015)
  12. Dzetkulič,Tomš:切比雪夫基非线性常微分方程的严格积分(2015)
  13. 普拉巴卡尔,帕维斯特拉;Duggirala,Parasara Sridhar;密特拉,萨扬;Viswanathan,Mahesh:基于混合自动机的矩形混合系统CEGAR(2015)
  14. 本维努蒂,卢卡;戴维德,布雷索林;柯林斯,彼得;法拉利,阿尔伯托;格雷蒂,卢卡;Villa,Tiziano:ARIADNE对非线性混合系统的假设保证验证(2014)
  15. 哈恩,恩斯特莫里茨;哈特曼,阿恩德;赫尔曼,霍尔格;Katoen,Joost Pieter:随机混杂系统的组合建模与分析框架(2013)
  16. 平井静子;Kobayashi,Koich:实态空间上过渡系统盒抽象的近似算法(2013)
  17. 她,志坤;李浩阳;薛、白;郑志明;夏比康:发现连续动力系统的多项式Lyapunov函数(2013)
  18. 詹乃君;王淑玲;赵恒军:混合动力系统的形式化建模、分析与验证(2013)
  19. 张丽君;她,志坤;拉斯坎,斯特凡;赫尔曼,霍尔格;Hahn,Ernst Moritz:概率混合系统的安全验证(2012)
  20. 哲特库利奇托马什;Ratschan,Stefan:混合系统简洁抽象的增量计算(2011)