Verified stochastic methods: Markov set-chains and dependency modeling of mean and standard deviation

Research output: Contribution to journalArticleResearchpeer review

Authors

External Research Organisations

  • University of Liverpool
  • University of Duisburg-Essen
  • National University of Singapore
View graph of relations

Details

Original languageEnglish
Pages (from-to)1415-1423
Number of pages9
JournalSoft Computing
Volume17
Issue number8
Early online date26 Feb 2013
Publication statusPublished - Aug 2013
Externally publishedYes

Abstract

Markov chains provide quite attractive features for simulating a system's behavior under consideration of uncertainties. However, their use is somewhat limited because of their deterministic transition matrices. Vague probabilistic information and imprecision appear in the modeling of real-life systems, thus causing difficulties in the pure probabilistic model set-up. Moreover, their accuracy suffers due to implementations on computers with floating point arithmetics. Our goal is to address these problems by extending the Dempster-Shafer with Intervals toolbox for MATLAB with novel verified algorithms for modeling that work with Markov chains with imprecise transition matrices, known as Markov set-chains. Additionally, in order to provide a statistical estimation tool that can handle imprecision to set up Markov chain models, we develop a new verified algorithm for computing relations between the mean and the standard deviation of fuzzy sets.

Keywords

    DSI, Imprecise probability, Interval arithmetic, Markov set-chains

ASJC Scopus subject areas

Cite this

Verified stochastic methods: Markov set-chains and dependency modeling of mean and standard deviation. / Rebner, Gabor; Beer, Michael; Auer, Ekaterina et al.
In: Soft Computing, Vol. 17, No. 8, 08.2013, p. 1415-1423.

Research output: Contribution to journalArticleResearchpeer review

Rebner G, Beer M, Auer E, Stein M. Verified stochastic methods: Markov set-chains and dependency modeling of mean and standard deviation. Soft Computing. 2013 Aug;17(8):1415-1423. Epub 2013 Feb 26. doi: 10.1007/s00500-013-1009-7
Download
@article{122d647dd04e4dc6b3dc454b7a8024f4,
title = "Verified stochastic methods: Markov set-chains and dependency modeling of mean and standard deviation",
abstract = "Markov chains provide quite attractive features for simulating a system's behavior under consideration of uncertainties. However, their use is somewhat limited because of their deterministic transition matrices. Vague probabilistic information and imprecision appear in the modeling of real-life systems, thus causing difficulties in the pure probabilistic model set-up. Moreover, their accuracy suffers due to implementations on computers with floating point arithmetics. Our goal is to address these problems by extending the Dempster-Shafer with Intervals toolbox for MATLAB with novel verified algorithms for modeling that work with Markov chains with imprecise transition matrices, known as Markov set-chains. Additionally, in order to provide a statistical estimation tool that can handle imprecision to set up Markov chain models, we develop a new verified algorithm for computing relations between the mean and the standard deviation of fuzzy sets.",
keywords = "DSI, Imprecise probability, Interval arithmetic, Markov set-chains",
author = "Gabor Rebner and Michael Beer and Ekaterina Auer and Matthias Stein",
year = "2013",
month = aug,
doi = "10.1007/s00500-013-1009-7",
language = "English",
volume = "17",
pages = "1415--1423",
journal = "Soft Computing",
issn = "1432-7643",
publisher = "Springer Verlag",
number = "8",

}

Download

TY - JOUR

T1 - Verified stochastic methods

T2 - Markov set-chains and dependency modeling of mean and standard deviation

AU - Rebner, Gabor

AU - Beer, Michael

AU - Auer, Ekaterina

AU - Stein, Matthias

PY - 2013/8

Y1 - 2013/8

N2 - Markov chains provide quite attractive features for simulating a system's behavior under consideration of uncertainties. However, their use is somewhat limited because of their deterministic transition matrices. Vague probabilistic information and imprecision appear in the modeling of real-life systems, thus causing difficulties in the pure probabilistic model set-up. Moreover, their accuracy suffers due to implementations on computers with floating point arithmetics. Our goal is to address these problems by extending the Dempster-Shafer with Intervals toolbox for MATLAB with novel verified algorithms for modeling that work with Markov chains with imprecise transition matrices, known as Markov set-chains. Additionally, in order to provide a statistical estimation tool that can handle imprecision to set up Markov chain models, we develop a new verified algorithm for computing relations between the mean and the standard deviation of fuzzy sets.

AB - Markov chains provide quite attractive features for simulating a system's behavior under consideration of uncertainties. However, their use is somewhat limited because of their deterministic transition matrices. Vague probabilistic information and imprecision appear in the modeling of real-life systems, thus causing difficulties in the pure probabilistic model set-up. Moreover, their accuracy suffers due to implementations on computers with floating point arithmetics. Our goal is to address these problems by extending the Dempster-Shafer with Intervals toolbox for MATLAB with novel verified algorithms for modeling that work with Markov chains with imprecise transition matrices, known as Markov set-chains. Additionally, in order to provide a statistical estimation tool that can handle imprecision to set up Markov chain models, we develop a new verified algorithm for computing relations between the mean and the standard deviation of fuzzy sets.

KW - DSI

KW - Imprecise probability

KW - Interval arithmetic

KW - Markov set-chains

UR - http://www.scopus.com/inward/record.url?scp=84880807695&partnerID=8YFLogxK

U2 - 10.1007/s00500-013-1009-7

DO - 10.1007/s00500-013-1009-7

M3 - Article

AN - SCOPUS:84880807695

VL - 17

SP - 1415

EP - 1423

JO - Soft Computing

JF - Soft Computing

SN - 1432-7643

IS - 8

ER -

By the same author(s)