Deciding Hopf bifurcations by quantifier elimination in a software-component architecture

DOI10.1006/jsco.1999.0353zbMath0965.65137OpenAlexW2119763521WikidataQ29012983 ScholiaQ29012983MaRDI QIDQ1582300

Andreas Weber, M'hammed El Kahoui

Publication date: 6 February 2001

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jsco.1999.0353

zbMATH Keywords

Hopf bifurcationquantifier eliminationsymbolic methodssymmetry methodsGroebner basis methodsHurwitz determinants criterionJava-based software architectureODEs with polynomial vector fields

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computational methods for bifurcation problems in dynamical systems (37M20) Numerical bifurcation problems (65P30)

Related Items

Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates ⋮ Detection of Hopf bifurcations in chemical reaction networks using convex coordinates ⋮ Stability analysis for discrete biological models using algebraic methods ⋮ Hopf Bifurcations of Reaction Networks with Zero-One Stoichiometric Coefficients ⋮ Better answers to real questions ⋮ Hopf bifurcations on invariant manifolds of a modified FitzHugh-Nagumo model ⋮ A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications ⋮ Discovering polynomial Lyapunov functions for continuous dynamical systems ⋮ Subresultants and locally nilpotent derivations. ⋮ Analysis of Snapback Repellers Using Methods of Symbolic Computation ⋮ Birational properties of the gap subresultant varieties ⋮ Algorithmic methods for investigating equilibria in epidemic modeling ⋮ Analysis of codimension 2 bifurcations for high-dimensional discrete systems using symbolic computation methods ⋮ Algorithmic global criteria for excluding oscillations ⋮ Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk) ⋮ Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems ⋮ Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology ⋮ On the existence of Hopf bifurcations in the sequential and distributive double phosphorylation cycle ⋮ Exploiting variable sparsity in computing equilibria of biological dynamical systems by triangular decomposition ⋮ Symbolic computation for the qualitative theory of differential equations

Uses Software

• QEPCAD
• SYMMGRP
• REDLOG

Cites Work

• Quantifier elimination for real algebra -- the quadratic case and beyond
• Formal solutions of differential equations
• Perturbation methods, bifurcation theory and computer algebra
• Partial cylindrical algebraic decomposition for quantifier elimination
• Galois groups of second and third order linear differential equations
• Nonlinear control system design by quantifier elimination
• Testing stability by quantifier elimination
• Epidemiological models with varying population size and dose-dependent latent period
• Deterministic Nonperiodic Flow
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item