Verified propagation of imprecise probabilities in non-linear ODEs

DOI10.1016/j.ijar.2023.109044MaRDI QIDQ6570278zbMATH OpenFDO

Authors Ander Gray, M. Forets, Christian Schilling, Scott A. Ferson, L. Benet

Publication date 10 July 2024

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ijar.2023.109044

zbMATH Keywords

automatically verifieddynamical systemsimprecise probabilitiesP-boxesreachability analysis

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Verified computation with probabilities
• Interval Reachability Analysis
• Propagation of uncertainties in deterministic systems
• An efficient interval moment method for uncertainty propagation analysis with non-parameterized probability-box
• Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities

Cites work

• -decidability over the reals
• A CONSONANT APPROXIMATION OF THE PRODUCT OF INDEPENDENT CONSONANT RANDOM SETS
• A generalization of \(p\)-boxes to affine arithmetic
• A universal approach to imprecise probabilities in possibility theory
• Arithmetic and other operations on Dempster-Shafer structures
• Best-possible bounds for the distribution of a sum -- a problem of Kolmogorov
• Classic works on the Dempster-Shafer theory of belief functions
• Computing best-possible bounds for the distribution of a sum of several variables is NP-hard
• Confidence-based contractor, propagation and potential clouds for differential equations
• Consonant approximations of belief functions
• Estimates for the Distribution Function of a Sum of Two Random Variables When the Marginal Distributions are Fixed
• False confidence, non-additive beliefs, and valid statistical inference
• Fuzzy sets as a basis for a theory of possibility
• scientific article; zbMATH DE number 1670775 (Why is no real title available?)
• scientific article; zbMATH DE number 3163305 (Why is no real title available?)
• scientific article; zbMATH DE number 193123 (Why is no real title available?)
• scientific article; zbMATH DE number 3560492 (Why is no real title available?)
• scientific article; zbMATH DE number 3438157 (Why is no real title available?)
• scientific article; zbMATH DE number 2069519 (Why is no real title available?)
• Impact probability under aleatory and epistemic uncertainties
• Imprecise random variables, random sets, and Monte Carlo simulation
• Joint distributions of random sets and their relation to copulas
• Julia: a fresh approach to numerical computing
• JuliaReach
• Lower Previsions
• Mathematical Statistics
• Multivariate capacity functionals vs. capacity functionals on product spaces
• On solutions of stochastic differential equations with parameters modeled by random sets
• Probabilistic arithmetic. I: Numerical methods for calculating convolutions and dependency bounds
• ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems
• Random ordinary differential equations
• Random sets, copulas and related sets of probability measures
• Reachability in Linear Dynamical Systems
• Satellite conjunction analysis and the false confidence theorem
• Sklar's theorem for minitive belief functions
• Sklar's theorem in an imprecise setting
• Theory of Random Sets
• Unbounded-time safety verification of stochastic differential dynamics
• Utilizing dependencies to obtain subsets of reachable sets
• Verisig 2.0: verification of neural network controllers using Taylor model preconditioning

This page was built for publication: Verified propagation of imprecise probabilities in non-linear ODEs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6570278)