高超声速 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公司;克洛诺斯;自旋蛋白;SpaceEx公司;日/日;RSOLVER公司;PPL(公私合营);HSolver公司;凯伊迈拉;棱镜;流量*;NuSMV公司;HySAT卫星;基准;QEPCAD公司;PVS公司;Uppaal2k公司;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 让-弗朗索瓦·拉斯金 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 杰拉尔多·施奈德 4 克里斯托夫·斯科尔 4 Vaandrager,Frits W。 4 范·比克,D.A。 4 蒂齐亚诺别墅 4 安德烈·沃伦科夫 4 郑涛 三 卢卡·埃特罗 三 马蒂亚斯·阿尔特霍夫 三 拉杰夫·阿鲁尔 三 埃齐奥·巴托奇 三 君士坦丁·巴齐斯 三 塞尔吉·博戈莫洛夫 三 卢卡·博托卢西 三 哈尼法·布切内布 三 托马斯·查泰恩 三 当、哲 三 斯蒂法诺·迪·凯拉诺 三 托马索·德罗西 三 凯瑟琳·杜福尔德 三 帕拉萨拉·斯里达尔·达吉拉拉 三 尼古拉斯·哈尔巴赫斯 三 弗兰乔·伊万契奇 三 A.Agung朱利叶斯 三 豪尔赫·Jülvez 三 弗朗西斯·克莱 三 科拉斯·勒格尔尼奇 三 鲁帕克·马朱姆达尔 三 佐哈尔·曼纳 三 萨扬·密特拉 三 乔治·帕帕斯。 三 安托万·C·佩蒂特。 三 保罗·佩特森 三 阿尔贝托,Policriti 三 帕维特拉·普拉巴卡 三 卡琳·夸斯 三 米歇尔·阿德里安 三 彼得·雷维斯。 三 塔蒂亚娜·瑞比纳 三 R.R.H.希弗勒。 三 亨尼·B·西普玛。 三 玛丽·斯托琳加 三 乌韦·沃尔德曼 三 鲍里斯·维茨 三 Howard Wong-Toi,霍华德 2 亚历山德罗·阿巴特 2 哈萨内·阿拉 2 马可·安东尼奥蒂 2 穆罕默德·阿卜杜拉希·阿兹戈米 2 斯坦利·巴克 2 格雷戈里·巴特 2 格德·贝尔曼 2 卢卡·本维努蒂 2 Bérard,Béatrice公司 2 Jan A.Bergstra。 2 阿米特·巴蒂亚 2 沃尔克·布劳恩 2 卜、雷 2 奥古斯托·布尔古埃诺 …还有437位作者 全部的 前5名36篇连载文章中引用 27 理论计算机科学 19 系统设计中的形式化方法 11 计算的形式方面 7 逻辑与代数程序设计杂志 6 信息与计算 6 离散事件动态系统 4 自动化 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) 按年份列出的引文