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.
REFERENCES
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.
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.
This content is only available via PDF.
© 2016 Author(s).
2016
Author(s)
You do not currently have access to this content.