Skip to main content

Grid-Based Histogram Arithmetic for the Probabilistic Analysis of Functions

  • Conference paper
  • First Online:
Book cover Abstraction, Reformulation, and Approximation (SARA 2000)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1864))

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.

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, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Alefeld and J. Herzberger. Introduction to Interval Computations. AP, NY, 1983.

    MATH  Google Scholar 

  2. APIC’95. International Workshop on Applications of Interval Computations, El Paso, Texas, February 1995.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. D. Berleant. Automatically Verified Reasoning with Both Intervals and Probability Density Functions. Interval Computations, 1993(2):48–70, 1993.

    MATH  MathSciNet  Google Scholar 

  5. 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.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. 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.

    Google Scholar 

  9. Eero Hyvonen. Evaluation of Cascaded Interval Functions. In Proceedings of Intervational Workshop on Constrain-Based Reasoning, 8th Florida AI Research Symposium, April 1995.

    Google Scholar 

  10. Janne Pesonen et al. Interval Approach Challenges Monte Carlo Simulation. In Proceedings of Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN-95), 1995.

    Google Scholar 

  11. Kim Marriot and Peter Stuckey. Programming with Constraints: An Introduction. The MIT Press, 1998.

    Google Scholar 

  12. R.E. Moore. Methods and Applications of Interval Analysis. SIAM, Philadelphia, 1979.

    MATH  Google Scholar 

  13. 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.

    Google Scholar 

  14. H. Ratschek and J. Rokne. Computer Methods for the Range of Functions. Ellis-Horwood, Chichester, 1988.

    Google Scholar 

  15. C.N. Zeeb and P.J. Burns. A Comparison of Failure Probability Estimates by Monte Carlo Sampling and Latin HyperCube Sampling, 1998.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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

Publish with us

Policies and ethics