Eigenvalue Placement by Quantifier Elimination - the Static Output Feedback Problem.

Klaus Röbenack Rick Voßwinkel

Published in: Acta Cybern. (2020)

Keyphrases

quantifier elimination
constraint propagation
functional programming
presburger arithmetic
first order logic
cardinality constraints
constraint databases
constraint query languages
knowledge representation
video sequences