Abstract | ||
---|---|---|
This paper is concerned with stability analysis of biological networks modeled as discrete and finite dynamical systems. We show how to use algebraic methods based on quantifier elimination, real solution classification and discriminant varieties to detect steady states and to analyze their stability and bifurcations for discrete dynamical systems. For finite dynamical systems, methods based on Gröbner bases and triangular sets are applied to detect steady states. The feasibility of our approach is demonstrated by the analysis of stability and bifurcations of several discrete biological models using implementations of algebraic methods. © 2011 Springer Basel AG. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1007/s11786-011-0096-z | Mathematics in Computer Science |
Keywords | Field | DocType |
algebraic method,bifurcation,discrete dynamical system,finite dynamical system,stability,symbolic computation | Quantifier elimination,Linear dynamical system,Discrete mathematics,Combinatorics,Algebraic number,Biological network,Discriminant,Symbolic computation,Dynamical systems theory,Mathematics,Discrete system | Journal |
Volume | Issue | ISSN |
5 | 3 | 16618289 |
Citations | PageRank | References |
3 | 0.46 | 27 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Xiaoliang Li | 1 | 28 | 7.12 |
Chenqi Mou | 2 | 38 | 5.55 |
Wei Niu | 3 | 3 | 0.46 |
Dongming Wang | 4 | 458 | 55.77 |