Solving stability problems using quantifier elimination

被引：0
|
作者：
Liska, R
Steinberg, S
机构：
来源：
STABILITY THEORY: HURWITZ CENTENARY CONFERENCE, CENTRO STEFANO FRANSCINI, ASCONA, 1995 | 1996年 / 121卷
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
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.
引用
收藏
页码：205 / 210
页数：4
相关论文
共 50 条
  • [1] Solving geometric problems with real quantifier elimination
    Dolzmann, A
    [J]. AUTOMATED DEDUCTION IN GEOMETRY, PROCEEDINGS, 1999, 1669 : 14 - 29
  • [2] On solving semidefinite programming by quantifier elimination
    Anai, H
    [J]. PROCEEDINGS OF THE 1998 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 1998, : 2814 - 2818
  • [3] Solving DQBF Through Quantifier Elimination
    Gitina, Karina
    Wimmer, Ralf
    Reimer, Sven
    Sauer, Matthias
    Scholl, Christoph
    Becker, Bernd
    [J]. 2015 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2015, : 1617 - 1622
  • [4] Quantifier elimination for statistical problems
    Geiger, D
    Meek, C
    [J]. UNCERTAINTY IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1999, : 226 - 235
  • [5] Testing stability by quantifier elimination
    Hong, H
    Liska, R
    Steinberg, S
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1997, 24 (02) : 161 - 187
  • [6] Stability analysis by quantifier elimination
    Steinberg, S
    Liska, R
    [J]. MATHEMATICS AND COMPUTERS IN SIMULATION, 1996, 42 (4-6) : 629 - 638
  • [7] Application of quantifier elimination to inverse buckling problems
    Ioakimidis, Nikolaos I.
    [J]. ACTA MECHANICA, 2017, 228 (10) : 3709 - 3724
  • [8] Application of quantifier elimination to inverse buckling problems
    Nikolaos I. Ioakimidis
    [J]. Acta Mechanica, 2017, 228 : 3709 - 3724
  • [9] Solution of control engineering problems by means of quantifier elimination
    Roebenack, Klaus
    Vosswinkel, Rick
    [J]. AT-AUTOMATISIERUNGSTECHNIK, 2019, 67 (09) : 714 - 726
  • [10] The energy method in problems of buckling of bars with quantifier elimination
    Ioakimidis, Nikolaos I.
    [J]. STRUCTURES, 2018, 13 : 47 - 65
12345