德拉赫

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


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

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

  1. 阿披实,亚喀什;苏德,哈利;Jeannin,Jean Baptiste:汽车转向时制动的正式验证(2020年)
  2. 杨正峰;吴敏;林,王:不确定非线性混合系统障碍证书生成的有效框架(2020)
  3. 伊斯兰教,阿里夫医学博士;克里夫兰,兰斯;芬顿,弗拉维奥H。;格罗苏,拉杜;琼斯,保罗L。;Smolka,Scott A.:心脏交替多参数分叉分析的概率可达性(2019)
  4. Sá北卡罗来纳州恩切斯é特别行政区;施耐德,杰拉多;阿伦特,沃尔夫冈;巴托奇、埃齐奥;比安库利,多梅尼科;科伦坡,基督教;法尔肯,伊莉ès;弗朗卡兰扎,阿德里安;克尔斯蒂ć, 高级đ安;楼人ço、 乔ã嗯。;尼科维奇,德扬;佩斯,戈登J。;鲁菲诺,何塞;西诺尔斯,朱利安;特劳特尔,德米特里;Weiss,Alexander:来自高级应用领域(超越软件)的运行时验证挑战调查(2019)
  5. 索戈孔,安德鲁;杰克逊,保罗B。;Johnson,Taylor T.:使用流管和连续不变量验证混合系统的安全性和持久性(2019)
  6. 厉、沂南;刘俊:ROCS:非线性动力系统鲁棒完全控制综合工具(2018)
  7. 莫吉,尤金尼奥;法朱迪亚,阿明;杜拉茨,亚当;Taha,Walid:混合动力系统的安全与鲁棒可达性分析(2018)
  8. 巴克,斯坦利;博戈莫洛夫,塞尔吉;Althoff,Matthias:混合自动机可达性分析的时间触发保护转换(2017)
  9. 亚历山德罗·西马蒂;格里吉奥,阿尔伯托;艾哈迈德·伊尔凡;罗维里,马可;Sebastianini,Roberto:通过使用EUF将LRA增量还原为LRA,对NRA过渡系统进行不变检查(2017)
  10. Dreossi,Tommaso:Sapo:多项式动力系统的可达性计算和参数综合(2017)
  11. 德劳西,托马索;当,曹;Piazza,Carla:多项式动力系统的可达性计算(2017)
  12. 菲格雷多,丹尼尔;马丁斯,曼努埃尔A。;Chaves,Madalena:将差分动态逻辑应用于可重构生物网络(2017)
  13. 富尔顿,内森;米奇,斯特凡;伯勒,布兰登;普拉泽,安德烈é: Bellerophon:混合系统的战术定理证明(2017)