Solving Stability Problems Using Quantifier Elimination
Stability problems for initial-value problems for partial differential equations and their discretizations can be written as quantifier elimination problems. Such problems can be solved by general quantifier elimination algorithms. However, if is far more efficient to use the Routh-Hurwitz or related criteria to eliminate one of the quantified variables before the general algorithms are applied.
Unable to display preview. Download preview PDF.
- C. Abdallah, P. Dorato, R. Liska, S. Steinberg, and W. Yang, Applications of Quantifier Elimination to Problems in Control Theory, Submitted to IFAC Congress, 1996.Google Scholar
- H.-O. Kreiss and J. Lorenz, Initial-Boundary Value Problems and the Navier-Stokes Equations Academic Press, Boston, 1989.Google Scholar
- R. Liska and S. Steinberg, Using Quantifier Elimination to Test Stability submitted to the special issue of Journal of Symbolic Computation on Quantifier Elimination and its Applications.Google Scholar
- J.C. Strikwerda, Finite Difference Schemes and Partial Differential Equations, Wadsworth, Inc., Belmont, 1989.Google Scholar