Skip to main content
Top

2020 | OriginalPaper | Chapter

Set-Membership Computation of Integrals with Uncertain Endpoints

Authors : Olivier Mullier, Julien Alexandre dit Sandretto

Published in: Numerical Computations: Theory and Algorithms

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

An efficient guaranteed method for the computation of the integral of a nonlinear continuous function between two interval endpoints is proposed. This computation can be of interest for the computation of global optimization problems where such integrals occur like in robotics. The method results in the computation of the minimum and maximum of these integrals and provides the endpoints at stake. The complexity of the resulting algorithms is discussed, it depends on the number of roots of the function to be integrated. The computation is illustrated on several examples.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
1.
go back to reference Alefeld, G., Mayer, G.: Interval analysis: theory and applications. J. Comput. Appl. Math. 121(1–2), 421–464 (2000)MathSciNetCrossRef Alefeld, G., Mayer, G.: Interval analysis: theory and applications. J. Comput. Appl. Math. 121(1–2), 421–464 (2000)MathSciNetCrossRef
2.
go back to reference Alexandre dit Sandretto, J., Chapoutot, A.: Validated explicit and implicit runge-kutta methods. Reliable Comput. 22, 78–103 (2016). Electronic editionMathSciNet Alexandre dit Sandretto, J., Chapoutot, A.: Validated explicit and implicit runge-kutta methods. Reliable Comput. 22, 78–103 (2016). Electronic editionMathSciNet
3.
go back to reference Aubry, C., Desmare, R., Jaulin, L.: Loop detection of mobile robots using interval analysis. Automatica 49(2), 463–470 (2013)MathSciNetCrossRef Aubry, C., Desmare, R., Jaulin, L.: Loop detection of mobile robots using interval analysis. Automatica 49(2), 463–470 (2013)MathSciNetCrossRef
4.
go back to reference Corliss, G.F.: Computing narrow inclusions for definite integrals. In: Computer Arithmetic, pp. 150–179 (1987) Corliss, G.F.: Computing narrow inclusions for definite integrals. In: Computer Arithmetic, pp. 150–179 (1987)
5.
go back to reference Corliss, G.F., Rall, L.B.: Adaptive, self-validating numerical quadrature. SIAM J. Sci. Stat. Comput. 8(5), 831–847 (1987)MathSciNetCrossRef Corliss, G.F., Rall, L.B.: Adaptive, self-validating numerical quadrature. SIAM J. Sci. Stat. Comput. 8(5), 831–847 (1987)MathSciNetCrossRef
6.
go back to reference Hansen, E.: Global optimization using interval analysis–the multi-dimensional case. Numer. Math. 34(3), 247–270 (1980)MathSciNetCrossRef Hansen, E.: Global optimization using interval analysis–the multi-dimensional case. Numer. Math. 34(3), 247–270 (1980)MathSciNetCrossRef
7.
go back to reference Moore, R.E.: Interval Analysis, vol. 4. Prentice-Hall, Englewood Cliffs (1966)MATH Moore, R.E.: Interval Analysis, vol. 4. Prentice-Hall, Englewood Cliffs (1966)MATH
8.
go back to reference Moore, R.E., Kearfott, R.B., Cloud, M.J.: Introduction to Interval Analysis, vol. 110. SIAM, Philadelphia (2009)CrossRef Moore, R.E., Kearfott, R.B., Cloud, M.J.: Introduction to Interval Analysis, vol. 110. SIAM, Philadelphia (2009)CrossRef
9.
go back to reference Nedialkov, N.S., Jackson, K.R., Corliss, G.F.: Validated solutions of initial value problems for ordinary differential equations. Appl. Math. Comput. 105(1), 21–68 (1999)MathSciNetMATH Nedialkov, N.S., Jackson, K.R., Corliss, G.F.: Validated solutions of initial value problems for ordinary differential equations. Appl. Math. Comput. 105(1), 21–68 (1999)MathSciNetMATH
10.
go back to reference Petras, K.: On the complexity of self-validating numerical integration and approximation of functions with singularities. J. Complex. 14(3), 302–318 (1998)MathSciNetCrossRef Petras, K.: On the complexity of self-validating numerical integration and approximation of functions with singularities. J. Complex. 14(3), 302–318 (1998)MathSciNetCrossRef
11.
go back to reference Petras, K.: Self-validating integration and approximation of piecewise analytic functions. J. Comput. Appl. Math. 145(2), 345–359 (2002)MathSciNetCrossRef Petras, K.: Self-validating integration and approximation of piecewise analytic functions. J. Comput. Appl. Math. 145(2), 345–359 (2002)MathSciNetCrossRef
12.
go back to reference Sandretto, J.A.D., Chapoutot, A., Mullier, O.: Optimal switching instants for the control of hybrid systems. In: 11th Summer Workshop on Interval Methods (SWIM) (2018) Sandretto, J.A.D., Chapoutot, A., Mullier, O.: Optimal switching instants for the control of hybrid systems. In: 11th Summer Workshop on Interval Methods (SWIM) (2018)
Metadata
Title
Set-Membership Computation of Integrals with Uncertain Endpoints
Authors
Olivier Mullier
Julien Alexandre dit Sandretto
Copyright Year
2020
DOI
https://doi.org/10.1007/978-3-030-40616-5_13

Premium Partner