HSolver公司

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


zbMATH参考文献(42篇文章引用)

显示第1到第20个结果,共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年版