\begin{center}
\LARGE
Some Applications of Quantifier Elimination in Nonlinear
                        Control Theory

\end{center}

\begin{center}
\Large
Mats Jirstrand

\end{center}

\noindent
Date: July 19th (Friday)\\
Time:  15:50-16:10\\

\begin{center}
\large
Abstract
\end{center}

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. 

