LoboVault Home

Applications of Quantifier Elimination Theory to Control Theory

LoboVault

Please use this identifier to cite or link to this item: http://hdl.handle.net/1928/95

Applications of Quantifier Elimination Theory to Control Theory

Show full item record

Title: Applications of Quantifier Elimination Theory to Control Theory
Author: Abdallah, C.T.; Dorato, P.; Liska, R.; Steinberg, S.; Yang, W.
Subject: Quantifier Elimination
output stabilization
simultaneous stabilization
robust multiobjective
Abstract: In this paper we show how a number of interesting linear control system analysis and design problems can be reduced to Quantifier Elimination (QE) problems. We assume a fixed structure for the compensator, with design parameters qi. The problems considered are problems that currently have no general solution, e.g. the output stabilization problem, the simultaneous stabilization problem, the robust multiobjective problem, etc. However, the problems must be of modest complexity if existing QE software packages are to produce answers. The software package QEPCAD is used to solve some numerical design examples.
Date: 1995-09-14
Series: EECE-TR-95-007
Description: Technical Report
URI: http://hdl.handle.net/1928/95


Files in this item

Files Size Format View
TR_EECE95_007.pdf 256.5Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record

UNM Libraries

Search LoboVault


Browse

My Account