@inproceedings{9c561b3841f749e18b8190d09ec6a2f3,
title = "Stability analysis of biological systems with real solution classification",
abstract = "This paper presents a new and general approach for analyzing the stability of a large class of biological networks, modeled as autonomous systems of differential equations, using real solving and solution classification. The proposed approach, based on the classical technique of linearization from the qualitative theory of ordinary differential equations yet with exact symbolic computation, is applied to analyzing the local stability of the Cdc2-cyclin B/Wee1 system and the Mos/MEK/p42 MAPK cascade, two well-known models for cell and protein signaling that have been studied extensively in the literature. We provide rigorous proofs and generalizations for some of the previous results established experimentally and report our new findings.",
keywords = "Biological network, Cdc2-cyclin B/Wee1, Differential equations, Equilibrium, Mos/MEK/p42 MAPK cascade, Polynomial system, Real root, Solution classification, Stability",
author = "Dongming Wang and Bican Xia",
year = "2005",
doi = "10.1145/1073884.1073933",
language = "英语",
isbn = "1595930957",
series = "Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC",
publisher = "Association for Computing Machinery (ACM)",
pages = "354--361",
booktitle = "ISSAC'05 - Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation",
note = "ISSAC'05 - 2005 International Symposium on Symbolic and Algebraic Computation ; Conference date: 24-07-2005 Through 27-07-2005",
}