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.
Type de document :
Communication dans un congrès
20th International Symposium on Mathematical Theory of Networks and Systems, 2012, Melbourne, Australia. MTNS, 4 p., 2012, Proceedings of the 20th International Symposium on Mathematical Theory of Networks and Systems (CD-ROM). 〈http://www.mtns2012.conference.net.au/Extended%20Abstract/MTNS2012_0085_paper.pdf〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00916823
Contributeur : Estelle Bouzat <>
Soumis le : mardi 10 décembre 2013 - 17:34:58
Dernière modification le : vendredi 13 octobre 2017 - 17:08:16

Identifiants

  • 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. MTNS, 4 p., 2012, Proceedings of the 20th International Symposium on Mathematical Theory of Networks and Systems (CD-ROM). 〈http://www.mtns2012.conference.net.au/Extended%20Abstract/MTNS2012_0085_paper.pdf〉. 〈hal-00916823〉

Partager

Métriques

Consultations de la notice

144