Symbolic reachability analysis of genetic regulatory networks using discrete abstractions
✍ Scribed by Grégory Batt; Hidde de Jong; Michel Page; Johannes Geiselmann
- Publisher
- Elsevier Science
- Year
- 2008
- Tongue
- English
- Weight
- 404 KB
- Volume
- 44
- Category
- Article
- ISSN
- 0005-1098
No coin nor oath required. For personal study only.
✦ Synopsis
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.