Stability analysis of biological systems with real solution classification

Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Volumn 2005, Issue , 2005, Pages 354-361

  Wang, Dongming ^a,b   Xia, Bican ^c  

^a BEIHANG UNIVERSITY   (China)

^b UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

^c PEKING UNIVERSITY   (China)

Author keywords

Biological network; Cdc2 cyclin B Wee1; Differential equations; Equilibrium; Mos MEK p42 MAPK cascade; Polynomial system; Real root; Solution classification; Stability

Indexed keywords

CELLS; CLASSIFICATION (OF INFORMATION); COMPUTATION THEORY; DIFFERENTIAL EQUATIONS; PROBLEM SOLVING; PROTEINS; REAL TIME SYSTEMS;

BIOLOGICAL NETWORK; CDC2-CYCLIN B/WEE1; MOS/MEK/P42 MAPK CASCADE; POLYNOMIAL SYSTEM; REAL ROOT; SOLUTION CLASSIFICATION;

ASYMPTOTIC STABILITY;

EID: 33749545359     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1073884.1073933     Document Type: Conference Paper

References (23)

1. Angeli, D., Ferrell, J.E, Jr., Sontag, E.D.: Detection of multistability, bifurcations, and hysteresis in a large class of biological positive-feedback systems. Proc. Nat. Acad. Sci. USA 101: 1822-1827 (2004).
2. Aubry, P., Rouillier, F., Safey El Din, M.: Real solving for positive dimensional systems. J. Symb. Comput. 34: 543-560 (2002).
3. Buchberger, B.: Gröbner bases: An algorithmic method in polynomial ideal theory. In: Multidimensional Systems Theory (N. K. Bose, ed.), pp. 184-232. Reidel, Dordrecht (1985).
4. Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In: Lecture Notes in Computer Science 33, pp. 134-165. Springer-Verlag, Berlin Heidelberg (1975).
5. Collins, G.E., Hong, H.: Partial cylindrical algebraic decomposition for quantifier elimination. J. Symb. Comput. 12: 299-328 (1991).
6. Ferrell, J.E. Jr., Machleder, E. M.: The biochemical basis of an all-or-none cell fate switch in Xenopus oocytes. Science 280: 895-898 (1998).
7. Kalkbrener, M.: A generalised Euclidean algorithm for computing triangular representations of algebraic varieties. J. Symb. Comput. 15: 143-167 (1993).
8. Lazard, D.: A new method for solving algebraic systems of positive dimension. Discrete Appl. Math. 33: 147-160 (1991).
9. Lazard, D., Rouillier, F.: Solving parametric polynomial systems. Technical Report RR-5322, INRIA, France (2004).
10. Miller, R.K., Michel, A.N.: Ordinary Differential Equations, Academic Press, New York London (1982).
11. Novák, B., Tyson, J. J.: Numerical analysis of a comprehensive model of M-phase control in Xenopus oocyte extracts and intact embryos. J. Cell Sci. 106: 1153-1168 (1993).
12. Pomerening, J.R., Soutag, E.D., Ferrell, J.E. Jr.: Building a cell cycle oscillator: Hysteresis and bistability in the activation of Cdc2, Nature Cell Biol. 5: 346-351 (2003).
13. Wang, D,: An elimination method for polynomial systems. J. Symb. Comput. 16: 83-114 (1993).
14. Wang, D.: Computing triangular systems and regular systems. J. Symb. Comput. 30: 221-236 (2000).
15. Wang, D.: Elimination Practice: Software Tools and Applications. Imperial College Press, London (2004).
16. Weispfenning, V.: Quantifier elimination for real algebra - The quadratic case and beyond. Appl. Algebra Eng. Commun. Comput. 8: 85-101 (1997).
17. Wu, W.-t.: On zeros of algebraic equations - An application of Ritt principle. Kexue Tongbao 31: 1-5 (1986).
18. Xia, B., Yang, L.: An algorithm for isolating the real solutions of semi-algebraic systems. J. Symb. Comput. 34: 461-477 (2002).
19. Yang, L.: Recent advances on determining the number of real roots of parametric polynomials. J. Symb. Comput. 28: 225-242 (1999).
20. Yang, L., Hou, X.-R., Xia, B.: A complete algorithm for automated discovering of a class of inequality-type theorems. Sci. China (Ser. F) 44: 33-49 (2001).
21. Yang, L., Xia, B.: Real solution classifications of parametric serni-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).
22. Yang, L., Zhang, J.-Z., Hou, X.-R.: 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).
23. Zhang, Z.-F., Ding, T.-R., Huang, W.-Z., Dong, Z.-X.: Qualitative Theory of Differential Equations. American Mathematical Society, Providence (1992). [Translated from the Chinese by A. W. K. Leung].