pyHybrid分析 swMATH ID: 10940 软件作者: 卡萨格兰德,A。;德罗西,T。 描述: pyHybrid分析:一个用于混合系统语义分析的软件包。混合自动机自然而然地表示具有混合离散连续行为的系统。他们的可达性问题的不确定性限制了准时调查这种形式主义的机会。由于这个否定结果和与任何可观察现象不对应的伪影的存在主要是由于连续域的密度,因此提出了一类有限精度语义,称为[epsilon]-语义,用于分析混合自动机。本文介绍了一个Python包pyHybrid Analysis,它实现了[epsilon]-语义框架,并允许分析混合自动机。 主页: http://ieeexplore.iee.org/xpl/login.jsp?tp=&arnumber=6628364 相关软件: SpaceEx公司;MARCO公司;MPI/MPICH公司;萨波;d到达;流量*;椭圆工具箱;阿里阿德涅;MPT公司;高超声速;PHAVer公司;凯伊迈拉;CUDA公司;杂交分析;重新记录 引用于: 2文件 5位作者引用 2 托马索·德罗西 2 卡拉广场 1 阿尔贝托·卡萨格兰德 1 Thao Dang先生 1 贾纳·法布里科娃 2篇连载文章中引用 1 信息与计算 1 系统设计中的形式化方法 在3个字段中引用 1 计算机科学(68至XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 按年份列出的引文