Skip to main content
Log in

Efficient Control of the Dependency Problem Based on Taylor Model Methods

  • Published:
Reliable Computing

Abstract

It is shown how the Taylor Model approach allows the rigorous description of functional dependencies with far-reaching control of the dependency problem. The amount of overestimation decreases with a high power of the interval over which the information is required, at a computational expense that increases rather moderately with the dimensionality of the problem. This leads to the possibility of treating even cases with a very significant dependency problem that are intractable using conventional methods.

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

Access this article

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

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Berz, M.: Computational Differentiation, Entry in: Encyclopedia of Computer Science and Technology, Marcel Dekker, New York, in preparation.

  2. Berz, M.: Differential Algebraic Techniques, Entry in: Tigner, M. and Chao, A. (eds), Handbook of Accelerator Physics and Engineering, World Scientific, New York, in print.

  3. Berz, M.: Forward Algorithms for High Orders and Many Variables, Automatic Differentiation of Algorithms: Theory, Implementation and Application, SIAM, 1991.

  4. Berz, M.: Higher Order Derivatives and Taylor Models, Entry in: Encyclopedia of Optimization, Kluwer Academic Publisher, Boston, 1997.

    Google Scholar 

  5. Berz, M.: High-Order Computation and Normal Form Analysis of Repetitive Systems, in: Month, M. (ed.), Physics of Particle Accelerators, AIP 249, American Institute of Physics, 1991, p. 456.

  6. Berz, M., Bischof, C., Corliss, G., and Griewank, A. (eds): Computational Differentiation: Techniques, Applications, and Tools, SIAM, Philadelphia, 1996.

    Google Scholar 

  7. Berz, M. and Hoffstätter, G.: Computation and Application of Taylor Polynomials with Interval Remainder Range Enclosure, Reliable Computing 4(1) (1998), pp. 83-97.

    Google Scholar 

  8. Berz, M., Makino K., Shamseddine, K., and Wan, W.: Applications of Modern Map Methods in Particle Beam Physics, Academic Press, Orlando, Florida, 1998, in print.

    Google Scholar 

  9. Griewank, A., Corliss, G. F., and Eds.: Automatic Differentiation of Algorithms, SIAM, Philadelphia, 1991.

    Google Scholar 

  10. Makino, K. and Berz, M.: Remainder Differential Algebras and Their Applications, in: Berz, M., Bischof, C., Corliss, G., and Griewank, A. (eds.), Computational Differentiation: Techniques, Applications, and Tools, SIAM, 1996, pp 63-74.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Makino, K., Berz, M. Efficient Control of the Dependency Problem Based on Taylor Model Methods. Reliable Computing 5, 3–12 (1999). https://doi.org/10.1023/A:1026485406803

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1026485406803

Keywords

Navigation