## Title data

Baier, Robert:

**Set-valued Euler's method with interpolated distance functions and optimal control solvers.**

*In:*
Proceedings on the 20th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2012). -
Melbourne, Australia
: Think Business Events
,
2012

ISBN 978-0-646-58062-3

## Abstract in another language

For a given nonlinear control system resp. a differential inclusion, the reachable set at a given end time collects the end points of all admissible solutions. There are various applications, e.g. in collision avoidance in safety systems, climate research, motion planning or population models.

Besides level-set methods and solutions to the Hamilton-Jacobi-Bellman partial differential equation, set-valued Runge-Kutta methods such as Euler's method are studied for approximating reachable sets. To be able to guarantee the overall order of convergence 1 for Euler's method with respect to step-size, each set iterate of Euler's method must be discretized up to an error <em>O(h<sup>2</sup>)</em>. To reduce the computational complexity and high memory consumption, distance functions are used.

The set operations applied in Euler's method can be easily expressed via distance functions. To avoid the state-space discretization of order <em>O(h<sup>2</sup>)</em>, the spatial piecewise linear interpolation of the distance function based on its values on a coarse state-space grid with distance <em>O(h)</em> is evaluated for intermediate grid points on a fine grid with distance <em>O(h<sup>2</sup>)</em>. First numerical tests still indicate order of convergence 1 and a considerable speedup.

A second approach formulates an appropriate optimal control problem in which the distance function from an arbitrary grid point to the reachable set appears in the optimal value. Discretization via Euler's method and varying the grid point leads to discrete reachable sets avoiding completely the state-space discretization of <em>O(h<sup>2</sup>)</em>. Numerical test examples indicate good performance even for higher state-space dimension and lower-dimensional projections of the reachable set.