Some Applications of Quantifier Elimination in Nonlinear Control Theory
Date: July 19th (Friday)
Time: 15:50-16:10
Abstract
Many problems in control theory can be formulated as formulas in the first order
theory of real closed fields. In this talk 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
treated problems regards stationarity, stability, and tracking of a polynomially
parameterized curve. The software package QEPCAD has been used to perform quantifier
elimination in a number of examples.
