Efficient space-time discretizations for tracking the boundaries of reachable sets

The reachable sets of nonlinear control systems can in general only be numerically approximated, and are often very expensive to calculate. In this paper, we propose an algorithm that tracks only the boundaries of the reachable sets and that chooses the temporal and spatial discretizations in a non-uniform way to reduce the computational complexity.