1: \begin{abstract}

2: This paper presents a method for calculating \mbox{Region of Attraction} of a target set (not necessarily an equilibrium)

3: % This paper extends existing framework for calculating Region of Attraction of a target set (not necessarily an equilibrium)

4:  for controlled polynomial dynamical systems, using a hierarchy of semidefinite programming problems (SDPs).

5:  Our approach builds on previous work and addresses its main issue, the fast-growing memory demands for solving large-scale SDPs.

6: 

7: 

8: The main idea in this work is in dissecting the original 

9: resource-demanding problem into multiple smaller, interconnected, and easier to solve problems.

10:  This is achieved by spatio-temporal splitting akin to methods based on partial differential equations.

11: We show that the splitting procedure retains the convergence and outer-approximation guarantees of the previous work, while  achieving higher precision in less time and with smaller memory footprint.

12: 

13: \end{abstract}

14: