Fixed-structure robust controller synthesis based on sign definite condition by a special quantifier elimination.

Hirokazu Anai Shinji Hara

Published in: ACC (2000)

Keyphrases

quantifier elimination
constraint propagation
real time
controller synthesis
presburger arithmetic
machine learning
artificial intelligence
search space
sufficient conditions