Skip to Main content Skip to Navigation
Conference papers

Set-valued Euler's method with interpolated distance functions and optimal control solvers, extended abstract

Abstract : 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 O(h^2). 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 O(h^2), the spatial piecewise linear interpolation of the distance function based on its values on a coarse state-space grid with distance O(h) is evaluated for intermediate grid points on a fine grid with distance O(h^2). 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 O(h^2). Numerical test examples indicate good performance even for higher state-space dimension and lower-dimensional projections of the reachable set.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00916823
Contributor : Estelle Bouzat <>
Submitted on : Tuesday, December 10, 2013 - 5:34:58 PM
Last modification on : Friday, October 13, 2017 - 5:08:16 PM

Identifiers

  • HAL Id : hal-00916823, version 1

Collections

Citation

Robert Baier. Set-valued Euler's method with interpolated distance functions and optimal control solvers, extended abstract. 20th International Symposium on Mathematical Theory of Networks and Systems, 2012, Melbourne, Australia. 4 p. ⟨hal-00916823⟩

Share

Metrics

Record views

172