Stability analysis of biological systems with real solution classification

DOI10.1145/1073884.1073933zbMath1360.92048MaRDI QIDQ5262785

Dongming Wang, Bican Xia

Publication date: 16 July 2015

Published in: Proceedings of the 2005 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1073884.1073933

zbMATH Keywords

stability; equilibrium; differential equations; polynomial system; real root; biological network; solution classification; Cdc2-cyclin B/Wee1; Mos/MEK/p42 MAPK cascade

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

92C40: Biochemistry, molecular biology

34D20: Stability of solutions to ordinary differential equations

92C42: Systems biology, networks

Related Items

An algebraic method to calculate parameter regions for constrained steady-state distribution in stochastic reaction networks, Using Symbolic Computation to Analyze Zero-Hopf Bifurcations of Polynomial Differential Systems, Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically, Stability analysis for discrete biological models using algebraic methods, Model reduction of chemical reaction systems using elimination, Bounding the number of limit cycles for a polynomial Liénard system by using regular chains, A semi-algebraic approach for asymptotic stability analysis, Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems, Symbolic analysis of multiple steady states in a MAPK chemical reaction network, Exploiting variable sparsity in computing equilibria of biological dynamical systems by triangular decomposition, Symbolic computation for the qualitative theory of differential equations, Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition, Algebraic analysis of stability and bifurcation of a self-assembling micelle system, Identifying the parametric occurrence of multiple steady states for some biological networks, Special algorithm for stability analysis of multistable biological regulatory systems, Discovering polynomial Lyapunov functions for continuous dynamical systems, Real solution isolation using interval arithmetic, Bounding the number of limit cycles for parametric Liénard systems using symbolic computation methods, A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications, Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems, The Smallest Multistationary Mass-Preserving Chemical Reaction Network