RoVerGeNe公司 swMATH ID: 10954 软件作者: 格雷戈里·巴特;凯琳·贝尔塔 描述: RoVerGeNe:基因网络稳健验证工具。Rovergene是一种分析参数不确定性下遗传调控网络的工具。遗传调节网络由一类分段多仿射微分方程模型描述,动态特性用线性时序逻辑表示,不确定参数用区间表示。该工具解决了两个问题:鲁棒性分析:检查给定集合中的每个参数和给定区域中的每个初始状态是否满足动态特性。然后,参数集被称为有效。参数约束综合:搜索给定参数集的有效子集。Rovergene可用于分析基因网络动态特性对参数变化的鲁棒性,并用于调整合成基因网络。 主页: http://sites.bu.edu/hyness/rovergene/ 相关软件: 拉马斯;生物CHAM;迪维尼;棱镜;GNA公司;高超声速;ASTREE公司;金西姆;SpaceEx公司;违约;SABRE公司;玛丽;钙磷;Uppaal公司;NuSMV公司;自旋蛋白;CUDA公司;生物-PEPA;克洛诺斯;HSolver公司 引用于: 13文件 全部的 前5名被30位作者引用 3 Calin A.Belta。 3 卢博什·布里姆 3 萨夫拉内克,大卫 2 JiříBarnat 2 格雷戈里·巴特 2 伊万娜·乔纳 2 斯文·德拉赞 2 纳西·拉姆达尼 2 罗恩·维斯 1 亚历山德罗·阿巴特 1 法比奥·巴加吉奥罗 1 罗伯托·巴布蒂 1 伊夫·坎多 1 科什卡,米兰 1 彼得·克劳福德-卡尔 1 布里·康明斯 1 Thao Dang先生 1 卡蒂亚·达涅利 1 贾纳·法布里科娃 1 汤姆·盖迪恩 1 苏菲·海瑟特 1 科拉斯·勒格尔尼奇 1 弗朗西丝卡·列维 1 奥德·马勒 1 纳西姆·梅斯莱姆 1 保罗·米拉佐 1 内迪亚科夫(Nedialko S.)。 1 圭多·斯卡纳 1 Van den Hof,Paul M.J。 1 博扬·约丹诺夫 引用于4个系列 3 非线性分析。混合动力系统 2 理论计算机科学 1 Automatica公司 1 SIAM应用动力系统杂志 全部的 前5名在8个字段中引用 8 计算机科学(68至XX) 8 系统论;控制(93至XX) 7 生物学和其他自然科学(92-XX) 1 动力系统和遍历理论(37至XX) 1 变分法与最优控制;最优化(49至XX) 1 统计学(62-XX) 1 数值分析(65-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文