Verification of model predictive control laws using weispfenning's quantifier elimination by virtual substitution algorithm. - K. Siaulys; Jan M. Maciejowski (CDC, 2016)

A longitudinal flight control law to accommodate sensor loss in the RECONFIGURE benchmark. - Jan M. Maciejowski; Edward N. Hartley; K. Siaulys (Annu. Rev. Control., 2016)