Conference contribution
(Conference Contribution)


Construction Methods for MDD-based State Space Representations of Unstructured Systems


Publication Details
Author(s): Berndt R, Bazan P, Hielscher K, German R
Title edited volumes: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher: Springer-verlag
Publication year: 2014
Title of series: Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Conference Proceedings Title: Proceedings of the 17th International GI/ITG Conference on "Measurement, Modelling and Evaluation of Computing Systems” and "Dependability and Fault-Tolerance”
Pages range: 43-56
ISBN: 978-3-319-05359-2
ISSN: 0302-9743
Event: MMB 2014
Event location: Bamberg, Germany

Abstract

Multi-valued Decision Diagrams (MDDs) are used in various fields of application. In performance evaluation, a compact representation of the state space of Markovian systems can often be achieved by using MDDs. It is well known that the size of the resulting MDD representation heavily depends on the variable ordering, i.e. the arrangement of the levels within the MDD. Markov models, derived from higher level descriptions of the system, often contain structural information. This information might give hints for an optimized variable ordering a priori, i.e. before the MDD is constructed. Whenever a model is described by constraints-considering the design space of a system, for example-there is a lack of such structural information. This is the reason why the MDD representation often consumes too much memory to be handled efficiently. In order to keep the memory consumption practicable, we have developed two optimization mechanisms. The presented examples demonstrate that efficient MDD representations of the feasible design space can be obtained, even for large unstructured systems. © 2014 Springer International Publishing.



How to cite
APA: Berndt, R., Bazan, P., Hielscher, K., & German, R. (2014). Construction Methods for MDD-based State Space Representations of Unstructured Systems. In Proceedings of the 17th International GI/ITG Conference on "Measurement, Modelling and Evaluation of Computing Systems” and "Dependability and Fault-Tolerance” (pp. 43-56). Springer-verlag.

MLA: Berndt, Rüdiger, et al. "Construction Methods for MDD-based State Space Representations of Unstructured Systems." Proceedings of the MMB 2014, Bamberg, Germany Springer-verlag, 2014. 43-56.

BibTeX: Download
Share link
Last updated on 2017-04-26 at 02:32
PDF downloaded successfully