Verification of model predictive control laws using weispfenning's quantifier elimination by virtual substitution algorithm
2020 ◽
Vol 50
(9)
◽
pp. 3866-3878
◽
Keyword(s):
2015 ◽
Vol 2015
◽
pp. 1-8
◽
Keyword(s):
Keyword(s):