罗夫基因

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


ZBMaCT中的参考文献(13篇文章中引用)

显示结果1至13的13。
按年份排序(引文

  1. Crawford Kahrl,彼得;康明斯,布里;GeDEon,托马斯:两类ODE模型生成的全球网络动力学组合签名的比较(2019)
  2. Haesaert,SOFIE;van den Hof,Paul M. J.;ABATE,Alessandro:基于贝叶斯识别和可达性分析的数据驱动和基于模型的验证(2017)
  3. 边缘,卢布,米兰,阿夫拉涅克,戴维:生物系统模型检验(2013)
  4. Bagagiolo,法比奥;Dayieli,KaTia:具有多个恒温混合动力学的无限时域最优控制问题(2012)
  5. Maler,ODID:计算非线性生物模型的可达状态(2011)
  6. Ramdani,NACIM;Nedialkov,Nedialko S.:利用区间约束传播技术计算不确定非线性混合系统可达集(2011)
  7. Ramdani,NACIM;MESILM,NaCIM;KANDU,YVES:求解不确定非线性单调系统的可达集(2010)
  8. 巴布蒂,罗伯托;利维,弗朗西丝卡;米拉佐,Paolo;Stayne,Gudio:具有不确定动力学速率的生物系统的概率模型检验(2009)
  9. Barnat,J,Burm,L.;I,DRA,AN,S.;Fabrkova. A. J.A.Ar R NeNK,D.:LTL模型检查转录调节的算法分析(2009)
  10. Barnat,J.B.,L.A.,I.;DRA,AN,S.;Afr Annk,D:并行模型检验神的大规模基因调控网络(2008)
  11. Yordanov,博彦,BeltA,Calin:基于时间逻辑规范的分段仿射系统的参数综合(2008)
  12. BeltA,Calin;Weess,Ron:基因调控网络的活性检验模型(2007)
  13. BeltA,Calin;Weess,Ron:模型检验具有参数不确定性的基因调控网络(2007)