Robust boundary tracking for reachable sets of nonlinear differential inclusions

摘要

The Euler scheme is, to date, the most important numerical method for ordinary differential inclusions because the use of the available higher-order methods is prohibited by their enormous complexity after spatial discretization. Therefore, it makes sense to reassess the Euler scheme and optimize its performance. In the present paper, a considerable reduction of the computational cost is achieved by setting up a numerical method that computes the boundaries instead of the complete reachable sets of the fully discretized Euler scheme from lower-dimensional data only. Rigorous proofs for the propriety of this method are given, and numerical examples illustrate the gain of computational efficiency as well as the robustness of the scheme against changes in the topology of the reachable sets.