Symbolic reachability analysis of genetic regulatory networks using discrete abstractions

被引：33

作者：

Batt, Gregory ^{[1
]}

de Jong, Hidde ^{[1
]}

Page, Michel ^{[1
]}

Geiselmann, Johannes ^{[1
]}

机构：

[1] INRIA Grenoble Rhone Alpes, F-38334 St Ismier Cedex, France

来源：

AUTOMATICA | 2008年 / 44卷 / 04期

关键词：

piecewise-affine differential equations; qualitative analysis; discrete abstractiom; hybrid systems; genetic regulatory networks; systems biology;

D O I：

10.1016/j.automatica.2007.08.004

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

We use hybrid-systems techniques for the analysis of reachability properties of a class of piecewise-affine (PA) differential equations that are particularly suitable for the modeling of genetic regulatory networks. More specifically, we introduce a hyperrectangular partition of the state space that forms the basis for a discrete abstraction preserving the sign of the derivatives of the state variables. The resulting discrete transition system provides a qualitative description of the network dynamics that is well-adapted to available experimental data and that can be efficiently computed in a symbolic manner from inequality constraints on the parameters. (c) 2007 Elsevier Ltd. All rights reserved.

引用

页码：982 / 989

页数：8