1: \begin{abstract}
2: %Recent results in the study of the Hamilton Jacobi Bellman (HJB) equation have
3: %led to the discovery of a formulation of the value function as a linear
4: %Partial Differential Equation (PDE), given several assumptions.
5: This work proposes a method for solving linear stochastic optimal
6: control (SOC) problems using sum of squares and semidefinite programming.
7: Previous work had used polynomial optimization to approximate the value
8: function, requiring a high polynomial degree to capture local phenomena. To
9: improve the scalability of the method to problems of interest, a domain
10: decomposition scheme is presented. By using local approximations, lower degree
11: polynomials become sufficient, and both local and global properties of the
12: value function are captured. The domain of the problem is split into a
13: non-overlapping partition, with added constraints ensuring $C^1$ continuity.
14: The Alternating Direction Method of Multipliers (ADMM) is used to optimize over
15: each domain in parallel and ensure convergence on the boundaries of the
16: partitions. This results in improved conditioning of the problem and allows for
17: much larger and more complex problems to be addressed with improved
18: performance.
19: \end{abstract}
20: