✦ LIBER ✦

Non-effective Quantifier Elimination

✍ Scribed by Mihai Prunescu

Publisher: John Wiley and Sons
Year: 2001
Tongue: English
Weight: 126 KB
Volume: 47
Category: Article
ISSN: 0044-3050
DOI: 10.1002/1521-3870(200111)47:4<557::aid-malq557>3.0.co;2-o

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Consequences of neocompact quantifier el

Consequences of neocompact quantifier elimination

✍ Stefano Baratella; Siu-Ah Ng 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 229 KB

## Abstract We provide some consequences of a Quantifier Elimination Property and related properties previously introduced (see [4]) in the setting of Banach space structures. We further consider some applications of quantifierfree definability, such as strict convexity via the definability of cert

Canonical Finite Diagrams and Quantifier

Canonical Finite Diagrams and Quantifier Elimination

✍ Tapani Hyttinen 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 290 KB

Elimination of Cardinality Quantifiers

✍ H. P. Tuschik 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 441 KB

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

Robust nonlinear feedback design via qua

Robust nonlinear feedback design via quantifier elimination theory

✍ Peter Dorato; Domenico Famularo; Chaouki T. Abdallah; Wey Yang 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 82 KB

In this note symbolic-computation methods are used to design simple, "xed-structure, robust controllers for nonlinear systems. Design speci"cations are reduced to logically quanti"ed polynomial inequalities. The quanti"er-elimination (QE) software package QEPCAD is used to eliminate quanti"ers on st

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