Algebraic approaches to stability analysis of biological systems

Mathematics in Computer Science

Volumn 1, Issue 3, 2008, Pages 507-539

  Niu, Wei ^a   Wang, Dongming ^a,b  

^a UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

^b BEIHANG UNIVERSITY   (China)

Author keywords

Bifurcation; Biological model; CAD; Discriminant variety; Equilibrium; Gr bner basis; Quantifier elimination; Real solution classification; Self assembling micelle system; Stability; Steady state; Triangular decomposition

Indexed keywords

EID: 49449117050     PISSN: 16618270     EISSN: 16618289     Source Type: Journal    
DOI: 10.1007/s11786-007-0039-x     Document Type: Article

References (55)

1. H. Anai: Algebraic methods for solving real polynomial constraints and their applications in biology. In: Proceedings of the First International Conference on Algebraic Biology (AB 2005) (Tokyo, Japan, November 28-30, 2005), pp. 139-147. Universal Academy Press, Inc., Tokyo (2005).
2. D. Angeli, J. E. Jr. Ferrell, E. D. Sontag: Detection of multistability, bifurcations, and hysteresis in a large class of biological positive-feedback systems. Proc. Nat. Acad. Sci. USA 101: 1822-1827 (2004).
3. P. Aubry, D. Lazard, M. Moreno Maza: On the theories of triangular sets. J. Symb. Comput. 28: 105-124 (1999).
4. P. Aubry, M. Moreno Maza: Triangular sets for solving polynomial systems: A comparative implementation of four methods. J. Symb. Comput. 28: 125-154 (1999).
5. R. Ball, A. D. J. Haymet: Bistability and hysteresis in self-assembling micelle systems: Phenomenology and deterministic dynamics. Phys. Chem. Chem. Phys. 3: 4753-4761 (2001).
6. C. W. Brown, H. Hong: QEPCAD - Quantifier elimination by partial cylindrical algebraic decomposition. http://www.cs.usna.edu/~qepcad/B/QEPCAD. html (2004).
7. F. J. Bruggeman, F. C. Boogerd, J. J. Hornberg, J. Lankelma, O. J.G. Somsen, H. V. Westerhoff: Is the signal transduction network emanating from the EGF receptor bistable in vivo? In: The 9th Meeting of the International Study Group of Bio-ThermoKinetics (BTK), http://www0.sun.ac. za/biochem/btk/. Stellenbosch, South Africa (2000).
8. B. Buchberger: Gröbner bases: An algorithmic method in polynomial ideal theory. In: Multidimensional Systems Theory (N.K. Bose, ed.), pp. 184-232. Reidel, Dordrecht (1985).
9. C. Chen: Algebraic analysis of stability for biological systems and the implemetation of a software pakage (in Chinese). Master thesis, Peking University, China (2006).
10. O. Cinquin, J. Demongeot: Positive and negative feedback: Striking a balance between necessary antagonists. J. Theor. Biol. 216(2): 229-241 (2002).
11. G. E. Collins: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In: Proceedings of the Second GI Conference on Automata Theory and Formal Languages (H. Barkhage, ed.), LNCS 33, pp. 134-183. Springer, Berlin Heidelberg (1975).
12. G. E. Collins, H. Hong: Partial cylindrical algebraic decomposition for quantifier elimination. J. Symb. Comput. 12: 299-328 (1991).
13. M. El Kahoui, A. Weber: Deciding Hopf bifurcations by quantifier elimination in a software-component architecture. J. Symb. Comput. 30: 161-179 (2000).
14. I. Z. Emiris, B. Mourrain: Matrices in elimination theory. J. Symb. Comput. 28: 3-44 (1999).
15. 4). J. Pure Appl. Algebra 139: 61-88 (1999).
16. J.-C. Faugère, P. Gianni, D. Lazard, T. Mora: Efficient computation of zerodimensional Gröbner bases by change of ordering. J. Symb. Comput. 16: 329-344 (1993).
17. H. Hong, R. Liska, S. Steinberg: Testing stability by quantifier elimination. J. Symb. Comput. 24: 161-187 (1997).
18. A. Hurwitz: Über die Bedingungen, unter welchen eine Gleichung nur Wurzeln mit negativen reellen Theilen besitzt. Math. Ann. 46: 273-284 (1895). English translation: On the conditions under which an equation has only roots with negative real part. In: Selected Papers on Mathematical Trends in Control Theory (R. Bellman and R. Kalaba, eds.), pp. 72-82. Dover, New York (1964).
19. M. Kalkbrener: A generalized Euclidean algorithm for computing triangular representations of algebraic varieties. J. Symb. Comput. 15: 143-167 (1993).
20. B. N. Kholodenko: Negative feedback and ultrasensitivity can bring about oscillations in the mitogen-activated protein kinase cascades. Eur. J. Biochem. 267: 1583-1588 (2000).
21. Y. A. Kuznetsov: Elements of Applied Bifurcation Theory (2nd edn.). Springer, New York (1998).
22. P. Lancaster, M. Tismenetsky: The Theory of Matrices: With Applications. Academic Press, London (1985).
23. D. Lazard: A new method for solving algebraic systems of positive dimension. Disc. Appl. Math. 33: 147-160 (1991).
24. D. Lazard: Solving zero-dimensional systems of equations and inequations, depending on parameters. In: ECCAD (East Coast Computer Algebra Day) 2004, http://www.cargo.wlu.ca/eccad2004/. Waterloo, Canada (2004).
25. D. Lazard, F. Rouillier: Solving parametric polynomial systems. Technical Report RR-5322, INRIA, France (2004).
26. A. Liénard, M. H. Chipart: Sur la signe de la partie réelle des racines d'une équation algébrique. J. Math. Pure Appl. 10: 291-346 (1914).
27. N. I. Markevich, J. B. Hoek, B. N. Kholodenko: Signaling switches and bistability arising from multisite phosphorylation in protein kinase cascades. J. Cell Biol. 164: 353-359 (2004).
28. R. K. Miller, A. N. Michel: Ordinary Differential Equations. Academic Press, New York London (1982).
29. G. Moroz, F. Rouillier: DV - A Maple package for solving parametric polynomial systems. http://fgbrs.lip6.fr/Software/DV/ (2005).
30. W. Niu: Application of quantifier elimination and discriminant varieties to stability analysis of biological systems. In: Proceedings of the First International Conference on Mathematical Aspects of Computer an Information Sciences (Beijing, China, July 24-26, 2006) (D. Wang and Z. Zheng, eds.), pp. 243-253. Beihang University, China (2006).
31. B. Novák, J. J. Tyson: Numerical analysis of a comprehensive model of M-phase control in Xenopus oocyte extracts and intact embryos. J. Cell Sci. 106: 1153-1168 (1993).
32. A. V. Pokhilko, F. I. Ataullakhanov: Contact activation of blood coagulation: Trigger properties and hysteresis. J. Theor. Biol. 191: 213-219 (1998).
33. J. R. Pomerening, E. D. Sontag, J. E. Jr. Ferrell: Building a cell cycle oscillator: Hysteresis and bistability in the activation of Cdc2. Nature Cell Biol. 5: 346-351 (2003).
34. F. Rouillier, P. Zimmermann: Efficient isolation of polynomial's real roots. J. Comput. Appl. Math. 162: 33-50 (2004).
35. E. J. Routh: A Treatise on the Stability of a Given State of Motion - Adams Prize Essay. Macmillan, New York (1877).
36. M. Samoilov, S. Plyasunov, A. P. Arkin: Stochastic amplification and signaling in enzymatic futile cycles through noise-induced bistability with oscillations. Proc. Natl. Acad. Sci. USA. 102: 2310-2315 (2005).
37. J. J. Tyson, B. Novák: Regulation of the eukaryotic cell cycle: Molecular antagonism, hysteresis, and irreversible transitions. J. Theor. Biol. 210: 249-263 (2001).
38. T. van Kooten, A. M. de Roos, L. Persson: Bistability and an Allee effect as emergent consequences of stage-specific predation. J. Theor. Biol. 237: 67-74 (2005).
39. D. Wang: Mechanical manipulation for a class of differential systems. J. Symb. Comput. 12: 233-254 (1991).
40. D. Wang: An elimination method for polynomial systems. J. Symb. Comput. 16: 83-114 (1993).
41. D. Wang: Decomposing polynomial systems into simple systems. J. Symb. Comput. 25: 295-314 (1998).
42. D. Wang: Computing triangular systems and regular systems. J. Symb. Comput. 30: 221-236 (2000).
43. D. Wang: Elimination Methods. Springer, Wien New York (2001).
44. D. Wang: Elimination Practice: Software Tools and Applications. Imperial College Press, London (2004).
45. D. Wang: Computational polynomial algebra and its biological applications. In: Proceedings of the First International Conference on Algebraic Biology (AB 2005) (Tokyo, Japan, November 28-30, 2005), pp. 127-137. Universal Academy Press, Inc., Tokyo (2005).
46. D. Wang, B. Xia: Stability analysis of biological systems with real solution classification. In: Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation (ISSAC 2005) (M. Kauers, ed.), pp. 354-361. ACM Press, New York (2005).
47. D. Wang, B. Xia: Algebraic analysis of stability for some biological systems. In: Proceedings of the First International Conference on Algebraic Biology (AB 2005) (Tokyo, Japan, November 28-30, 2005), pp. 75-83. Universal Academy Press, Inc., Tokyo (2005).
48. V. Weispfenning: Quantifier elimination for real algebra - The quadratic case and beyond. Appl. Algebra Eng. Commun. Comput. 8: 85-101 (1997).
49. W.-T. Wu: Mathematics Mechanization. Science Press/Kluwer Academic, Beijing (2000).
50. B. Xia, L. Yang: An algorithm for isolating the real solutions of semi-algebraic systems. J. Symb. Comput. 34: 461-477 (2004).
51. L. Yang, X.-R. Hou, B. Xia: A complete algorithm for automated discovering of a class of inequality-type theorems. Sci. China (Ser. F) 44: 33-49 (2001).
52. L. Yang, B. Xia: Real solution classifications of parametric semi-algebraic systems. In: Algorithmic Algebra and Logic - Proceedings of the A3L 2005 (A. Dolzmann, A. Seidl, and T. Sturm, eds.), pp. 281-289. Herstellung und Verlag, Norderstedt (2005).
53. L. Yang, J.-Z. Zhang, X.-R. Hou: A criterion of dependency between algebraic equations and its applications. In: Proceedings of the International Workshop on Mathematics Mechanization (W.-T. Wu and M.-D. Cheng, eds.), pp. 110-134. International Academic Publishers, Beijing (1992).
54. Z. Zhang, T. Ding, W. Huang, Z. Dong: Qualitative Theory of Differential Equations. American Mathematical Society, Providence, RI (1992).
55. J. W. Zwolak, J. J. Tyson, L. T. Watson: Finding all steady state solutions of chemical kinetic models. Nonlinear Analysis: Real World Applications 5: 801-814 (2004).