罗佛根

RoVerGeNe:基因网络稳健验证的工具。Rovergene是参数不确定条件下遗传调控网络分析的工具。遗传调节网络用一类分段多仿射微分方程模型描述,其动态特性用线性时序逻辑表示,不确定参数用区间表示。该工具解决两个问题:鲁棒性分析:检查给定集合中的每个参数和给定区域中的每个初始状态是否满足动态特性。然后将参数集称为valid。参数约束综合:搜索给定参数集的有效子集。Rovergene可用于分析基因网络动态特性对参数变化的鲁棒性,也可用于人工基因网络的整定。


zbMATH中的参考文献(参考文献13条)

显示结果1到13,共13个。
按年份排序(引用)

  1. 克劳福德·卡尔,彼得;康明斯,布里;Gedeon,Tomas:两类ODE模型生成的全球网络动力学组合特征比较(2019)
  2. 海塞尔,索菲;范登霍夫,保罗M。J、 。;Abate,Alessandro:通过贝叶斯识别和可达性分析进行数据驱动和基于模型的验证(2017)
  3. 布里姆,卢波š; Češ卡,米兰;Šafr公司á奈克,大卫:生物系统的模型检验(2013)
  4. 法比奥,法波罗;Danieli,Katia:具有多个恒温混合动力系统的无限时域最优控制问题(2012)
  5. 当,曹;勒格尔尼奇,科拉斯;Maler,Oded:计算非线性生物模型的可达状态(2011)
  6. 拉姆达尼,纳西姆;Nedialkov,Nedialko S.:使用区间约束传播技术计算不确定非线性混合系统的可达集(2011)
  7. 拉姆达尼,纳西姆;梅斯勒姆,纳金;Candau,Yves:计算不确定非线性单调系统的可达集(2010)
  8. 巴布提,罗伯托;列维,弗朗西丝卡;米兰佐,保罗;Scatena,Guido:具有不确定动力学速率的生物系统的概率模型检验(2009)
  9. 巴纳特,J。;边缘,L。;Č厄恩á, 一、 。;Dra公司ž安,S。;法布里科夫á, J、 。;Šafr公司ánek,D.:基于LTL模型检查的转录调控算法分析(2009)
  10. 巴纳特,J。;边缘,L。;Č厄恩á, 一、 。;Dra公司ž安,S。;Šafr公司ánek,D.:与DiVinE并行模型检查大规模遗传调控网络(2008)
  11. 约达诺夫,博扬;Belta,Calin:基于时序逻辑规范的分段仿射系统的参数综合(2008)
  12. 蓄电池组é血淋淋的;贝尔塔,卡林;韦斯,罗恩:基因调控网络活性特性的模型检验(2007)
  13. 蓄电池组é血淋淋的;贝尔塔,卡林;Weiss,Ron:带有参数不确定性的遗传调节网络模型检验(2007)