ACA'98
1998 IMACS Conference on Applications of Computer Algebra
Special Session:
Control Theory
Session Organizers:
Peter Dorato,
peter@eece.unm.edu ,
University of New Mexico, Albuquerque, U.S.A.
Chaouki Abdallah,
chaouki@eece.unm.edu ,
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
-
Applications of Quantifier Elimination Software to
Control System Design: An Overview,
Peter Dorato, University of New Mexico,
U.S.A.
E-mail: peter@eece.unm.edu
-
Solving LMI and BMI Problems by Quantifier Elinination Elimination,
Hirokazu Anai, Fujitsu Laboratories Ltd, Japan.
E-mail: anai@flab.fujitsu.co.jp
-
Application of QEPCAD Software to Stabilization of Continuous-Time
Polynomial Systems,
Mats Jirstrand, Linoping University, Sweden,
and Dragan Nesi'c, CESAME, Belgium.
E-mail: mats@isy.liu.se
-
Application of Mixed QE/Probabilistic Methods for Nonlinear Feedback
Design,
Chaouki T. Abdallah, University of New Mexico, U.S.A.
E-mail: chaouki@eece.unm.edu
IMACS ACA'98 Electronic Proceedings