𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Voting by Eliminating Quantifiers

✍ Scribed by Dov M. Gabbay; Andrzej Szałas

Publisher
Springer Netherlands
Year
2009
Tongue
English
Weight
232 KB
Volume
92
Category
Article
ISSN
0039-3215

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