Quantifier Elimination and Application in Control
1996 (English)Report (Other academic)
Quantifier elimination is a method for simplifying formulas that consist of polynomial equations, inequalities, and quantifiers. We give a brief introduction to this method and apply it to two problems in control theory.
Place, publisher, year, edition, pages
Linköping: Linköping University Electronic Press, 1996. , 6 p.
LiTH-ISY-R, ISSN 1400-3902 ; 1842
Elimination, Polynomial equations, Inequalities, Quantifiers
IdentifiersURN: urn:nbn:se:liu:diva-55308ISRN: LiTH-ISY-R-1842OAI: oai:DiVA.org:liu-55308DiVA: diva2:316076