高超声速

HyTech是一个用于分析嵌入式系统的自动工具。HyTech计算线性混杂系统满足时间需求的条件。混合系统被指定为具有离散和连续组件的自动机集合,并通过符号模型检验来验证时间需求。如果验证失败,那么HyTech将生成诊断错误跟踪。HyTech算法的标准参考文献是[1],而HyTech工具的标准参考文献是[2]。


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

显示321的结果1到20。
按年份排序(引用)

1 2 ... 15 16 17 下一个

  1. Suenaga,Kohei;Ishizawa,Takuya:混合动力系统的广义属性导向可达性(2020)
  2. Jovanović,Aleksandra;Lime,Didier;Roux,Olivier H.:实时系统参数控制的博弈方法(2019)
  3. Júlvez,Jorge;Oliver,Stephen G.:通过防护柔性网络对混合系统进行建模、分析和控制(2019年)
  4. 塞萨尔桑切斯;施耐德,杰拉多;阿伦特,沃尔夫冈;巴托奇,埃齐奥;比安库利,多梅尼科;科伦坡,克里斯蒂安;法尔科内,伊莱;弗朗卡兰扎,阿德里安;克尔斯蒂奇,斯里安;卢伦索,若昂;尼科维奇,德扬;佩斯,戈登J;鲁菲诺,何塞;西诺尔,朱利安;特劳特尔,德米特里;韦斯,Alexander:来自高级应用领域(超越软件)的运行时验证挑战调查(2019)
  5. Doyen,Laurent;Frehse,Goran;Pappas,George J.;Platzer,André:混合动力系统验证(2018)
  6. Majumdar,Rupak;Raskin,Jean François:非布尔域中的符号模型检查(2018)
  7. Nasti,Lucia;Milazzo,Paolo:社交网络成瘾的混合自动机模型(2018)
  8. 张辉;吴金钊:MPSoC数据动态的形式化验证与量化度量(2018)
  9. Bak,Stanley;Bogomolov,Sergiy;Althoff,Matthias:混合自动机可达性分析的时间触发保护转换(2017)
  10. Dreossi,Tommaso:Sapo:多项式动力系统的可达性计算和参数综合(2017)
  11. Dreossi,Tommaso;Dang,Thao;Piazza,Carla:多项式动力系统的可达性计算(2017)
  12. Letichevsky,A.A.;Letychevskyi,O.O.;Skobelev,V.G.;Volkov,V.A.:网络物理系统(2017)
  13. Baştuí,Mert;Petreczky,Mihály;Wisniewski,Rafael;Leth,John:具有约束交换的线性交换系统的可达性和可观测性缩减(2016)
  14. Colvin,Robert J.:使用混合过程代数建模和分析神经网络(2016)
  15. Papadopoulos,Alessandro Vittorio;Prandini,Maria:交换仿射系统的模型简化(2016)
  16. Sankaranarayanan,Sriram:非线性混合系统的基础抽象变化(2016)
  17. Simon Wimmer:形式化时间自动机(2016)
  18. Aréchiga,Nikos;Kapinski,James;Deshmukh,Jyotirmoy V.;Platzer,André;Krogh,Bruce:《动力总成控制系统的数值辅助演绎安全证明》(2015)
  19. 布雷索林,戴维德;格雷蒂,卢卡;穆拉多,里卡多;菲奥里尼,保罗;维拉,蒂齐亚诺:正式验证应用于机器人手术(2015)
  20. Bresolin,Davide;Geretti,Luca;Villa,Tiziano;Collins,Pieter:使用\textscAriadne验证混合动力系统的介绍(2015)

1 2 ... 15 16 17 下一个