Switching Gene Regulatory Networks

  • Yoli Shavit
  • Boyan Yordanov
  • Sara-Jane Dunn
  • Christoph M. Wintersteiger
  • Youssef  Hamadi
  • Hillel Kugler
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9303)


A fundamental question in biology is how cells change into specific cell types with unique roles throughout development. This process can be viewed as a program prescribing the system dynamics, governed by a network of genetic interactions. Recent experimental evidence suggests that these networks are not fixed but rather change their topology as cells develop. Currently, there are limited tools for the construction and analysis of such self-modifying biological programs.We introduce Switching Gene Regulatory Networks to enable the modeling and analysis of network reconfiguration, and define the synthesis problem of constructing switching networks from observations of cell behavior. We solve the synthesis problem using Satisfiability Modulo Theories (SMT) based methods, and evaluate the feasibility of our method by considering a set of synthetic benchmarks exhibiting typical biological behavior of cell development.


Gene regulatory networks (GRNs) Boolean networks Biological Modeling Satisfiability Modulo Theories (SMT) Synthesis Self-modifying code 



Yoli Shavit is supported by the Cambridge International Scholarship Scheme (CISS). The research was carried out during her internship at Microsoft Research Cambridge, UK.


  1. 1.
    Ahmed, A., Xing, E.: Recovering time-varying networks of dependencies in social and biological studies. In: Proceedings of the National Academy of Sciences, vol. 106, no. 29, pp. 11878-11883 (2009)Google Scholar
  2. 2.
    Albert, R.: Scale-free networks in cell biology. J. Cell Sci. 118(21), 4947–4957 (2005)CrossRefGoogle Scholar
  3. 3.
    Bashe, C., Johnson, L., Palmer, J., Pugh, E.: IBM’s early computers. MIT Press (1986)Google Scholar
  4. 4.
    Biere, A., Cimatti, A., Clarke, E., Zhu, Y.: Symbolic model checking without BDDs. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol. 1579, p. 193. Springer, Heidelberg (1999) CrossRefGoogle Scholar
  5. 5.
    Chaouiya, C.: Petri net modelling of biological networks. Briefings Bioinform. 8(4), 210–219 (2007)CrossRefGoogle Scholar
  6. 6.
    Dondelinger, F., Lébre, S., Husmeier, D.: Non-homogeneous dynamic Bayesian networks with Bayesian regularization for inferring gene regulatory networks with gradually time-varying structure. Mach. Learn. 90(2), 191–230 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Doursat, R.: The growing canvas of biological development: multiscale pattern generation on an expanding lattice of gene regulatory nets. In: Minai, A., Braha, D., Bar-Yam, Y. (eds.) Unifying Themes in Complex Systems, pp. 205–210. Springer, Heidelberg (2008)Google Scholar
  8. 8.
    Dunn, S., Martello, G., Yordanov, B., Emmott, S., Smith, A.: Defining an essential transcription factor program for naïve pluripotency. Sci. 344(6188), 1156–1160 (2014)CrossRefGoogle Scholar
  9. 9.
    Friedman, N., Linial, M., Nachman, I., Pe’er, D.: Using Bayesian networks to analyze expression data. J. Comp. Bio. 3(7), 601–620 (2000)CrossRefGoogle Scholar
  10. 10.
    Giavittob, J., Klaudela, H., Pommereau, F.: Integrated regulatory networks (IRNs): spatially organized biochemical modules. Theoret. Comput. Sci. 431, 219–234 (2012)MathSciNetCrossRefGoogle Scholar
  11. 11.
    Heiner, M., Gilbert, D., Donaldson, R.: Petri nets for systems and synthetic biology. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 215–264. Springer, Heidelberg (2008). Advanced Lectures CrossRefGoogle Scholar
  12. 12.
    Hofestädt, R., Thelen, S.: Quantitative modeling of biochemical networks. Silico Biol. 1(1), 39–53 (1998)Google Scholar
  13. 13.
    Kauffman, S.: Metabolic stability and epigenesis in randomly constructed genetic nets. J. Theor. Biol. 22(3), 437–467 (1969)CrossRefGoogle Scholar
  14. 14.
    Khan, J., Bouaynaya, N., Fathallah-Shaykh, H.: Tracking of time-varying genomic regulatory networks with a LASSO-Kalman smoother. EURASIP J. Bioinf. Sys. Bio. 1(2014), 1–15 (2014)Google Scholar
  15. 15.
    Maraninchi, F., Rémond, Y.: Mode-automata: about modes and states for reactive systems. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, p. 185. Springer, Heidelberg (1998) CrossRefGoogle Scholar
  16. 16.
    de Moura, L., Bjørner, N.S.: Z3: An Efficient SMT Solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337–340. Springer, Heidelberg (2008) CrossRefGoogle Scholar
  17. 17.
    von Neumann, J.: First draft of a report on the EDVAC. Technical report Contract No. W670ORD4926, Moore School of Electrical Engineering, University of Pennsylvania (1945)Google Scholar
  18. 18.
    Parikh, A., Wu, W., Curtis, R., Xing, E.: TREEGL: reverse engineering tree-evolving gene networks underlying developing biological lineages. Bioinf. 27(13), i196–i204 (2011)CrossRefGoogle Scholar
  19. 19.
    Phillips, T.: Regulation of transcription and gene expression in eukaryotes. Nat. Educ. 1(1), 199 (2008)Google Scholar
  20. 20.
    Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete event processes. SIAM J. Control Optim. 25(1), 206–230 (1987)MathSciNetCrossRefzbMATHGoogle Scholar
  21. 21.
    Rao, A., Hero, A., States, D., Engel, J.: Inferring time-varying network topologies from gene expression data. EURASIP J. Bioinformatics Syst. Biol. 2007, 7–7 (2007)Google Scholar
  22. 22.
    Song, L., Kolar, M., Xing, E.: Time-varying dynamic Bayesian networks. In: Advances in Neural Information Processing Systems (NIPS) pp. 1732-1740 (2009)Google Scholar
  23. 23.
    Stergachis, A.B., et al.: Developmental fate and cellular maturity encoded in human regulatory DNA landscapes. Cell 154(4), 888–903 (2013)CrossRefGoogle Scholar
  24. 24.
    Thomas, R., Kaufman, M.: Multistationarity, the basis of cell differentiation and memory. ii. logical analysis of regulatory networks in terms of feedback circuits. Chaos: An Interdisciplinary J. Nonlinear Sci. 11(1), 180–195 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  25. 25.
    Valk, R.: Self-modifying nets, a natural extension of Petri nets. In: Ausiello, G., Böhm, R. (eds.) Colloquium on Automata, Languages and Programming. LNCS, pp. 464–476. Springer, Heidelberg (1978)CrossRefGoogle Scholar
  26. 26.
    Yordanov, B., Wintersteiger, C., Hamadi, Y., Kugler, H.: Z34Bio: an SMT-based framework for analyzing biological computation. In: SMT (2013)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Yoli Shavit
    • 1
    • 2
  • Boyan Yordanov
    • 2
  • Sara-Jane Dunn
    • 2
  • Christoph M. Wintersteiger
    • 2
  • Youssef  Hamadi
    • 2
  • Hillel Kugler
    • 2
    • 3
  1. 1.University of CambridgeCambridgeUK
  2. 2.Microsoft ResearchCambridgeUK
  3. 3.Bar-Ilan UniversityRamat GanIsrael

Personalised recommendations