×

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文件
全部的 前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位作者

按年份列出的引文