1: \begin{abstract}

2: 

3: We consider the problem of approximating the reachable set of a discrete-time polynomial system from a semialgebraic set of initial conditions under general semialgebraic set constraints. 

4: Assuming inclusion in a given simple set like a box or an ellipsoid, we provide a method to compute certified outer approximations of the reachable set. 

5: 

6: The proposed method consists of building a hierarchy of relaxations for an infinite-dimensional moment problem. 

7: Under certain assumptions, the optimal value of this problem is the volume of the reachable set and the optimum solution is the restriction of the Lebesgue measure on this set. 

8: Then, one can outer approximate the reachable set as closely as desired with a hierarchy of super level sets of increasing degree polynomials. 

9: For each fixed degree, finding the coefficients of the polynomial 

10: boils down to computing the optimal solution of a convex semidefinite program. 

11: When the degree of the polynomial approximation tends to infinity, we provide strong convergence guarantees of the super level sets to the reachable set.

12: We also present some application examples together with numerical results.

13: \end{abstract}

14: