A search algorithm for calculating validated reliability bounds

DOI10.1007/s11155-006-9025-2zbMath1110.65011OpenAlexW2024384672MaRDI 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

confidencenumerical exampleinterval arithmeticsearch algorithmcumulative distribution functionreliability bounds

Mathematics Subject Classification ID

Parametric tolerance and confidence regions (62F25) Approximations to statistical distributions (nonasymptotic) (62E17) Reliability and life testing (62N05)

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