Implementation of the reachability algorithm for the class of polynomial ODEs with uncertain initial states (see Xue et al. [XFZ18]). This method consists of reducing the Hamilton-Jacobi-Bellman equation to a hierarchy of semidefinite programs that are solved using an SDP solver.

Algorithm

We refer to Xue et al. [XFZ18] for technical details.