The uncertainty in mathematical models is often represented via set-valued data, parameters or solutions. We propose a new approach for dealing with such uncertainty, which combines features of validated computing (wrapping the set via a set of computer representable type, e.g., intervals, zonotopes, ellipsoids) and point approximation accompanied by relevant error analysis. More precisely, we consider approximation by a set which is not necessarily an enclosure. The mathematical theory is based on the theory of asymmetric metric spaces, where the metric gives an estimation of the error, while the order induced by the metric provides means for estimating the size of the approximating set.

1.
R.
Anguelov
and
S.
Markov
(
1998
)
Reliable Computing
4
,
311
330
.
2.
R.
Beattie
and
H.-P.
Burzmann
,
Convergence Structures and Applications to Functional Analysis
(
Kluwer
,
2002
).
3.
J.J.
Conradie
(
2015
)
Topology and its Applications
193
,
100
115
.
4.
J.J.
Conradie
and
M.D.
Mabula
(
2013
)
Acta Mathematica Hungarica
139
(
1-2
),
147
159
.
5.
J.J.
Conradie
and
M.D.
Mabula
(
2015
)
Quaestiones Mathematicae
38
(
1
),
73
81
.
6.
C.
Dorsett
(
1995
)
Mathematica Slovaca
45
(
4
),
435
444
.
7.
S.
Markov
, “
Biomathematics and interval analysis: a prosperous marriage
,” in
AMiTaNS’10
,
AIP Conference Proc.
, Vol.
1301
, edited by
M.D.
Todorov
and
C.I.
Christov
(
American Institute of Physics
,
Melville, NY
,
2010
), pp.
26
36
, .
8.
A.C.G.
Mennucci
(
2013
)
Analysis and Geometry in Metric Spaces
1
,
200
231
.
9.
C.
Ronse
, “Regular open or closed sets,”
Working Document WD59
,
Philips Research Lab.
,
Brussels
,
1990
.
10.
S.
Willard
,
General Topology
(
Wiley
,
1970
).
This content is only available via PDF.
You do not currently have access to this content.