✦ LIBER ✦

Stability analysis by quantifier elimination

✍ Scribed by Stanly Steinberg; Richard Liska

Book ID: 108453705
Publisher: Elsevier Science
Year: 1996
Tongue: English
Weight: 748 KB
Volume: 42
Category: Article
ISSN: 0378-4754
DOI: 10.1016/s0378-4754(96)00039-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Testing Stability by Quantifier Eliminat

Testing Stability by Quantifier Elimination

✍ HOON HONG; RICHARD LISKA; STANLY STEINBERG 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 555 KB

For initial and initial-boundary value problems described by differential equations, stability requires the solutions to behave well for large times. For linear constant-coefficient problems, Fourier and Laplace transforms are used to convert stability problems to questions about roots of polynomial

Simulation and Optimization by Quantifie

Simulation and Optimization by Quantifier Elimination

✍ VOLKER WEISPFENNING 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 508 KB

We present a highly optimized method for the elimination of linear variables from a Boolean combination of polynomial equations and inequalities. In contrast to the basic method described earlier, the practical applicability of the present method goes far beyond academic examples. The optimization i

Nonlinear Control System Design by Quant

Nonlinear Control System Design by Quantifier Elimination

✍ MATS JIRSTRAND 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 429 KB

Many problems in control theory can be formulated as formulae in the first-order theory of real closed fields. In this paper we investigate some of the expressive power of this theory. We consider dynamical systems described by polynomial differential equations subjected to constraints on control an

Voting by Eliminating Quantifiers

✍ Dov M. Gabbay; Andrzej Szałas 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 232 KB

Robust Multi-Objective Feedback Design b

Robust Multi-Objective Feedback Design by Quantifier Elimination

✍ PETER DORATO; WEI YANG; CHAOUKI ABDALLAH 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 293 KB

This paper shows how certain robust multi-objective feedback design problems can be reduced to quantifier elimination (QE) problems. In particular it is shown how robust stabilization and robust frequency domain performance specifications can be reduced to systems of polynomial inequalities with sui

Quantifier Elimination for Trigonometric

Quantifier Elimination for Trigonometric Polynomials by Cylindrical Trigonometric Decomposition

✍ Petru Pau; Josef Schicho 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 320 KB

Given a formula Φ in r variables, some of them quantified and/or occurring as arguments in trigonometric functions, we consider in this paper the problem of finding a quantifierfree formula equivalent to Φ. We present an algorithm that first computes a decomposition of the space so that the polynom