Towards optimal space-time discretization for reachable sets of nonlinear control systems

Reachable sets of nonlinear control systems can in general only be approximated numerically, and these approximations are typically very expensive to compute. In this paper, we explore a strategy for choosing the temporal and spatial discretizations of Euler’s method for reachable set computation in a non-uniform way to improve the performance of the method.