On the Eigenvalue Placement by Static Output Feedback Via Quantifier Elimination.

Klaus Röbenack Rick Voßwinkel Matthias Franke

Published in: MED (2018)

Keyphrases

quantifier elimination
constraint propagation
presburger arithmetic
functional programming
constraint databases
cardinality constraints
first order logic
programming language
constraint query languages
databases