1998 IMACS Conference on Applications of Computer Algebra

Special Session:
Control Theory

Session Organizers:

Peter Dorato, , University of New Mexico, Albuquerque, U.S.A.
Chaouki Abdallah, , University of New Mexico, Albuquerque, U.S.A.

This session will focus on the application of quantifier elimination (QE) software to the design of feedback control systems.

The first paper (Dorato) presents an overview of what has been done in applying QE methods to feedback design, and an overview of the results to be presented at the session. The second paper (Anai) explores the application of QE methods for the solution of linear matrix inequalities (LMI) and bilinear matrix inequalities (BMI). Many control problems can be reduced LMI and BMI problems. The third paper (Jirstrand and Nesi'c) discuss the application of QEPCAD software for the stabilization of continuous-time polynomial systems. The fourth paper (Abdallah) explores the combination of probablistic and QE methods for the design of fixed-struture controllers for nonlinear systems.

List of talks

  1. Applications of Quantifier Elimination Software to Control System Design: An Overview, Peter Dorato, University of New Mexico, U.S.A. E-mail:
  2. Solving LMI and BMI Problems by Quantifier Elinination Elimination, Hirokazu Anai, Fujitsu Laboratories Ltd, Japan. E-mail:
  3. Application of QEPCAD Software to Stabilization of Continuous-Time Polynomial Systems, Mats Jirstrand, Linoping University, Sweden, and Dragan Nesi'c, CESAME, Belgium. E-mail:
  4. Application of Mixed QE/Probabilistic Methods for Nonlinear Feedback Design, Chaouki T. Abdallah, University of New Mexico, U.S.A. E-mail:

IMACS ACA'98 Electronic Proceedings