What’s Z−X, when Z = X+Y? Dependency tracking in interval arithmetic with bivariate sets

Gray, Ander and de Angelis, Marco and Ferson, Scott and Patelli, Edoardo (2021) What’s Z−X, when Z = X+Y? Dependency tracking in interval arithmetic with bivariate sets. In: 9th International Workshop on Reliable Engineering Computing, 2021-05-17 - 2021-05-20, Virtual Conference.

[thumbnail of Gray-etal-REC-2021-Dependency-tracking-in-interval-arithmetic-with-bivariate-sets]
Preview
 Text. Filename: Gray_etal_REC_2021_Dependency_tracking_in_interval_arithmetic_with_bivariate_sets.pdf
Accepted Author Manuscript
License: Strathprints license 1.0
Download (1MB)| Preview

Abstract

In this paper we propose an extension to interval arithmetic to include arithmetic with bivariate sets, which allows for an initial dependency to be propagated, as well as the tracking of complicated dependencies arising from repeated variables. These bivariate sets are represented by Boolean fields which define where two intervals jointly exist or not. We name this extended interval arithmetic zone arithmetic.We show how conditional sets may be constructed from bivariate intervals, and how dependent interval arithmetic may be performed with this conditioning. With conditioning we calculate the dependencies between the inputs and outputs of operations, allowing for the extra uncertainty from repeated variables to be greatly reduced. Recent work on using copulas to perform a similar calculations with p-boxes is also reviewed.

ORCID iDs

Gray, Ander, de Angelis, Marco ORCID logoORCID: https://orcid.org/0000-0001-8851-023X, Ferson, Scott and Patelli, Edoardo ORCID logoORCID: https://orcid.org/0000-0002-5007-7247;
CORE (COnnecting REpositories)