PHAVer公司 swMATH ID: 4123 软件作者: 戈兰·弗雷斯 描述: 1995年,HyTech开创了一个新的领域,成为验证混合系统的潜在强大工具,但它在更复杂的系统中的适用性仍然受到严重限制。我们使用PHAVer解决了HyTech的主要问题,PHAVer是一种新工具,用于精确验证导数上具有分段常数边界的混合系统的安全特性。通过动态过逼近和基于用户可定义约束和系统动态划分状态空间来处理动态。由于使用了支持任意大数的Parma多面体库,PHAVer的精确算法非常健壮。为了管理多面体计算的复杂性,我们提出了保守地限制多面体的位数和约束的方法。导航基准和隧道二极管电路的实验结果表明了该方法的有效性。 主页: 网址:http://www-verimag.imag.fr/~frehse/phaver_web/ 相关软件: 高超声速;太空探索技术公司;个体经营者;Uppaal公司;HSolver公司;日/日;应用程序;凯伊迈拉;基准;流量*;QEPCAD公司;自旋蛋白;HySAT卫星;d到达;数学SAT;超小卫星;马蒂斯;Sostools公司;z3(零3);巴赫 引用于: 119文件 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 PHAVer:通过HyTech对混合系统进行算法验证。 兹比尔1078.93533戈兰·弗雷斯 2005 全部的 前5名被239位作者引用 10 安德烈·普拉泽 7 戈兰·弗雷斯 6 乔治·帕帕斯。 5 达姆,沃纳 5 Thao Dang先生 5 安托万·吉拉德 5 Jean-François拉斯金 5 埃纳州扎法内拉 4 塞尔吉·博戈莫洛夫 4 大卫·布雷索林 4 彼得·柯林斯。 4 劳伦特·多恩 4 帕拉萨拉·斯里达尔·达吉拉拉 4 卢卡·杰雷蒂 4 A.Agung朱利叶斯 4 奥德·马勒 4 斯特凡·拉特肖恩 4 米歇尔·阿德里安·雷尼尔 4 雅各布斯·E·罗达。 4 Schiffelers,R.R.H。 4 范·比克,D.A。 4 蒂齐亚诺别墅 三 斯坦利·巴克 三 卜、雷 三 斯特凡·迪什 三 布鲁斯·H·克罗。 三 金·古德斯特兰·拉森 三 科拉斯·勒格尔尼奇 三 李宣东 三 伙计,卡洛克 三 斯特凡诺·米诺波利 三 萨扬·密特拉 三 弗洛里安·皮戈什 三 帕维特拉·普拉巴卡 三 桑卡拉纳拉亚南,斯里拉姆 三 克里斯托夫·斯科尔 三 她,志坤 三 鲍里斯·维茨 2 哈萨内·阿拉 2 马蒂亚斯·阿尔霍夫 2 尤金·亚萨林 2 格雷戈里·巴特 2 马西莫·贝内雷切蒂 2 卢卡·本韦努蒂 2 桑托什·比斯瓦斯 2 弗兰克·卡塞兹 2 克拉克(Edmund Melson jun Clarke)。 2 海宁·迪尔克斯 2 马可·费拉 2 费内科斯(Georgios E.Fainekos)。 2 阿尔贝托·法拉利 2 米尔科·贾科布 2 恩斯特·莫里茨·哈恩 2 托马斯·亨辛格(Thomas A.Henzinger)。 2 霍尔格·赫尔曼斯 2 丹尼尔·科宁 2 科琳娜·米特罗欣 2 悉达多·穆霍帕迪亚 2 延斯·奥勒金 2 庞、军 2 安德烈亚斯·波德尔斯基 2 贾·戴维德·奎塞尔 2 皮埃尔·阿莱·雷尼尔 2 迪班卡·萨尔卡 2 杰拉尔多·施奈德 2 马赫什·维斯瓦纳坦 2 乌韦州瓦尔德曼 2 赵建华 1 苏米特·贾·安纳德 1 亚历山德罗·阿巴特 1 艾丽卡·阿尔布拉汉姆 1 沃尔夫冈·阿伦特 1 贝扎德·阿克巴普尔 1 阿迪布·阿拉哈姆 1 吉安卢卡·阿马托 1 马杜卡尔·阿南德 1 埃蒂安·安德烈 1 尼科斯·阿雷奇加 1 乔瓦尼·巴奇 1 Jos C.M.Baeten。 1 罗伯特·巴格纳拉 1 古里纳斯·班达 1 埃齐奥·巴托西 1 梅尔特·巴什图阿 1 安娜·贝基 1 兰齐·本·萨拉赫 1 伯曼,春天 1 多梅尼科·比安库利 1 丹尼·鲍尔森(Danny Bougsted Poulsen) 1 布兰登·伯勒 1 约尔格·博尔曼 1 奥利维尔·布瓦索 1 帕特里夏·鲍耶 1 布莱恩·布雷迪(Bryan A.Brady)。 1 朱莉娅·布拉曼(Julia M.B.Braman)。 1 托马斯·布里海耶 1 邦廷斯,马提亚斯 1 卢卡·卡洛尼(Luca P.Carloni)。 1 达里奥·卡塔鲁扎 1 阿卜杜拉扎克·查蒂 …还有139位作者 全部的 前5名19篇连载文章中引用 9 系统设计中的形式化方法 5 理论计算机科学 4 Automatica公司 三 计算的形式方面 三 离散事件动态系统 三 非线性分析。混合动力系统 2 信息与计算 2 自动推理杂志 2 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 国际系统科学杂志 1 非线性分析。理论、方法和应用。系列A:理论与方法 1 计算机程序设计科学 1 国际鲁棒非线性控制杂志 1 欧洲控制杂志 1 计算系统理论 1 计算机基础理论 1 逻辑与代数程序设计杂志 全部的 前5名在14个字段中引用 95 计算机科学(68-XX) 58 系统论;控制(93至XX) 8 数学逻辑和基础(03-XX) 8 运筹学、数学规划(90-XX) 7 生物学和其他自然科学(92-XX) 5 常微分方程(34-XX) 5 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 动力系统和遍历理论(37至XX) 2 凸和离散几何(52至XX) 2 信息与通信理论、电路(94-XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 算子理论(47-XX) 1 变异微积分和最优控制;最优化(49-XX) 按年份列出的引文