Analysis of all time-delay stability for biological systems using symbolic computation methods

All time-delay stability for biological systems shows that the time-delay system possess good reliability, so this issue has always been the highlight of the scholars research. However, researchers usually adopt the traditional mathematical methods or numerical calculation methods. Based on Hurwitz criterion and polynomial complete discriminant system, a sufficient and necessary algebraic criterion of all time-delay stability for nonlinear biological systems with parameters was introduced. By using symbolic computation methods, such as the methods of Gröbner basis, triangular decomposition and real solution classification, a systematic and algorithmic approach for automatically analyzing all time-delay stability of biological systems with parameters was proposed. All the computations in our approach are all exact, which may help biologists and engineers to perform algebraic analysis for certain biological models. The successful experiments on the all time-delay stability analysis of several biological models, such as time delayed Lotka-Volterra systems and SIR epidemic models with time delay, showed the feasibility of our algebraic approach and also the superiority of symbolic computation methods compared with traditional mathematic methods.