德拉赫

混杂系统的(δ)-可达性分析。dReach是非线性混杂系统有界可达性分析工具。它将混杂系统的可达性问题编码为实数上的一阶公式,并在SMT解算器中用delta决策程序求解。通过这种方式,dReach能够处理范围广泛的高度非线性混合系统。它在生物医学和机器人应用的各种现实模型上都有很好的缩放比例。


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

显示结果1到13,共13个。
按年份排序(引用)

  1. Abhishek,Aakash;Sood,Harry;Jeannin,Jean-Baptiste:汽车转向时制动的正式验证(2020年)
  2. 杨正峰;吴敏;林,王:不确定非线性混合系统障碍证书生成的有效框架(2020)
  3. Islam,Md.Ariful;Claveland,Rance;Fenton,Flavio H.;Grosu,Radu;Jones,Paul L.;Smolka,Scott A.:心脏交替多参数分叉分析的概率可达性(2019年)
  4. 塞萨尔桑切斯;施耐德,杰拉多;阿伦特,沃尔夫冈;巴托奇,埃齐奥;比安库利,多梅尼科;科伦坡,克里斯蒂安;法尔科内,伊莱;弗朗卡兰扎,阿德里安;克尔斯蒂奇,斯里安;卢伦索,若昂;尼科维奇,德扬;佩斯,戈登J;鲁菲诺,何塞;西诺尔,朱利安;特劳特尔,德米特里;韦斯,Alexander:来自高级应用领域(超越软件)的运行时验证挑战调查(2019)
  5. Andrew Sogokon;Jackson,Paul B.;Johnson,Taylor T.:使用流管和连续不变量验证混合系统中的安全性和持久性(2019年)
  6. 李一南;刘军:一个非线性动力系统的鲁棒完全控制综合工具(2018)
  7. Moggi,Eugenio;Farjudian,Amin;Duracz,Adam;Taha,Walid:混合动力系统的安全与鲁棒可达性分析(2018)
  8. Bak,Stanley;Bogomolov,Sergiy;Althoff,Matthias:混合自动机可达性分析的时间触发保护转换(2017)
  9. Cimatti,Alessandro;Griggio,Alberto;Irfan,Ahmed;Roveri,Marco;Sebastiani,Roberto:通过EUF向LRA的增量缩减对NRA过渡系统进行不变检查(2017年)
  10. 动力学系统的可达性,2017年:masdreo系统的可达性
  11. Dreossi,Tommaso;Dang,Thao;Piazza,Carla:多项式动力系统的可达性计算(2017)
  12. Daniel Figueiredo;Martins,Manuel A.;Chaves,Madalena:将差分动态逻辑应用于可重构生物网络(2017)
  13. Fulton,Nathan;Mitsch,Stefan;Bohrer,Brandon;Platzer,André:混合系统的战术定理证明(2017)