法弗

1995年,HyTech作为一种潜在的强大的混合系统验证工具开辟了新的领域,但它在更复杂系统中的适用性仍然受到严重限制。我们使用一个新的精确验证工具PHAVer来解决HyTech的主要问题导数上具有分段常数界的混杂系统的安全性。Ane动态由上的-y过度逼近和基于用户de的状态空间划分nable约束和系统动力学。由于Parma多面体库支持任意大的数字,PHAVer的精确算法是健壮的。为了管理多面体计算的复杂性,我们提出了保守地限制多面体的位数和约束的方法。在导航基准和隧道二极管电路上的实验结果表明了该方法的有效性方法的目的性。


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

显示113个结果中的1到20个。
按年份排序(引用)
  1. 巴奇,乔瓦尼;布耶,帕特里夏;法伦堡,乌利;拉森,金G。;马基,尼古拉斯;Reynier,Pierre Alain:不确定性能量时间自动机的最优鲁棒控制器综合(2021)
  2. 贝基,安娜;Zaffanella,Enea:PPLite:NNC多面体零开销编码(2020)
  3. 杨荣民;摩尔,托马斯;莱希,Jörg:混合动力系统监督控制的行为抽象细化(2020)
  4. Sá北卡罗来纳州恩切斯é特别行政区;施耐德,杰拉多;阿伦特,沃尔夫冈;巴托奇、埃齐奥;比安库利,多梅尼科;科伦坡,基督教;法尔肯,伊莉ès;弗朗卡兰扎,阿德里安;克尔斯蒂ć, 高级đ安;楼人ço、 乔ã嗯。;尼科维奇,德扬;佩斯,戈登J。;鲁菲诺,何塞;西诺尔斯,朱利安;特劳特尔,德米特里;Weiss,Alexander:来自高级应用领域(超越软件)的运行时验证挑战调查(2019)
  5. 多恩,劳伦特;弗雷希,戈兰;帕帕斯,乔治J。;普拉泽,安德烈é: 混合动力系统验证(2018)
  6. Drechsler,Rolf(编辑):正式系统验证。最新技术和未来趋势(2018)
  7. 马朱姆达尔,鲁帕克;拉斯金,让·弗兰çois:非布尔域中的符号模型检查(2018)
  8. 纳斯蒂,露西亚;米兰佐,保罗:社交网络成瘾的混合自动机模型(2018)
  9. 张辉;吴金钊:MPSoC数据动态的形式化验证与量化度量(2018)
  10. 巴克,斯坦利;博戈莫洛夫,塞尔吉;Althoff,Matthias:混合自动机可达性分析的时间触发保护转换(2017)
  11. 巴克,斯坦利;Duggirala,Parasara Sridhar:基于严格仿真的线性混合系统分析(2017)
  12. 博戈莫洛夫,塞尔吉;弗雷希,戈兰;贾科布,米尔科;Henzinger,Thomas A.:反例引导的模板多面体细化(2017)
  13. 德劳西,托马索;当,曹;Piazza,Carla:多项式动力系统的可达性计算(2017)
  14. 富尔顿,内森;米奇,斯特凡;伯勒,布兰登;普拉泽,安德烈é: 2017(战术系统贝尔罗证明)
  15. 文学士şğ, 默特;佩特雷茨基,米赫á利;维斯尼夫斯基,拉斐尔;Leth,John:具有约束交换的线性切换系统的可达性和可观测性缩减(2016)
  16. Colvin,Robert J.:使用混合过程代数建模和分析神经网络(2016)
  17. 帕帕佐普洛斯,亚历山德罗维托里奥;Prandini,Maria:交换仿射系统的模型简化(2016)
  18. Sankaranarayanan,Sriram:非线性混合系统的基础抽象变化(2016)
  19. 应收账é奇加,尼科斯;卡宾斯基,詹姆斯;德什穆克,乔蒂莫伊五世。;普拉泽,安德烈é; Krogh,Bruce:动力总成控制系统的数字辅助演绎安全证明(2015)
  20. 巴克,斯坦利;博戈莫洛夫,塞尔吉;Johnson,Taylor T.:HYST:混合自动机模型的源转换和转换工具(2015)