𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Nonlinear Control System Design by Quantifier Elimination

✍ Scribed by MATS JIRSTRAND

Publisher
Elsevier Science
Year
1997
Tongue
English
Weight
429 KB
Volume
24
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.

✦ Synopsis

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 and system variables and show how to formulate questions in the above framework which can be answered by quantifier elimination. The problems treated in this paper regard stationarity, stability, and following of a polynomially parametrized curve. The software package QEPCAD has been used to solve a number of examples.

πŸ“œ SIMILAR VOLUMES

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

Reliable nonlinear control system design
Reliable nonlinear control system design using duplicated control elements
✍ Yuqiong Liu; Jianliang Wang; Guang-Hong Yang; C. B. Soh πŸ“‚ Article πŸ“… 1997 πŸ› John Wiley and Sons 🌐 English βš– 223 KB πŸ‘ 1 views

Reliable ΒΈ gain bounding (i.e., H ) controllers for nonlinear systems are designed by using redundant control elements. One sensor and one actuator are duplicated, and the resulting closed-loop system is reliable with respect to both the single contingency case and the primary contingency case. The