Model Checking Genetic Regulatory Networks with Applications to Synthetic Biology

@inproceedings{Batt2004ModelCG,
  title={Model Checking Genetic Regulatory Networks with Applications to Synthetic Biology},
  author={Gr{\'e}gory Batt and Calin Belta},
  year={2004}
}
The lack of precise numerical information for the values of biological parameters severely limits the development of models of genetic regulatory networks. To deal with this problem, we developed a method for the analysis of genetic regulatory networks with parameter uncertainty. More precisely, we consider genetic regulatory network models based on piecewise-multiaffine differential equations, dynamical properties expressed in temporal logic, and intervals for the values of uncertain… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-10 of 53 references

H

  • G. Batt, D. Ropers
  • de Jong, J. Geiselmann, M. Page, and D. Schneider…
  • 2005
Highly Influential
7 Excerpts

Qualitative approaches to the analysis of genetic regulatory networks

  • H. de Jong, D. Ropers
  • System Modeling in Cellular Biology: From…
  • 2006
1 Excerpt

Similar Papers

Loading similar papers…