德拉赫

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


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

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

  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. 陈,莫;赫伯特,西尔维亚L。;瓦希实他,玛哈什S。;班萨尔,索米尔;Tomlin,Claire J.:一类非线性系统的可达集与管的分解(2018)
  9. 厉、沂南;刘俊:ROCS:非线性动力系统鲁棒完全控制综合工具(2018)
  10. 莫吉,尤金尼奥;法朱迪亚,阿明;杜拉茨,亚当;Taha,Walid:混合动力系统的安全与鲁棒可达性分析(2018)
  11. 巴克,斯坦利;博戈莫洛夫,塞尔吉;Althoff,Matthias:混合自动机可达性分析的时间触发保护转换(2017)
  12. 亚历山德罗·西马蒂;格里吉奥,阿尔伯托;艾哈迈德·伊尔凡;罗维里,马可;Sebastianini,Roberto:通过使用EUF将LRA增量还原为LRA,对NRA过渡系统进行不变检查(2017)
  13. Dreossi,Tommaso:Sapo:多项式动力系统的可达性计算和参数综合(2017)
  14. 德劳西,托马索;当,曹;Piazza,Carla:多项式动力系统的可达性计算(2017)
  15. 菲格雷多,丹尼尔;马丁斯,曼努埃尔A。;Chaves,Madalena:将差分动态逻辑应用于可重构生物网络(2017)
  16. 富尔顿,内森;米奇,斯特凡;伯勒,布兰登;Platzer,André:Bellerophon:混合动力系统的战术定理证明(2017)
  17. 安德烈,桑德勒;Tveretina,Olga:ParaPlan:平面多边形微分包含系统的并行可达性分析工具(2017)
  18. 甘、婷;陈明帅;戴丽云;夏碧灿;詹乃俊:线性向量场族可达性的可判定性(2015)