Reachability and optimal control for linear hybrid automata: a quantifier elimination approach

Y. Pang, M. P. Spathopoulos, Hao Xia. Reachability and optimal control for linear hybrid automata: a quantifier elimination approach. Int. J. Control, 80(5):731-748, 2007. [doi]

Abstract

Abstract is missing.