希萨特

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


zbMATH中的参考文献(参考 24篇文章 24篇,1标准件)

显示第1到第20个结果,共24个。
按年份排序(引用)
  1. 法伦伯格,乌利;莱盖,阿克塞尔;夸斯,卡林:用定量游戏计算分支距离(2020年)
  2. Bak,Stanley;Bogomolov,Sergiy;Althoff,Matthias:混合自动机可达性分析的时间触发保护转换(2017)
  3. Rebiha,Rachid;Moura,Arnaldo V.;Matringe,Nadir:非线性混合系统的不变量生成(2015)
  4. Cimatti,Alessandro;Mover,Sergio;Tonetta,Stefano:混合系统不变量的无量词编码(2014)
  5. 谢定宝;卜,雷;赵建华;李宣东:SAT-LP-IIS联合定向路径的线性混合自动机有界可达性分析(2014)
  6. Yan,Chao;Greenstreet,Mark R.;Yang,Suwen:验证Möbius环形振荡器的全球启动(2014)
  7. Cimatti,Alessandro;Mover,Sergio;Tonetta,Stefano:混合动力系统基于SMT的场景验证(2013)
  8. Hahn,Ernst Moritz;Hartmanns,Arnd;Hermanns,Holger;Katoen,Joost Pieter:随机混杂系统的组合建模与分析框架(2013)
  9. Mikael Asplund;Manzoor,Atif;Bouroche,Mélanie;Clarke,Siobhán;Cahill,Vinny:自主车辆协调的正式方法(2012年)ioport公司
  10. Badban,Bahareh;Lange,Martin:带SMT解算器的时间自动机精确增量分析(2011)
  11. Schneider,Sven;Nestmann,Uwe:使用过程计算对混合系统进行严格离散化(2011)
  12. Teige,Tino;Eggers,Andreas;Fränzle,Martin:基于约束的并发概率混合系统分析:网络自动化系统的应用(2011)
  13. Akbarpour,Behzad;Paulson,Lawrence Charles:MetiTarski:实值特殊函数的自动定理证明器(2010)
  14. Fränzle,Martin;Teige,Tino;Eggers,Andreas:概率混合自动机自动分析的工程约束求解器(2010)
  15. Eggers,Andreas;Kalinnik,Natalia;Kupferschmid,Stefan;Teige,Tino:基于约束的混合系统分析的挑战(2009)
  16. Ratschan,Stefan;Smaus,Jan Georg:通过优化基于抽象的质量评估来发现混合系统的错误(2009)
  17. 安德烈亚斯·埃格斯;马丁·弗兰兹勒;克里斯蒂安·赫德:《SAT模块编码:混合动力系统的直接SAT方法》(2008年)
  18. Fränzle,Martin;Hermanns,Holger;Teige,Tino:随机可满足模理论:概率混合系统分析的新技术(2008)
  19. Teige,Tino;Fränzle,Martin:非线性算法的随机可满足性模理论(2008)
  20. Damm,Werner;Disch,Stefan;Hungar,Hardi;Jacobs,Swen;Pang,Jun;Pigorsch,Florian;Scholl,Christoph;Waldmann,Uwe;Wirtz,Boris:具有大离散状态空间的线性混合系统验证中的精确状态集表示(2007)