首页> 外文会议>International Conference on Computational Methods in Systems Biology(CMSB 2004); 20040526-28; Paris(FR) >Graph-Based Modeling of Biological Regulatory Networks: Introduction of Singular States
【24h】

Graph-Based Modeling of Biological Regulatory Networks: Introduction of Singular States

机译:基于图形的生物调控网络建模:奇异状态介绍

获取原文
获取原文并翻译 | 示例

摘要

In the field of biological regulation, models extracted from experimental works are usually complex networks comprising intertwined feedback circuits. R. Thomas and coworkers introduced a qualitative description of the dynamics of such regulatory networks, called the generalized logical analysis, and used the concept of circuit-characteristic states to identify all steady states and functional circuits. These characteristic states play an essential role on the dynamics of the system, but they are not represented in the state graph. In this paper we present an extension of this formalism in which all singular states including characteristic ones are represented. Consequently, the state graph contains all steady states. Model checking is then able to verify temporal properties concerning singular states. Finally, we prove that this new modeling is coherent with R. Thomas' modeling since all paths of R. Thomas' dynamics are represented in the new state graph, which in addition shows the influence of singular states on the dynamics.
机译:在生物调节领域,从实验工作中提取的模型通常是包含交织的反馈电路的复杂网络。 R. Thomas及其同事介绍了这种调节网络的动力学的定性描述,称为广义逻辑分析,并使用电路特征状态的概念来识别所有稳态和功能电路。这些特征状态对系统的动力学起着至关重要的作用,但是它们并未在状态图中表示。在本文中,我们提出了这种形式主义的扩展,其中所有奇异状态(包括特征状态)都得到了表示。因此,状态图包含所有稳态。然后,模型检查能够验证与奇异状态有关的时间特性。最后,我们证明了这种新建模与R. Thomas的建模是一致的,因为R. Thomas动力学的所有路径都在新的状态图中表示,此外还显示了奇异状态对动力学的影响。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号