高超声速 swMATH ID: 4125 软件作者： 汤姆·亨廷格（Tom Henzinger）、裴勇浩（Pei-Hin-Ho）和霍华德·旺托伊（Howard Wong-Toi）。 描述： HyTech是一种用于分析嵌入式系统的自动工具。HyTech计算线性混合系统满足时间要求的条件。混合系统被指定为具有离散和连续组件的自动机的集合，并且通过符号模型检查来验证时间需求。如果验证失败，则HyTech会生成诊断错误跟踪。对HyTech算法的标准引用是[1]，对HyTechn工具的标准引用则是[2]。 主页： http://embedded.eecs.berkeley.edu/research/hytech/ 操作系统： Sun OS 5.8、Solaris 2.3.x、Digital Unix、DEC Ultrix、HP-UX和Windows 2000（Cygwin）、Linux 关键词： 混合技术工具 相关软件： Uppaal公司;PHAVer公司;克洛诺斯;自旋蛋白;太空探索技术公司;日/日;RSOLVER公司;PPL（公私合营）;HSolver公司;凯伊迈拉;棱镜;流量*;NuSMV公司;HySAT卫星;基准;QEPCAD公司;PVS公司;向上2k;TREX公司;莫德 引用于： 320文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 HyTech：混合系统的模型检查器。 Zbl 1060.68603号托马斯·亨辛格（Thomas A.Henzinger）。;何培欣;Howard Wong-Toi，霍华德 1997 全部的 前5名537位作者引用 14 金·古德斯特兰·拉森 12 Thao Dang先生 11 帕特里夏·鲍耶 10 安德烈亚斯·波德尔斯基 9 乔治·德尔扎诺 8 尤金·亚萨林 8 弗兰克·卡塞兹 8 安德烈·普拉泽 8 Jean-François拉斯金 8 埃纳州扎法内拉 7 李宣东 7 奥德·马勒 6 安德烈，艾蒂安 6 托马斯·亨辛格（Thomas A.Henzinger）。 6 何塞·梅塞盖尔·瓜伊塔 6 Peter Csaba，Olveczky 6 卡拉广场 6 赵建华 5 阿尔贝托·本普拉德 5 达姆，沃纳 5 伊曼纽尔·弗勒里 5 戈兰弗雷斯 5 劳伦·弗里堡 5 布鲁斯·H·克罗。 5 桑卡拉纳拉亚南，斯里拉姆 5 易、王 5 郑国良 4 罗伯特·巴格纳拉 4 大卫·布雷索林 4 特夫菲克·布尔坦 4 克拉克（Edmund Melson jun Clarke）。 4 彼得·柯林斯。 4 斯特凡·迪什 4 卢卡·杰雷蒂 4 安托万·吉拉德 4 帕特里夏·M·希尔。 4 弗朗索瓦·拉鲁西尼 4 青柠，迪迪埃 4 弗洛里安·皮戈什 4 雅各布斯·E·罗达。 4 奥利维尔·H·鲁克斯。 4 Gerardo Schneider公司 4 克里斯托夫·斯科尔 4 Vaandrager，Frits W。 4 范·比克，D.A。 4 蒂齐亚诺别墅 4 安德烈·沃伦科夫 4 郑涛 三 Aceto，卢卡 三 马蒂亚斯·阿尔霍夫 三 拉杰夫·阿鲁尔 三 埃齐奥·巴托西 三 君士坦丁·巴齐斯 三 塞尔吉·博戈莫洛夫 三 卢卡·博托卢西 三 哈尼法·布切内布 三 托马斯·查泰恩 三 党、哲 三 斯蒂法诺·迪·凯拉诺 三 托马索·德若西 三 凯瑟琳·杜福尔德 三 帕拉萨拉·斯里达尔·达吉拉拉 三 尼古拉斯·哈尔巴赫斯 三 弗兰乔·伊万契奇 三 A.Agung朱利叶斯 三 豪尔赫·Jülvez 三 弗朗西斯·克莱 三 科拉斯·勒格尔尼奇 三 鲁帕克·马朱姆达尔 三 佐哈尔·曼纳 三 Mitra，萨扬 三 乔治·帕帕斯。 三 安托万·C·佩蒂特。 三 保罗·佩特森 三 阿尔贝托，Policriti 三 帕维特拉·普拉巴卡 三 卡琳·夸斯 三 米歇尔·阿德里安·雷尼尔 三 彼得·雷维斯。 三 塔蒂亚娜·瑞比纳 三 R.R.H.希弗勒。 三 Henny B.西普玛。 三 玛丽·斯托琳加 三 乌韦·沃尔德曼 三 鲍里斯·维茨 三 Howard Wong-Toi，霍华德 2 亚历山德罗·阿巴特 2 哈萨内·阿拉 2 马可·安东尼奥蒂 2 穆罕默德·阿卜杜拉希·阿兹戈米 2 斯坦利·巴克 2 格雷戈里·巴特 2 格德·贝尔曼 2 卢卡·本维努蒂 2 贝拉德，贝特里奇 2 Jan A.Bergstra。 2 阿米特·巴蒂亚 2 沃尔克·布劳恩 2 卜、雷 2 奥古斯托·布尔古埃诺 …以及437多位作者 全部的 前5名36篇连载文章中引用 27 理论计算机科学 19 系统设计中的形式化方法 11 计算的形式方面 7 逻辑与代数程序设计杂志 6 信息与计算 6 离散事件动态系统 4 Automatica公司 4 实时系统 4 计算机科学中的逻辑方法 4 非线性分析。混合动力系统 三 计算机基础理论 2 国际控制杂志 2 自动推理杂志 2 国际计算机科学基础杂志 2 欧洲控制杂志 2 计算机科学评论 2 程序设计中的逻辑和代数方法杂志 2 计算机科学课文 1 信息学报 1 信息处理信件 1 IEEE自动控制汇刊 1 计算机与系统科学杂志 1 非线性分析。理论、方法和应用。系列A：理论与方法 1 计算机程序设计科学 1 计算机科学与技术杂志 1 国际鲁棒非线性控制杂志 1 控制论与系统分析 1 北欧计算机杂志 1 人工智能研究杂志 1 计算系统理论 1 自动机、语言和组合数学杂志 1 高阶和符号计算 1 通用计算机科学杂志 1 逻辑程序设计理论与实践 1 计算机科学综合讲座 1 理论计算机科学专著。EATCS系列 全部的 前5名18个领域被引用 274 计算机科学（68至XX） 91 系统论；控制（93至XX） 22 数理逻辑与基础（03-XX） 14 运筹学、数学规划（90-XX） 14 生物学和其他自然科学（92-XX） 9 博弈论、经济学、金融和其他社会和行为科学（91-XX） 8 常微分方程（34-XX） 6 凸和离散几何（52至XX） 5 信息与通信理论、电路（94-XX） 4 动力系统和遍历理论（37至XX） 2 组合数学（05-XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 2 概率论与随机过程（60-XX） 1 交换代数（13-XX） 1 算子理论（47-XX） 1 变分法与最优控制；最优化（49至XX） 1 统计学（62-XX） 1 粒子和系统力学（70-XX） 按年份列出的引文