Robuta

https://pureportal.strath.ac.uk/en/publications/reachability-and-optimal-control-for-linear-hybrid-automata-a-qua/ Reachability and optimal control for linear hybrid automata: a quantifier elimination approach -... optimal control hybrid automata quantifier elimination reachability linear