Overshoot suppression control based on final tracking error estimation and quantifier elimination.

Yoshio Tange Satoshi Kiryu Tetsuro Matsui

Published in: ASCC (2015)

Keyphrases

error estimation
quantifier elimination
control strategy
model selection
control system
error estimates
presburger arithmetic
closed loop
constraint propagation
functional programming
generalization error
constraint databases
first order logic
upper bound
control method
general purpose
databases