Abstract
The selection of predefined analytic grids (partitions of the numeric ranges) to represent input and output functions as histograms has been proposed as a mechanism of approximation in order to control the tradeoff between accuracy and computation times in several areas ranging from simulation to constraint solving. In particular, the applicati on of interval methods for probabilistic function characterization has been shown to have advantages over other methods based on the simulati on of random samples. However, standard interval arithmetic has always been used for the computation steps. In this paper, we introduce an alternative approximate arithmetic aimed at controlling the cost of the interval operations. Its distinctive feature is that grids are taken into account by the operators. We apply the technique in the context of probability density functions in order to improve the accuracy of the probability estimates. Results show that this approach has advantages over existing approaches in some particular situations, although computation times tend to increase significantly when analyzing large functions.
Keywords
- Interval computations
- probabilistic analysis
- estimation
- approximate arithmetic
- abstract interpretation
The authors would like to thank the anonymous reviewers for their comments on previous versions of this paper. This work was funded in part by projects CICYT TIC97-0928 and TIC99-1151.
This is a preview of subscription content, access via your institution.
Buying options
Preview
Unable to display preview. Download preview PDF.
References
G. Alefeld and J. Herzberger. Introduction to Interval Computations. AP, NY, 1983.
APIC’95. International Workshop on Applications of Interval Computations, El Paso, Texas, February 1995.
Frédéric Benhamou, David McAllester, and Pascal Van Hentenryck. CLP (Intervals) Revisited. In Proceedings of ILPS’94, pages 1–21, Ithaca, NY, USA, 1994. MIT Press.
D. Berleant. Automatically Verified Reasoning with Both Intervals and Probability Density Functions. Interval Computations, 1993(2):48–70, 1993.
C. Carreras, J.A. López, and O. Nieto-Taladriz. Bit-width Selection in Datapath Implementations. In Proc. 12th IEEE International Symposium on System Synthesis, pages 114–119, San Jose, CA, Nov 1999.
C. Carreras and I.D. Walker. Interval Methods for Improved Robot Reliability Estimation. In Proc. IEEE Annual Reliability and Maintainability Symposium, RAMS 2000, Los Angeles, CA, Jan 2000.
C. Carreras, I.D. Walker, O. Nieto-Taladriz, and J.R. Cavallaro. Robot Reliability Estimation Using Interval Methods. In Proc. MISC’99 International Workshop on Applications of Interval Analysis to Systems and Control, pages 371–385, Girona, Spain, Feb 1999.
P. Cousot and R. Cousot. Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Fourth ACM Symposium on Principles of Programming Languages, pages 238–252, 1977.
Eero Hyvonen. Evaluation of Cascaded Interval Functions. In Proceedings of Intervational Workshop on Constrain-Based Reasoning, 8th Florida AI Research Symposium, April 1995.
Janne Pesonen et al. Interval Approach Challenges Monte Carlo Simulation. In Proceedings of Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN-95), 1995.
Kim Marriot and Peter Stuckey. Programming with Constraints: An Introduction. The MIT Press, 1998.
R.E. Moore. Methods and Applications of Interval Analysis. SIAM, Philadelphia, 1979.
W.H. Press, S.A. Teukolsky, W.T. Vetterling, and B.P. Flannery. Numerical Recipes in FORTRAN: The Art of Scientific Computing. Cambridge Univ. Press, New York, 1992.
H. Ratschek and J. Rokne. Computer Methods for the Range of Functions. Ellis-Horwood, Chichester, 1988.
C.N. Zeeb and P.J. Burns. A Comparison of Failure Probability Estimates by Monte Carlo Sampling and Latin HyperCube Sampling, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Carreras, C., Hermenegildo, M.V. (2000). Grid-Based Histogram Arithmetic for the Probabilistic Analysis of Functions. In: Choueiry, B.Y., Walsh, T. (eds) Abstraction, Reformulation, and Approximation. SARA 2000. Lecture Notes in Computer Science(), vol 1864. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44914-0_7
Download citation
DOI: https://doi.org/10.1007/3-540-44914-0_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67839-7
Online ISBN: 978-3-540-44914-0
eBook Packages: Springer Book Archive