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.
Similar content being viewed by others
References
Berz, M.: Computational Differentiation, Entry in: Encyclopedia of Computer Science and Technology, Marcel Dekker, New York, in preparation.
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.
Berz, M.: Forward Algorithms for High Orders and Many Variables, Automatic Differentiation of Algorithms: Theory, Implementation and Application, SIAM, 1991.
Berz, M.: Higher Order Derivatives and Taylor Models, Entry in: Encyclopedia of Optimization, Kluwer Academic Publisher, Boston, 1997.
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.
Berz, M., Bischof, C., Corliss, G., and Griewank, A. (eds): Computational Differentiation: Techniques, Applications, and Tools, SIAM, Philadelphia, 1996.
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.
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.
Griewank, A., Corliss, G. F., and Eds.: Automatic Differentiation of Algorithms, SIAM, Philadelphia, 1991.
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.
Author information
Authors and Affiliations
Rights 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
Issue Date:
DOI: https://doi.org/10.1023/A:1026485406803