The importance of the Dempster-Shafer theory (DST) for modeling and propagating uncertainty has grown in the recent past. An obstacle for wider application of this theory in industrial practice is the lack of software support for analysts. The few tools available depend on floating point arithmetic and do not consider the inherently interval-based nature of the DST to the full extent. Therefore, we combine the DST ideas with those from interval arithmetic. An additional advantage of employing interval methods is the guarantee that the results obtained on a computer are mathematically correct. We developed a new verified DST implementation for MATLAB called DSI Toolbox which is based on the older software IPP Toolbox. DSI extends IPP using interval arithmetic and simultaneously takes care of the rounding errors.
Keywords for this software
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Rebner, Gabor; Beer, Michael; Auer, Ekaterina; Stein, Matthias: Verified stochastic methods (2013)
- Zimmer, Michael; Rebner, Gabor; Krämer, Walter: An overview of C-XSC as a tool for interval arithmetic and its application in computing verified uncertain probabilistic models under Dempster-Shafer theory (2013) ioport
- Rebner, Gabor; Auer, Ekaterina; Luther, Wolfram: A verified realization of a Dempster-Shafer based fault tree analysis (2012)