Title | ||
---|---|---|
Symbolic reachability analysis of genetic regulatory networks using discrete abstractions |
Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1016/j.automatica.2007.08.004 | Automatica |
Keywords | DocType | Volume |
Piecewise-affine differential equations,Qualitative analysis,Discrete abstraction,Hybrid systems,Genetic regulatory networks,Systems biology | Journal | 44 |
Issue | ISSN | Citations |
4 | 0005-1098 | 5 |
PageRank | References | Authors |
0.62 | 1 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Grégory Batt | 1 | 364 | 25.79 |
Hidde de Jong | 2 | 1328 | 132.83 |
Michel Page | 3 | 310 | 25.93 |
Johannes Geiselmann | 4 | 254 | 26.07 |