希萨特

HySAT:混合系统有界模型检验的有效证明引擎本文提出了HySAT,一个线性混合系统的有界模型检验器HySAT,它集成了基于DPLL的伪布尔SAT解算器和线性规划程序作为核心引擎。与MathSAT、ICS或CVC等相关工具相比,我们的工具利用了在有界模型检查上下文中自然产生的各种优化,例如学习的冲突子句的同构复制或定制的决策策略,并将其扩展到混合领域。我们证明这些优化对工具的性能至关重要。


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

显示第1到第20个结果,共25个。
按年份排序(引用)
  1. 卡塔鲁扎,达里奥;亚伯特,亚历山德罗;施拉梅尔,彼得;Kroneing,Daniel:通过抽象加速度输入的带保护LTI模型的无界时间安全验证(2021)
  2. 法伦堡,乌利;勒盖,阿克塞尔;夸斯,卡林:用定量博弈计算分支距离(2020)
  3. 巴克,斯坦利;博戈莫洛夫,塞尔吉;Althoff,Matthias:混合自动机可达性分析的时间触发保护转换(2017)
  4. 热比哈,穗状体;穆拉,阿纳尔多五世。;Matringe,Nadir:非线性混合系统的不变量生成(2015)
  5. 亚历山德罗·西马蒂;搬运工,塞尔吉奥;托内塔,斯特凡诺:混合系统不变量的无量词编码(2014)
  6. 谢定宝;不,雷;赵建华;李宣东:SAT-LP-IIS联合有向路径定向线性混合自动机有界可达性分析(2014)
  7. 严、超;格林斯特里特,马克R。;杨素文:验证Möbius环形振荡器的全球启动(2014)
  8. 亚历山德罗·西马蒂;塞尔吉奥;托内塔,斯特凡诺:混合动力系统基于SMT的场景验证(2013)
  9. 哈恩,恩斯特莫里茨;哈特曼,阿恩德;赫尔曼,霍尔格;Katoen,Joost Pieter:随机混杂系统的组合建模与分析框架(2013)
  10. 阿斯普朗,米凯尔;曼佐尔,Atif;波罗什,梅兰尼;克拉克,西布哈恩;卡希尔,维尼:自主车辆协调的正式方法(2012)ioport公司
  11. 巴德班,巴哈雷;Lange,Martin:带SMT解算器的时间自动机精确增量分析(2011)
  12. 施耐德,斯文;Nestmann,Uwe:使用过程计算对混合系统进行严格离散化(2011)
  13. 泰格,蒂诺;埃格斯,安德烈亚斯;Fränzle,Martin:基于约束的并发概率混合系统分析:网络自动化系统的应用(2011)
  14. 阿克巴普尔,贝沙德;Paulson,Lawrence Charles:MetiTarski:实值特殊函数的自动定理证明器(2010)
  15. 马丁,弗兰兹勒;泰格,蒂诺;Eggers,Andreas:概率混合自动机自动分析的工程约束求解器(2010)
  16. 埃格斯,安德烈亚斯;卡林尼克,纳塔莉亚;库普费希米德,斯特凡;Teige,Tino:混合动力系统基于约束分析的挑战(2009)
  17. 拉斯坎,斯特凡;Smaus,Jan Georg:通过优化基于抽象的质量评估来发现混合系统的错误(2009)
  18. 埃格斯,安德烈亚斯;马丁,弗兰兹勒;赫德,克里斯蒂安:SAT模数ODE:混合动力系统的直接SAT方法(2008)
  19. 马丁,弗兰兹勒;赫尔曼,霍尔格;Teige,Tino:随机可满足模理论:概率混杂系统分析的新技术(2008)
  20. 泰格,蒂诺;Fränzle,Martin:非线性算法的随机可满足性模理论(2008)