Inner-Approximating Reachable Sets for Polynomial Systems with Time-Varying Uncertainties

Bai Xue, Martin Fränzle, Naijun Zhan

In this paper we propose a convex programming based method to address a long-standing problem of inner-approximating backward reachable sets of state-constrained polynomial systems…