高超声速

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


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

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

1 2 ... 15 16 17 下一个

  1. 巴奇,乔瓦尼;布耶,帕特里夏;法伦堡,乌利;拉森,金G。;马基,尼古拉斯;Reynier,Pierre Alain:不确定性能量时间自动机的最优鲁棒控制器综合(2021)
  2. 卡塞兹,弗朗克;詹森,彼得·居尔;Guldstrand,Larsen Kim:使用跟踪抽象精化的实时程序的验证和参数综合(2021)
  3. 卡塔鲁扎,达里奥;亚伯特,亚历山德罗;施拉梅尔,彼得;Kroneing,Daniel:通过抽象加速度输入的带保护LTI模型的无界时间安全验证(2021)
  4. 曼奇尼,托尼曼奇尼;玛丽,费德里科;马西尼,安娜丽莎;伊戈尔,梅拉蒂;恩里科·特隆奇:关于模拟脚本等价性的检验(2021)
  5. 贝基,安娜;Zaffanella,Enea:PPLite:NNC多面体零开销编码(2020)
  6. 法伦堡,乌利;勒盖,阿克塞尔;夸斯,卡林:用定量博弈计算分支距离(2020)
  7. 苏伊纳加,科海;Ishizawa,Takuya:混合系统的广义属性定向可达性(2020)
  8. 杨荣民;摩尔,托马斯;Raisch,Jörg:混合系统监督控制行为抽象的改进(2020)
  9. 乔瓦诺维奇,亚历山德拉;石灰,迪迪埃;Roux,Olivier H.:实时系统参数控制的博弈方法(2019)
  10. 约尔维斯,豪尔赫;Oliver,Stephen G.:通过防护柔性网络对混合系统进行建模、分析和控制(2019年)
  11. 塞萨尔桑切斯;施耐德,杰拉多;阿伦特,沃尔夫冈;巴托奇、埃齐奥;比安库利,多梅尼科;科伦坡,基督教;法尔肯,伊莉丝;弗朗卡兰扎,阿德里安;Krstić,Srđan;卢伦索,若昂。;尼科维奇,德扬;佩斯,戈登J。;鲁菲诺,何塞;西诺尔斯,朱利安;特劳特尔,德米特里;Weiss,Alexander:来自高级应用领域(超越软件)的运行时验证挑战调查(2019)
  12. 多恩,劳伦特;弗雷希,戈兰;帕帕斯,乔治J。;Platzer,André:混合动力系统验证(2018)
  13. 马朱姆达尔,鲁帕克;Raskin,Jean-François:非布尔域中的符号模型检查(2018)
  14. 纳斯蒂,露西亚;米兰佐,保罗:社交网络成瘾的混合自动机模型(2018)
  15. 张辉;吴金钊:MPSoC数据动态的形式化验证与量化度量(2018)
  16. 巴克,斯坦利;博戈莫洛夫,塞尔吉;Althoff,Matthias:混合自动机可达性分析的时间触发保护转换(2017)
  17. 巴克,斯坦利;Duggirala,Parasara Sridhar:基于严格仿真的线性混合系统分析(2017)
  18. 博戈莫洛夫,塞尔吉;弗雷希,戈兰;贾科布,米尔科;Henzinger,Thomas A.:反例引导的模板多面体细化(2017)
  19. Dreossi,Tommaso:Sapo:多项式动力系统的可达性计算和参数综合(2017)
  20. 德劳西,托马索;当,曹;Piazza,Carla:多项式动力系统的可达性计算(2017)

1 2 ... 15 16 17 下一个