Login / Signup
Verification of model predictive control laws using weispfenning's quantifier elimination by virtual substitution algorithm.
K. Siaulys
Jan M. Maciejowski
Published in:
CDC (2016)
Keyphrases
</>
mathematical model
objective function
dynamic programming
np hard
energy function
learning algorithm
optimization algorithm
machine learning
knowledge representation
linear programming
experimental data
linear model
real time
optimal solution
path planning