1: \begin{abstract}

2: In a previous work we developed a convex infinite dimensional linear programming (LP) approach

3: to approximating the region of attraction (ROA) of polynomial dynamical systems subject to compact

4: basic semialgebraic state constraints. Finite dimensional relaxations to the infinite-dimensional LP

5: lead to a truncated moment problem in the primal and a polynomial sum-of-squares problem in the dual.

6: This primal-dual linear matrix inequality (LMI) problem can be solved numerically with standard

7: semidefinite programming solvers, producing a hierarchy of outer (i.e. exterior) approximations

8: of the ROA by polynomial sublevel sets, with a guarantee of almost uniform and set-wise convergence.

9: In this companion paper, we show that our approach is flexible enough to be modified so as to generate

10: a hierarchy of polynomial inner (i.e.\,interior) approximations of the ROA with similar convergence

11: guarantees.

12: \end{abstract}

13: