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

Berndt R, Bazan P, Hielscher KS, German R (2014)


Publication Type: Conference contribution, Conference Contribution

Publication year: 2014

Journal

Publisher: Springer-verlag

Edited Volumes: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Series: Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance

Pages Range: 43-56

Conference Proceedings Title: Proceedings of the 17th International GI/ITG Conference on "Measurement, Modelling and Evaluation of Computing Systems” and "Dependability and Fault-Tolerance”

Event location: Bamberg, Germany DE

ISBN: 978-3-319-05359-2

DOI: 10.1007/978-3-319-05359-2_4

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.

Authors with CRIS profile

Related research project(s)

How to cite

APA:

Berndt, R., Bazan, P., Hielscher, K.-S., & 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). Bamberg, Germany, DE: 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