Model checking genetic regulatory networks with parameter uncertainty

  • Authors:

  • Grégory Batt;Calin Belta;Ron Weiss

  • Affiliations:

  • Center for Information and Systems Engineering and Center for BioDynamics, Boston University, Brookline, MA;Center for Information and Systems Engineering and Center for BioDynamics, Boston University, Brookline, MA;Department of Electrical Engineering and Department of Molecular Biology, Princeton University, Princeton, NJ

  • Venue:
  • HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
  • Year:
  • 2007

Quantified Score

Hi-index 0.01

Visualization

Abstract

The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal with this problem, we propose a method for the analysis of genetic regulatory networks with parameter uncertainty. We consider models based on piecewise-multiaffine differential equations, dynamical properties expressed in temporal logic, and intervals for the values of uncertain parameters. The problem is then either to guarantee that the system satisfies the expected properties for every possible parameter value - the corresponding parameter set is then called valid - or to find valid subsets of a given parameter set. The proposed method uses discrete abstractions and model checking, and allows for efficient search of the parameter space. This approach has been implemented in a tool for robust verification of gene networks (RoVerGeNe) and applied to the tuning of a synthetic network build in E. coli.