法弗

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


zbMATH中的参考文献(参考 108篇文章 参考,第1条标准)

显示第1至第108个结果。
按年份排序(引用)
  1. Yang,Jung Min;Moor,Thomas;Raisch,Jörg:混合动力系统监督控制的行为抽象细化(2020)
  2. 科伦奇·科伦奇;科伦奇·科伦奇;科伦奇·科伦奇;科伦奇·科伦奇;科伦奇·科伦奇;科伦奇·科伦奇;科伦奇·科伦奇;科伦奇·科伦奇;科伦奇·科伦奇;科伦奇·科伦奇,Alexander:来自高级应用领域(超越软件)的运行时验证挑战调查(2019)
  3. Doyen,Laurent;Frehse,Goran;Pappas,George J.;Platzer,André:混合动力系统验证(2018)
  4. Majumdar,Rupak;Raskin,Jean François:非布尔域中的符号模型检查(2018)
  5. Nasti,Lucia;Milazzo,Paolo:社交网络成瘾的混合自动机模型(2018)
  6. 张辉;吴金钊:MPSoC数据动态的形式化验证与量化度量(2018)
  7. Bak,Stanley;Bogomolov,Sergiy;Althoff,Matthias:混合自动机可达性分析的时间触发保护转换(2017)
  8. Dreossi,Tommaso;Dang,Thao;Piazza,Carla:多项式动力系统的可达性计算(2017)
  9. Fulton,Nathan;Mitsch,Stefan;Bohrer,Brandon;Platzer,André:混合系统的战术定理证明(2017)
  10. Baştuí,Mert;Petreczky,Mihály;Wisniewski,Rafael;Leth,John:具有约束交换的线性交换系统的可达性和可观测性缩减(2016)
  11. Colvin,Robert J.:使用混合过程代数建模和分析神经网络(2016)
  12. Papadopoulos,Alessandro Vittorio;Prandini,Maria:交换仿射系统的模型简化(2016)
  13. Sankaranarayanan,Sriram:非线性混合系统的基础抽象变化(2016)
  14. Aréchiga,Nikos;Kapinski,James;Deshmukh,Jyotirmoy V.;Platzer,André;Krogh,Bruce:《动力总成控制系统的数值辅助演绎安全证明》(2015)
  15. Bak,Stanley;Bogomolov,Sergiy;Johnson,Taylor T.:HYST:混合自动机模型的源转换和转换工具(2015)
  16. 布雷索林,戴维德;格雷蒂,卢卡;穆拉多,里卡多;菲奥里尼,保罗;维拉,蒂齐亚诺:正式验证应用于机器人手术(2015)
  17. Bresolin,Davide;Geretti,Luca;Villa,Tiziano;Collins,Pieter:使用\textscAriadne验证混合动力系统的介绍(2015)
  18. Cimatti,Alessandro;Roveri,Marco;Tonetta,Stefano:HRELTL:混合动力系统的时序逻辑(2015)
  19. Julius,A.Agung:基于轨迹的混合动力系统理论(2015)
  20. Prabhakar,Pavithra;Duggirala,Parasara Sridhar;Mitra,Sayan;Viswanathan,Mahesh:基于混合自动机的矩形混合系统CEGAR(2015)