德拉赫

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


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

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

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