法弗

1995年,HyTech作为一种潜在的强大的混合系统验证工具开辟了新的领域,但它在更复杂系统中的适用性仍然受到严重限制。我们用PHAVer解决了HyTech的主要问题,PHAVer是一种新的工具,用于精确验证导数上具有分段常数边界的混合系统的安全特性。A ffine dynamics的处理方法是:基于用户可定义的约束条件和系统的动态性,对状态空间进行分区。由于Parma多面体库支持任意大的数字,PHAVer的精确算法是健壮的。为了管理多面体计算的复杂性,我们提出了保守地限制多面体的位数和约束的方法。对导航基准和隧道二极管电路的实验结果表明了该方法的有效性。


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

显示107个结果中的1到20个。
按年份排序(引用)
  1. 塞萨尔桑切斯;施耐德,杰拉多;阿伦特,沃尔夫冈;巴托奇,埃齐奥;比安库利,多梅尼科;科伦坡,克里斯蒂安;法尔科内,伊莱;弗朗卡兰扎,阿德里安;克尔斯蒂奇,斯里安;卢伦索,若昂;尼科维奇,德扬;佩斯,戈登J;鲁菲诺,何塞;西诺尔,朱利安;特劳特尔,德米特里;韦斯,Alexander:来自高级应用领域(超越软件)的运行时验证挑战调查(2019)
  2. Doyen,Laurent;Frehse,Goran;Pappas,George J.;Platzer,André:混合动力系统验证(2018)
  3. Majumdar,Rupak;Raskin,Jean François:非布尔域中的符号模型检查(2018)
  4. Nasti,Lucia;Milazzo,Paolo:社交网络成瘾的混合自动机模型(2018)
  5. 张辉;吴金钊:MPSoC数据动态的形式化验证与量化度量(2018)
  6. Bak,Stanley;Bogomolov,Sergiy;Althoff,Matthias:混合自动机可达性分析的时间触发保护转换(2017)
  7. Dreossi,Tommaso;Dang,Thao;Piazza,Carla:多项式动力系统的可达性计算(2017)
  8. Fulton,Nathan;Mitsch,Stefan;Bohrer,Brandon;Platzer,André:混合系统的战术定理证明(2017)
  9. Baştuí,Mert;Petreczky,Mihály;Wisniewski,Rafael;Leth,John:具有约束交换的线性交换系统的可达性和可观测性缩减(2016)
  10. Colvin,Robert J.:使用混合过程代数建模和分析神经网络(2016)
  11. Papadopoulos,Alessandro Vittorio;Prandini,Maria:交换仿射系统的模型简化(2016)
  12. Sankaranarayanan,Sriram:非线性混合系统的基础抽象变化(2016)
  13. Aréchiga,Nikos;Kapinski,James;Deshmukh,Jyotirmoy V.;Platzer,André;Krogh,Bruce:《动力总成控制系统的数值辅助演绎安全证明》(2015)
  14. Bak,Stanley;Bogomolov,Sergiy;Johnson,Taylor T.:HYST:混合自动机模型的源转换和转换工具(2015)
  15. 布雷索林,戴维德;格雷蒂,卢卡;穆拉多,里卡多;菲奥里尼,保罗;维拉,蒂齐亚诺:正式验证应用于机器人手术(2015)
  16. Bresolin,Davide;Geretti,Luca;Villa,Tiziano;Collins,Pieter:使用\textscAriadne验证混合动力系统的介绍(2015)
  17. Cimatti,Alessandro;Roveri,Marco;Tonetta,Stefano:HRELTL:混合动力系统的时序逻辑(2015)
  18. 基于混合动力系统的轨道(2015)
  19. Prabhakar,Pavithra;Duggirala,Parasara Sridhar;Mitra,Sayan;Viswanathan,Mahesh:基于混合自动机的矩形混合系统CEGAR(2015)
  20. Amato,Gianluca;Scozzari,Francesca;Zaffanella,Enea:多面体双重描述的有效约束/生成器移除(2014)