A search algorithm for calculating validated reliability bounds

DOI10.1007/s11155-006-9025-2zbMath1110.65011MaRDI QIDQ868688

Fulvio Tonon

Publication date: 6 March 2007

Published in: Reliable Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11155-006-9025-2

zbMATH Keywords

confidence; numerical example; interval arithmetic; search algorithm; cumulative distribution function; reliability bounds

Mathematics Subject Classification ID

62F25: Parametric tolerance and confidence regions

62E17: Approximations to statistical distributions (nonasymptotic)

62N05: Reliability and life testing

Uses Software

• Statool

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Random sets and fuzzy interval analysis
• A software tool for automatically verified operations on intervals and probability distributions
• Bounding the results of arithmetic operations on random variables of unknown dependency using intervals
• On the use of random set theory to bracket the results of Monte Carlo simulations
• Statool: A tool for distribution envelope determination (DEnv), an interval-based algorithm for arithmetic on random variables
• Estimating and validating the cumulative distribution of a function of random variables: Toward the development of distribution arithmetic
• Bayesian Calibration of Computer Models
• Bayesian Forecasting for Complex Systems Using Computer Simulators
• Fast simulation of rare events in queueing and reliability models
• Improved two-point function approximations for design optimization
• Global Optimization and Constraint Satisfaction
• Convex analysis and global optimization