Skip to main content
SpringerLink
Log in

Robust boundary tracking for reachable sets of nonlinear differential inclusions

  • Published:
Foundations of Computational Mathematics Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5

Similar content being viewed by others

References

  1. J.P. Aubin, A. Cellina, Differential Inclusions, Grundlehren der mathematischen Wissenschaften volume 264. Springer-Verlag, Berlin, 1984.

  2. J.P. Aubin, H. Frankowska, Set-Valued Analysis. Birkhäuser, Boston, 1990.

  3. R. Baier, M. Gerdts and I. Xausa, Approximation of reachable sets using optimal control algorithms, Numerical Algebra, Control and Optimization 3(3) (2013), 519–548.

    Article  MATH  MathSciNet  Google Scholar 

  4. W.-J. Beyn and J. Rieger, Numerical fixed grid methods for differential inclusions, Computing 81(1) (2007), 91–106.

    Article  MATH  MathSciNet  Google Scholar 

  5. W.-J. Beyn and J. Rieger, The implicit Euler scheme for one-sided Lipschitz differential inclusions, Discrete and Continuous Dynamical Systems - Series B 14 (2010), 409–428.

    Article  MATH  MathSciNet  Google Scholar 

  6. K. Deimling, Multivalued Differential Equations, De Gruyter, Berlin, 1992.

    Book  MATH  Google Scholar 

  7. A. Dontchev and E. Farkhi, Error estimates for discretized differential inclusions, Computing 41 (1989), 349–358.

    Article  MATH  MathSciNet  Google Scholar 

  8. H.G. Eggleston, Convexity, Cambridge Tracts in Mathematics 47, Cambridge University Press, Cambridge, 1958.

    Google Scholar 

  9. F. Lempio and V. Veliov, Discrete approximations of differential inclusions, Bayreuther Mathematische Schriften 54 (1998), 149–232.

    MATH  MathSciNet  Google Scholar 

  10. M.D.P. Monteiro Marques, Sur la frontière d’un convexe mobile, Atti della Accademia Nazionale dei Lincei. Serie Ottava. Rendiconti. Classe di Scienze Fisiche, Matematiche e Naturali 77 (1984) 71–75.

    MATH  MathSciNet  Google Scholar 

  11. J. Rieger, Discretizations of linear elliptic partial differential inclusions, Numerical Functional Analysis and Optimization 32(8) (2011), 904–925.

    Article  MATH  MathSciNet  Google Scholar 

  12. M. Sandberg, Convergence of the forward Euler method for nonconvex differential inclusions, SIAM Journal on Numerical Analysis 47(1) (2008), 308–320.

    Article  MathSciNet  Google Scholar 

  13. V. Veliov, Second order discrete approximations to strongly convex differential inclusions, Systems and Control Letters 13 (1989), 263–269.

    Article  MATH  MathSciNet  Google Scholar 

  14. E. Zeidler, Nonlinear Functional Analysis and its Applications 1. Springer, Heidelberg, 1985.

Download references

Author information

Authors and Affiliations

  1. Institut für Mathematik, Universität Frankfurt, Postfach 111932, 60054, Frankfurt, Germany

    Janosch Rieger

Authors
  1. Janosch Rieger
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Janosch Rieger.

Additional information

Communicated by Ernst Hairer.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Rieger, J. Robust boundary tracking for reachable sets of nonlinear differential inclusions. Found Comput Math 15, 1129–1150 (2015). https://doi.org/10.1007/s10208-014-9218-8

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10208-014-9218-8

Keywords

Mathematics Subject Classification

Search

Navigation