next up previous
Next: About this document ...

Applications of Quantifier Elimination Software to Control System Design: An Overview

Peter Dorato
Department of Electrical and Computer Engineering
University of New Mexico
Albuquerque, NM 87131-1356, USA

In this paper we present an overview of applications of QEPCAD software to various control system design problems, including applications to: In addition papers presented in this session on control system design via symbolic quantifier elimination will be summarized.


IMACS ACA'98 Electronic Proceedings